Workshop day — Tuesday, July 5, 2016

Note: Workshop papers are now available on our community forum (follow the links below).

8:30 Registration opens
9:30-9:40 Welcome


11:00-11:30 Coffee break

Session chair:
Claire Pagetti


12:30-13:00 Discussion: Are we doing enough to compare tools?
13:00-14:00 Lunch break

Session chair:
Tullio Vardanega


15:00-15:30 Discussion: Can we better evaluate testcase generators?
15:30-16:00 Presentation of the 2016 FMTV verification challenge
16:00-16:30 Coffee break

Session chair:
Dakshina Dasari

17:45-18:00 Discussion: What have we learned from the verification challenge?
18:00 End

Tool demos at ECRTS — Wednesday, July 6, 2016

  • 17:30 – 18:30 – Work In Progress, Tools, and Call for Action
    3-minute presentations to the whole ECRTS audience right after the work-in-progress talks

    • Matthias Becker; MECHAniSer – A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies
    • Sakthivel M. Sundharam; CPAL: A timing aware design exploration platform to Model, Simulate and Verify the Cyber-Physical Systems
    • Saravanan Ramanathan; MC-FairGen: A simulation platform for mixed-criticality systems using random task set generator
    • Juan María Rivas; Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST
    • Ignacio Sañudo Olmedo; Schedulability and Timing Analysis of Mixed Preemptive-Cooperative Tasks on a Partitioned Multi-Core System
    • Alessio Balsini; FMTV 2016: Where is the Actual Challenge?
  • 18:30 – 19:30 – Reception, Poster Session, Tool Demos
    Posters and tools demos during the ECRTS reception

Comments are closed