logo Insalogo Insa

Software Dependability

Presentation

Program (detailed contents):

The goal of this UF is to introduce the main principles of dependability. A first course introduces the concepts, methods and tools, to define and control the process development of a computer based system.

Specific courses allow you to go a step further by focusing on two aspects:

  • Modeling of timed systems with an introduction to the formalisms of time Petri nets and timed automata and an introduction to the associated verification techniques.
  • Model verification allows to ensure the satisfaction of the required properties. An introduction to temporal logics is given for the formal expression of required properties. The main algorithms for model checking are presented.

 

  Organisation

3 parts with lectures and labworks

  • Dependability
  • Timed Models
  • Model-Checking

Objectives

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.

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...