Software Dependability

    En bref
  • Crédits ECTS : 4

Présentation

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