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

10:15-10:30 Discussion
10:30-11:00 Coffee break
11:00-12:00

Monitoring and
simulation tools

Session chair:
Claire Pagetti

12:00-12:30 Discussion
12:30-13:30 Lunch break
13:30-14:30

Verification
challenge

Session chair:
Laurent Rioux

14:30-15:00 Discussion
15:00-15:30 Coffee break
15:30-16:15

Benchmarks

Session chair:
Martina Maggio

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