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 Vernadat
In IDM SafeModel 2010 — Journées sur l’Ingénierie Dirigée par les Modèles, mar 2010.

 PDF  HAL-00492327

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.

Citation

#

@InProceedings{DalzilioS:safeModelQuarteft,
   author    = {Berthomieu, Bernard and Bodeveix, Jean-Paul and {Dal Zilio}, Silvano and Filali, Mamoun and Pantel, Marc and Vernadat, François},
   title     = {{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}},
   booktitle = {IDM SafeModel 2010 -- Journées sur l'Ingénierie Dirigée par les Modèles},
   month     = mar, 
   year      = 2010
}