Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 Connect in order to contact the contributor
Submitted on : Tuesday, December 20, 2016 - 11:17:48 AM
Last modification on : Wednesday, May 18, 2022 - 3:12:58 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

865

Files downloads

180