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...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2012
|
Subjects: | |
Online Access: | http://www.theses.fr/2012ENST0036/document |