Formal semantics of behavior specifications in the architecture analysis and design language standard - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

(1, 2) , (2) , (2) , (2) , (2) , (3, 2) , (4)
1
2
3
4

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.
Fichier principal
Vignette du fichier
hldvt16.pdf (527.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01419968 , version 1 (20-12-2016)

Identifiers

Cite

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. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩. ⟨hal-01419968⟩
869 View
184 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More