This lecture describes some mechanisms to model safety critical systems.
It quickly introduces models on which we can verify safety and liveness properties. It uses the langage Scade to illustrate the use of Model-Based Design of Safety-Critical Systems.
- Teacher: Frederic Mallet