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

by Pietro Braghieri

Dec 15, 2016

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

bittner@fbk.eu

Recent Posts