logo Insalogo Insa



Programme (detailed contents):

The purpose of this UF is to introduce the main principles of dependability (SDF): the basic concepts and the main methods and techniques to get it


A first course gives a general  introduction to the Dependability  specifying terminology, attributes, resources, ...

Specific courses allow you to go a little further in this panorama mainly illustrating the means - Prevention through modeling -

following  the timed synchronous and asynchronous paradigms - Elimination of faults through the static verification of sequential programs and diagnostics.



5 parts, each including lectures, tutorials and lab work

Introduction to dependability
Program Verification
Synchronous programming
Temporal models


A MOOC allows the student to synthetise all the notions of this UF and to reinforce some.


All methods, tools and good practices presented in the UF will be used during a transversal project of development of a critical embedded system.



At the end of this module, the student will have understood and be able to explain (main concepts):


the basic concepts of dependability and main methods and techniques for obtaining and validation of the safety.



The student will be able to:

-       apply these general competences to computer based embedded systems

explain different methods and chose the best adapted to develop a specific application.

Needed prerequisite

Discrete event systems - linear continuous systems (modelling and control) - System design : software design and programming - fuzzy logic - neural networks

Form of assessment

The evaluation of outcome prior learning is made as a continuous training during the semester. According ot the teaching, the assessment will be different: as a written exam, an oral exam, a record, a written report, peers review...