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



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

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


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


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

Comments are closed.