Open Workshop on Model-based Design and Verification of Critical Systems

General Info

Start: 15 Dec 2016 9:00
End: 15 Dec 2016 11:00
Location: Fondazione Bruno Kessler (Povo), Sala Stringa

Programme

The program is structured as follows:

• 9:00 – 9:45
  "Collaborative Design for Embedded Systems - Co-modelling and Co-simulation"
  Speaker: Marcel Verhoef (European Space Agency)
• 9:45 – 10:30
  "Causality Checking"
  Speaker: Stefan Leue (University of Konstanz)
• 10:30 – 11:00
  Coffee Break
• 11:00 – 11:45
  "Diagnosability Planning for Controllable Discrete Event Systems"
  Speaker: Philippe Dague (Université Paris-Sud / LRI)

A substantial amount of the program was reserved for discussion, feedback and interaction among participants. A detailed abstract for each talk can be found in the flyer available in the download section of this page.

Contacts