Search found 53 matches

by Sophie Quinton
Fri Jun 26, 2015
Forum: Verification challenge
Topic: Verification of two real-time systems using parametric timed automata
Replies: 1
Views: 2451

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: 2815

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: 2783

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