Cours : Sémantique des systèmes distribués et embarqués
Responsable : Ludovic Henrio
Objectifs :
Ce cours a pour but de présenter une vue d'ensemble de plusieurs
modèles de programmation concurrente et parallèle utilisés dans des
systèmes parrallèles et embarqués. L'objectif est de découvrir les
modèles de programmation suivants:
- Ingénierie des modèles pour les composants embarqués et distribués
- Calculs concurrents et distribués et leur sémantique
- Logique temporelle et model-checking
Structure :
13h cours; 8h TD/TP
Evaluation :
- Une évaluation par exposé (hors heures de cours) coeff 1/2
- Plus contrôle continu coeff 1/2
Programme :
- Introduction: concurrence/parallelisme, synchrone/asynchrone, embarqué/distribué -- 3h cours -- RS(EM)
- MDE: machines d'états, diagrammes d'activité, composants -- 1h cours+2h TD-- EM (RS)
- Calculs de processus et SOS -- 2h cours + 1h TD --LH
- Composants asynchrones et fondements de ProActive -- 2h cours + 1h TD -- LH
- Sémantique synchrone (Esterel) -- 2h cours + 1h TD -- RS
- Logique temporelle -- 2h cours + 1h TD -- EM
- Model Checking -- 1h cours + 2h TD-- RS
Pré-requis :
aucun
Références :
- Communication and Concurrency - Robin Milner - Book (Prentice Hall International Series in Computer Science)
- A Theory of Distributed Objects - Denis Caromel, Ludovic Henrio - Book - Springer-Verlag
- Page web de VerCors: http://www-sop.inria.fr/oasis/index.php?page=vercors
- Page web de l'équipe Aoste