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 |
| 9:40-10:40
Keynote |
|
| 10:40-11:00 | |
| 11:00-11:30 | Coffee break |
| 11:30-12:30
Session chair:
|
|
| 12:30-13:00 | Discussion: Are we doing enough to compare tools? |
| 13:00-14:00 | Lunch break |
| 14:00-15:00
Session chair:
|
|
| 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 |
| 16:30-17:45
Session chair: |
|
| 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
