Search found 54 matches

by Sophie Quinton
Tue Jun 30, 2015
Forum: Information for newcomers
Topic: Motivation for this community forum
Replies: 0
Views: 12939

Motivation for this community forum

In the spirit of the WATERS workshop ( http://waters.ecrts.org ), this forum has been set up to create a community for sharing tools and benchmarks to improve comparability of results in the analysis of real-time and embedded systems. People from industry are very welcome to share their experience w...
by Sophie Quinton
Fri Jun 26, 2015
Forum: Verification challenge
Topic: Verification of two real-time systems using parametric timed automata
Replies: 1
Views: 5080

Verification of two real-time systems using parametric timed automata

Title: Verification of Two Real-Time Systems Using Parametric Timed Automata Authors: Youcheng Sun (Scuola Superiore Sant’Anna, Pisa, Italy) Étienne André (LIPN, Université Paris 13, France) Giuseppe Lipari (University of Lille, France) Abstract: In this paper we propose solutions to the FMTV chall...
by Sophie Quinton
Fri Jun 26, 2015
Forum: Verification challenge
Topic: Latency analysis of an aerial video tracking system using Fiacre and Tina
Replies: 0
Views: 5925

Latency analysis of an aerial video tracking system using Fiacre and Tina

Title: Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina Authors: Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan (CNRS/LAAS, Toulouse, France) Abstract: We describe our experience with modeling a video tracking system used to detect and follow moving targets from an...
by Sophie Quinton
Fri Jun 26, 2015
Forum: Tools
Topic: Tool-assisted model-based multi-objective analyses of automotive embedded systems
Replies: 0
Views: 5784

Tool-assisted model-based multi-objective analyses of automotive embedded systems

Title: Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems Authors: Saimir Baci, Henrik Kaijser, Henrik Lönn (Volvo Group, Advanced Technology and Research, Gothenburg Sweden) Matthias Tichy (Software Engineering Division, Chalmers | University of Gothenburg, Gothenbur...