Formal semantics of behavior specifications in the architecture analysis and design language standard - Archive ouverte HAL Access content directly
Reports (Research Report) 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
RR-8950.pdf (2.68 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01419973 , version 1

Cite

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⟩
381 View
442 Download

Share

Gmail Facebook Twitter LinkedIn More