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
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, François B. Vernadat · HAL (Le Centre pour la Communication Scientifique Directe) · 2010
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.