Advanced modelling for communicating systems

Catalogue des cours de Télécom SudParis

Code

CSC 5042

Niveau

Graduate (M2)

Période

Fall (P3)

Domaine

Informatique

Langue d'enseignement

Anglais

Crédits ECTS

4

Heures programmées / Charge de travail

45 / 90

Responsable(s)

  • MAMMAR Amel

Département

- Informatique

Equipe pédagogique

  • MAMMAR Amel

Objectifs

To study how to choose the language and the formal modelling method according to the system type to be modelled.

Contenu

The critical systems and its characteristics.
The PROMELA language for modelling the communicating reactive systems and the associated tools for properties verification.
The EB3 language for modelling the information systems and the associated tools (Atelier B, Brama)
EB3 Model checking
Applications of these modelling techniques in the industry.

Prérequis

First order logic

Mots-clés

 

Evaluation

Written examination

Approches pédagogiques

 

Programme

Programme Ingénieur

Fiche mise à jour : 06/03/2012 10:50:12