Tools and Benchmarks for Real-Time Systems

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...

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...

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...

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...