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. abstraction des données
      1. bit
      2. mot
      3. structure de données
   3. expression concurrence et communication
      1. non synchronisé
      2. mémoire partagée
      3. FIFO non bornée
      4. FIFO bornée
      5. rendez-vous
   4. 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
   5. configurabilité
      1. fixe
         1. boîte noire
      2. à la conception
         1. code source disponible
      3. statique
         1. personnalisation de blocs
      4. programmable
         1. FPGA, PLD
      5. reprogrammable dynamiquement
3. MoCC communs
   1. (Von Neumann)
      1. séquentiel
   2. temps continu
      1. modélisation mathématique
         1. équations différentielles
      2. MATLAB de The MathWorks
   3. événements discrets
      1. temps global totalement ordonné
         1. problèmes de causalité
         2. micropas
      2. langages architecturaux
         1. VHDL, Verilog, SystemC
   4. FSM communicantes
      1. Moore vs Mealy
      2. + Harel (Statecharts)
         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é
      3. langages
         1. Esterel
            1. SynchCharts
         2. Lustre
            1. Scade
         3. Signal
            1. Polychony
   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
      4. outils
         1. Simulink de The MathWorks
            1. multi-modèles
         2. Signal Processing Designer de CoWare
         3. Synopsys System Studio
         4. Ptolemy et Ptolemy II de UC Berkeley
            1. multi-modèles
   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
      2. plutôt un modèle de raisonnement que de programmation
   9. combinaisons
4. références
   1. MoC_embedded_systems.pdf
   2. MoC_in_design_process.pdf
   3. parallel_models.pdf
   4. ESL Models and their Applications
      1. Brain Bailey et Grant Martin
      2. Springer
5. Array-OL
   1. RR-6113v2.pdf