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 :
Rapport
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
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-01419973
Contributeur : Jean-Pierre Talpin <>
Soumis le : mardi 20 décembre 2016 - 11:21:16
Dernière modification le : mardi 24 avril 2018 - 11:53:55

Fichier

RR-8950.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Loïc Besnard, Thierry Gautier, Paul Le Guernic, Clément Guy, Jean-Pierre Talpin, et al.. Formal semantics of behavior specifications in the architecture analysis and design language standard. [Research Report] RR-8950, INRIA. 2016, pp.30 - 39. 〈hal-01419973〉

Partager

Métriques

Consultations de la notice

484

Téléchargements de fichiers

188