Formal semantics of behavior specifications in the architecture analysis and design language standard

Abstract : In system design, an architecture specification or model serves, among other purposes, as a repository to share knowledge about the system being designed. Such a repository enables automatic generation of analytical models for different aspects relevant to system design (timing, reliability, security, etc.). The Architecture Analysis and Design Language (AADL) is a standard proposed by SAE to express architecture specifications and share knowledge between the different stakeholders about the system being designed. To support unambiguous reasoning, formal verification, high-fidelity simulation of architecture specifications in a model-based AADL design workflow, we have defined a formal semantics for the behavior specification of the AADL, the presentation of this semantics is the aim of this paper.
Type de document :
Communication dans un congrès
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. IEEE, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, pp.30-39, 2016, High-level design, verification and test. 〈http://www.hldvt.org/〉. 〈10.1109/HLDVT.2016.7748252〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01419968
Contributeur : Jean-Pierre Talpin <>
Soumis le : mardi 20 décembre 2016 - 11:17:48
Dernière modification le : vendredi 8 juin 2018 - 01:17:20
Document(s) archivé(s) le : lundi 20 mars 2017 - 23:03:10

Fichier

hldvt16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, et al.. Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. IEEE, High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International, pp.30-39, 2016, High-level design, verification and test. 〈http://www.hldvt.org/〉. 〈10.1109/HLDVT.2016.7748252〉. 〈hal-01419968〉

Partager

Métriques

Consultations de la notice

597

Téléchargements de fichiers

87