Program
Workshop day — Tuesday, July 7, 2015
Note: Workshop papers are available on our community forum (registration to the forum is not required).
8:00 |
Registration opens |
9:00-9:45
Keynote |
|
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