Architecture Languages

Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
Cet article présente un travail en cours pour mettre en place une chaîne d’outils dédiée à la conception, la vérification et …
PDF Cite Project
Real-Time Model Checking Support for AADL
We describe a model-checking toolchain for the behavioral verification of AADL models that takes into account the realtime semantics of …
PDF Cite Project
Vérification formelle de spécifications AADL via FIACRE
PDF Cite Project
Real-time Extensions for the Fiacre modeling language
We present our ongoing research on the extension of the Fiacre language with real-time constructs and real-time verification patterns. …
PDF Cite Project
Formal Verification of AADL models with Fiacre and Tina
This paper details works undertaken in the scope of the Spices project concerning the behavioral verification of AADL models. We give a …
PDF Cite Project
Formal Verification of AADL Specifications in the Topcased Environment
We describe a formal verification toolchain for AADL, the SAE Architecture Analysis and Design Language, enriched with its behavioral …
PDF Cite Project DOI