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: | |
---|---|
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 |