pourquoi ?
validation
déterminisme
sûreté de fonctionnement
calcul ordonnancement
synthèse
méthodes
simulation
vérification formelle
preuve
model checking
propriétés discriminantes
abstraction du temps
temps chronométrique
continu
discret
temps logique
synchrone
ordre partiel
non timé
abstraction des données
bit
mot
structure de données
expression concurrence et communication
non synchronisé
mémoire partagée
FIFO non bornée
FIFO bornée
rendez-vous
expression du parallélisme
complètement abstrait
parallélisme explicite mais décomposition implicite
pas de placement
pas de communication
pas de synchronisation
expression du parallélisme maximal
parallélisme et décomposition explicite mais placement comm et syncro implicite
parallélisme, décomposition et placement explicites mais comm et synchro implicites
parallélisme, décomposition, placement et comm explicites mais synchro implicite
tout explicite
configurabilité
fixe
boîte noire
à la conception
code source disponible
statique
personnalisation de blocs
programmable
FPGA, PLD
reprogrammable dynamiquement
MoCC communs
(Von Neumann)
séquentiel
temps continu
modélisation mathématique
équations différentielles
MATLAB de The MathWorks
événements discrets
temps global totalement ordonné
problèmes de causalité
micropas
langages architecturaux
VHDL, Verilog, SystemC
FSM communicantes
Moore vs Mealy
+ Harel (Statecharts)
hiérarchie
concurrence
non-déterminisme
plus de 20 variantes
réactif synchrone
temps basé sur des cycles
vérifier la causalité
langages
Esterel
SynchCharts
Lustre
Scade
Signal
Polychony
réseaux de processus dataflow
flux de données/événements
non timé
dépendances
KPN
déterministe
SDF
ordonnancement fini statique
outils
Simulink de The MathWorks
multi-modèles
Signal Processing Designer de CoWare
Synopsys System Studio
Ptolemy et Ptolemy II de UC Berkeley
multi-modèles
rendez-vous
processus séquentiels concurrents
communications à des points de synchronisation
CSP, CCS, Ada
réseaux de Petri
nombreuses variantes timées ou non
plutôt un modèle de raisonnement que de programmation
combinaisons
références
Introduction to Embedded Systems A Cyber-Physical Systems Approach
Lee et Seshia
UC Berkeley
MoC_embedded_systems.pdf
MoC_in_design_process.pdf
parallel_models.pdf
ESL Models and their Applications
Brain Bailey et Grant Martin
Springer
Array-OL
RR-6113v2.pdf