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.
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00492327
Contributor : Silvano Dal Zilio <>
Submitted on : Friday, October 30, 2015 - 1:44:00 PM
Last modification on : Friday, October 25, 2019 - 6:20:09 PM
Long-term archiving on: Friday, April 28, 2017 - 7:27:10 AM

File

idm2010.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00492327, version 1

Citation

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, et al.. 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. IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France. ⟨hal-00492327⟩

Share

Metrics

Record views

298

Files downloads

173