Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01419968
Contributor : Jean-Pierre Talpin <>
Submitted on : Tuesday, December 20, 2016 - 11:17:48 AM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM
Long-term archiving on: : Monday, March 20, 2017 - 11:03:10 PM

File

hldvt16.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

1228

Files downloads

313