Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience sur la chaîne de vérification formelle Fiacre

Abstract

We discuss the results obtained during the development of a formal verification toolchain for AADL based on a model driven engineering approach. Our approach is characterized by the use of the pivot language FIACRE to facilitate verification activities and transformations between models. We quickly analyse the first return on experience and present ongoing work started in the scope of the Quarteft project to improve the verification chain.

Publication
In IDM SafeModel 2010Journées sur l’Ingénierie Dirigée par les Modèles