Program

Workshop day
Tool demos at ECRTS

Workshop day — Tuesday, July 7, 2015

Note: Workshop papers are available upon registration to our community forum.

8:00	Registration opens
9:00-9:45 Keynote	Having fun experimenting with hardware management and mixed criticality on multicore [abstract, slides] James H. Anderson
9:45-10:15 Analysis tools Session chair: Michael González Harbour	Tool assisted model based multi objective analyses of automotive embedded systems Henrik Kaijser, Henrik Lonn, Matthias Tichy and Wenjing Yuan Integrating response-time analyses for heterogeneous automotive networks in MPS-CAN analyzer Saad Mubeen, Mohammad Ashjaei, Moris Behnam and Thomas Nolte
10:15-10:30	Discussion
10:30-11:00	Coffee break
11:00-12:00 Monitoring and simulation tools Session chair: Claire Pagetti	A web based monitoring tool for AFDX networks Rodrigo Coelho, Gerhard Fohler, Mark Szczepanski and Tarek Miari Mixed-criticality management of networked real-time systems with ARTEMIS simulator Olivier Cros and Laurent George STREAM: A simulation tool for energy efficient real time scheduling and analysis Mayuri Digalwar, Pravin Gahukar, Sudeept Mohan and Biju Raveendran Simulation of real-time scheduling algorithms with cache effects Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Deplanche and Silvano Dal Zilio
12:00-12:30	Discussion
12:30-13:30	Lunch break
13:30-14:30 Verification challenge Session chair: Laurent Rioux	Presentation of the FMTV challenge Rafik Henia Timing verification of an aerial video tracking system using UPPAAL Lijun Shan and Susanne Graf Solving the 2015 FMTV challenge by response time analysis with MAST Julio Medina, Juan M. Rivas, J. Javier Gutiérrez and Michael González Harbour Latency analysis of an aerial video tracking system using Fiacre and Tina Silvano Dal Zilio, Bernard Berthomieu and Didier Le Botlan Using CPAL to model and validate the timing behaviour of embedded systems Sebastian Altmeyer, Nicolas Navet and Loïc Fejoz Verification of two real-time systems using parametric timed automata Youcheng Sun, Etienne Andre and Giuseppe Lipari
14:30-15:00	Discussion
15:00-15:30	Coffee break
15:30-16:15 Benchmarks Session chair: Martina Maggio	The ROSACE Case study Thomas Loquen, Eric Noulard, Claire Pagetti, David Saussié, Pierre Siron GMCB: An industrial benchmark for use in real-time mixed-criticality networks-on-chip James Harbin, Tom Fleming, Leandro Indrusiak and Alan Burns Real world automotive benchmark for free Simon Kramer, Dirk Ziegenbein and Arne Hamann
16:15-16:30	Discussion
16:30-17:30	WATERS: perspectives
17:30	End

Tool demos at ECRTS — Wednesday, July 8, 2015

15:30 – 17:00 – Work In Progress, Tools, and Call for Action
3-minute presentations to the whole ECRTS audience right after the work-in-progress talks
17:00 – 19:00 – Reception, Poster Session, Tool Demos
Posters and tools demos during the ECRTS reception

The FMTV’15 challenge and the tools listed below will be presented:

MAST: Modeling and analysis suite for real-time applications
Michael González Harbour
IMITATOR: a tool for parametric verification and robustness analysis of real-time systems
Youcheng Sun
ARTEMIS: A simulator for mixed-criticality management of networked real-time systems
Olivier Cros
MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks
Saad Mubeen and Mohammad Ashjaei
SimSo: A simulator of real-time scheduling algorithms
Silvano Dal Zilio
A web based monitoring tool for AFDX networks
Rodrigo Coelho

FMTV’15: The Formal Methods for Timing Verification challenge and its solutions
Rafik Henia

Workshop day — Tuesday, July 7, 2015

Tool demos at ECRTS — Wednesday, July 8, 2015

Important dates

Previous editions