Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages

Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages

Les fonctions de commande et de contrôle sont parmi les plus importantes des systèmes embarqués critiques utilisés dans des activités telles les transports, la santé ou la gestion de l’énergie. Leur impact potentiel sur la sûreté de fonctionnement fait de la vérification de leur correction l’un des...

Full description

Bibliographic Details
Main Author: Dieumegard, Arnaud
Other Authors: Toulouse, INPT
Language:en
Published: 2015
Subjects:
Génération automatique de code
Certification
Qualification
Systèmes embarqués critiques
Méthodes formelles
Ingénierie dirigée par les modèles
Automatic code generation
Embedded critical systems
Formal methods
Model-Driven engineering
Online Access:http://www.theses.fr/2015INPT0016/document

Internet

http://www.theses.fr/2015INPT0016/document

Similar Items