You are here

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

The workshop showcased different model-based techniques for the design and verification of critical systems. The international speakers, invited as committee members for the PhD defense of Benjamin Bittner, gave insights into different ways how model-based design and verification technology can improve an engineer's understanding of and confidence in a given design model of a complex system.


Benjamin Bittner
Fondazione Bruno Kessler (Povo), Sala Stringa

The program was 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.