↓Skip to main content

Architecture Languages

Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
Verification Architecture Languages Fiacre
Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement, Bernard Berthomieu
In AFADL 2016 — 15èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels, jun 2016.
Real-Time Model Checking Support for AADL
Verification Architecture Languages
Silvano Dal Zilio, Bernard Berthomieu, François Vernadat, Mamoun Filali, Jean-Paul Bodeveix, Guillaume Verdier
Research Report 15036, LAAS, mar 2015.
Vérification formelle de spécifications AADL via FIACRE
Verification Architecture Languages Fiacre
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat
preprint, aug 2011.
Real-time Extensions for the Fiacre modeling language
Verification Architecture Languages Fiacre
Nouha Abid, Silvano Dal Zilio
preprint, jun 2010.
Formal Verification of AADL models with Fiacre and Tina
Verification Architecture Languages Fiacre
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Sébastien Heim, Pierre Gaufillet, François Vernadat
In ERTSS 2010 — 5th International Congress and Exhibition on Embedded Real-Time Software and Systems, may 2010.
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
Verification Architecture Languages 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.
Formal Verification of AADL Specifications in the Topcased Environment
Verification Architecture Languages
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.