Skip to Main content Skip to Navigation
Conference papers

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 1 Jean-Paul Bodeveix 2 Silvano Dal Zilio 1, * Mamoun Filali 2 Marc Pantel 2 François Vernadat 1
* Corresponding author
1 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
LAAS - Laboratoire d'analyse et d'architecture des systèmes
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 : Tuesday, January 5, 2021 - 2:22:04 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

337

Files downloads

206