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 annex. Our approach is based on tools that are integrated in the Topcased environment. We give a high-level view of the tools involved and illustrate the successive transformations that take place during the verification process.

Domaines

Systèmes embarqués Logique en informatique [cs.LO]

Fichier principal

aadltina.pdf (171.71 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Silvano Dal Zilio : Connectez-vous pour contacter le contributeur

https://laas.hal.science/hal-01790208

Soumis le : vendredi 11 mai 2018-16:47:51

Dernière modification le : mardi 12 décembre 2023-09:59:16

Archivage à long terme le : mardi 25 septembre 2018-06:49:21

Dates et versions

hal-01790208 , version 1 (11-05-2018)

Identifiants

HAL Id : hal-01790208 , version 1
DOI : 10.1007/978-3-642-01924-1_15

Citer

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, M Filali, et al.. Formal Verification of AADL Specifications in the Topcased Environment. Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩. ⟨hal-01790208⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE LAAS-VERTICS LAAS-INFORMATIQUE-CRITIQUE INSA-GROUPE INSA-TOULOUSE-GEI LAAS-RISC IRIT IRIT-ACADIE ANR IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

83 Consultations

20 Téléchargements