S1 3 ECTS 24h OPT EN email@example.com
This course introduces several models, languages and tools dedicated to the design of safety-critical systems. This includes solutions for describing the system under design, the expected properties, perform verification and generate certified code. Scade is one example of industrial success story that builds on works from various academic languages and that is successful in both the avionics and train domains.
- state-based languages ;
- dataflow languages ;
- languages to express functional properties ;
- logical time and realtime extensions ;
- exhaustive verification tools.
Contrôle continu intégral :
- 1 written exam 2h (50%)
- 1 lab work (50%).