Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques
L'importance des systèmes temps-réels embarqués dans les sociétés industrialisées modernes en font un terrain d'application privilégié pour les méthodes formelles. La prépondérance des contraintes temporelles dans les spécifications de ces systèmes motive la mise au point de solutions spéc...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris Sud - Paris XI
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00676901 http://tel.archives-ouvertes.fr/docs/00/67/69/01/PDF/VD2_GARNIER_ILIAS_10022012.pdf |