1. pourquoi ?
   1. validation
      1. déterminisme
      2. sûreté de fonctionnement
      3. calcul ordonnancement
      4. synthèse
   2. méthodes
      1. simulation
      2. vérification formelle
         1. preuve
         2. model checking
2. propriétés discriminantes
   1. abstraction du temps
      1. temps chronométrique
         1. continu
         2. discret
      2. temps logique
         1. synchrone
         2. ordre partiel
      3. non timé
   2. expression concurrence et communication
      1. non synchronisé
      2. mémoire partagée
      3. FIFO non bornée
      4. FIFO bornée
      5. rendez-vous
   3. expression du parallélisme
      1. complètement abstrait
      2. parallélisme explicite mais décomposition implicite
         1. pas de placement
         2. pas de communication
         3. pas de synchronisation
         4. expression du parallélisme maximal
      3. parallélisme et décomposition explicite mais placement comm et syncro implicite
      4. parallélisme, décomposition et placement explicites mais comm et synchro implicites
      5. parallélisme, décomposition, placement et comm explicites mais synchro implicite
      6. tout explicite
3. MoCC communs
   1. (Von Neumann)
      1. séquentiel
   2. temps continu
      1. équations différentielles
      2. MATLAB/Simulink
   3. événements discrets
      1. temps global totalement ordonné
         1. problèmes de causalité
         2. micropas
      2. VHDL, Verilog, SystemC
   4. FSM communicantes
      1. Moore vs Mealy
      2. + Harel
         1. hiérarchie
         2. concurrence
         3. non-déterminisme
      3. plus de 20 variantes
   5. réactif synchrone
      1. temps basé sur des cycles
      2. vérifier la causalité
   6. réseaux de processus dataflow
      1. flux de données/événements
         1. non timé
         2. dépendances
      2. KPN
         1. déterministe
      3. SDF
         1. ordonnancement fini statique
   7. rendez-vous
      1. processus séquentiels concurrents
      2. communications à des points de synchronisation
      3. CSP, CCS, Ada
   8. réseaux de Petri
      1. nombreuses variantes timées ou non
   9. combinaisons
4. références
   1. MoC_embedded_systems.pdf
   2. MoC_in_design_process.pdf
   3. parallel_models.pdf
5. Array-OL
   1. RR-6113v2.pdf