-
Qu'est-ce ?
- sous-système informatique
-
dans un autre système
-
couplage avec
- capteurs
- actionneurs
-
exemples
-
automobile
- > 100
- ESP, contrôle injection, aides à la conduite, confort, loisir, etc
- télécoms
-
systèmes de détection
- sonar
- radar
-
multimédia
- TVHD
-
soumis à contraintes
- environnement décide du rythme des traitements
- autonomie
- sûreté de fonctionnement
-
architecture
-
tendances
-
miniaturisation
- intégration sur puce
- hétérogénéité
-
augmentation fonctionalités
- complexification
- concurrence/parallélisme
- diminution temps de conception
-
matériel + logiciel
- difficulté de faire du logiciel fiable
- conception conjointe
-
challenge de la conception
- plus complexe
- plus contraint
- phénomènes physiques nouveaux
- en moins de temps
-
réponses langages
- modèles de calcul et de communication
-
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
-
continu
- temps chronométrique
-
discret
- temps chronométrique
-
synchrone
- temps logique
- non timé
- concurrence et moyens de communication
-
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
-
langages étudiés
-
JoCaml
-
Join calculus
- processus
-
communiquant par des canaux
- asynchrones
- ou synchrones
-
concurrence
- communication par messages
-
distribution
- indépendance à la localisation
-
Lucid synchrone
-
réactif synchrone
- cadencement sur horloges logiques
- vérification de la causalité
- flots de données
- calcul d'horloges