Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux

L’augmentation de la complexité des systèmes temps-réel répartis embarqués (TR2E) et leur implication dans de nombreux domaines de notre quotidien imposent de nouvelles mé thodes de réalisation. Dans les domaines dits critiques (transport, médecine...) ces systèmes doivent satisfaire des contraintes...

Full description

Bibliographic Details
Main Author: Lasnier, Gilles
Other Authors: Paris, ENST
Language:fr
Published: 2012
Subjects:
Online Access:http://www.theses.fr/2012ENST0036/document