Reliability and model-checking

Objectifs

At the end of this module, the student will have understood and be able to explain the main principles of systems engineering and software engineering: concepts, methods and tools, to define and control the process development of a critical embedded system.

The student will be able to:

- apply these general competences to computer based systems
.explain different methods and chose the best adapted to develop a specific application.

Pré-requis

Petri Nets, Communicating Automata, formal Logic, Graph theory

Évaluation

L’évaluation des acquis d’apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs…