An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF language
La validation des systèmes critiques réalistes nécessite d'être capable de modéliser et de vérifier formellement des données complexes, du parallélisme asynchrone, et du temps-réel simultanément. Des langages de haut-niveau, comme ceux qui héritent des fondations théoriques des algèbres de proc...
Main Author: | Stöcker, Jan |
---|---|
Language: | ENG |
Published: |
2009
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00551724 http://tel.archives-ouvertes.fr/docs/00/55/17/24/PDF/thesis_stoecker.pdf |
Similar Items
-
An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF Language
by: Stoecker, Jan
Published: (2009) -
Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE
by: Ratel, Christophe
Published: (1992) -
Modèles composables et concurrents pour le temps-réel
by: Pommereau, Franck
Published: (2002) -
Modélisation et analyse du comportement des systèmes informatiques temporisés
by: Halbwachs, Nicolas
Published: (1984) -
Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents
by: Pajault, Christophe
Published: (2008)