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:

Structure :

   13h cours; 8h TD/TP

Evaluation :

Programme :

  1. Introduction: concurrence/parallelisme, synchrone/asynchrone, embarqué/distribué  -- 3h cours -- RS(EM)
  2. MDE: machines d'états, diagrammes d'activité, composants -- 1h cours+2h TD-- EM (RS)
  3. Calculs de processus et SOS -- 2h cours + 1h TD --LH
  4. Composants asynchrones et fondements de ProActive -- 2h cours + 1h TD -- LH
  5. Sémantique synchrone (Esterel) -- 2h cours + 1h TD -- RS
  6. Logique temporelle -- 2h cours + 1h TD -- EM
  7. Model Checking -- 1h cours + 2h TD-- RS

Pré-requis :

  aucun

Références :