Automatic optimisation of system architectures using EAST-ADL

Walker, Martin; Reiser, Mark-Oliver; Tucci-Piergiovanni, Sara; Papadopoulos, Yiannis; Lönn, Henrik; Mraidha, Chokri; Parker, David; Chen, DeJiu; Servat, David

doi:10.1016/j.jss.2013.04.001

Cited by 44 publications

(18 citation statements)

References 22 publications

(16 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work is later completed in [12] and addresses optimizations of architectures through specific analysis combined to multi-domain optimization techniques based on genetic algorithms. In these experiments, analysis is through exogenous transformations.…”

Section: B Autosar and East-adlmentioning

confidence: 99%

“…Early resources provisioning, design space exploration, multi-criteria design optimization [33], [12] or, more classically, final validation of a complete system are some examples of analysis intends. Actually, such intends are different levels for a same philosophy : models, as time-variant artifacts, are dynamically assessed and checked on a multi-criteria basis with intervention of the user or not.…”

Section: E Summary : Addressing Analysis Intendsmentioning

confidence: 99%

See 1 more Smart Citation

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Hugues

Brau

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-Architecture Description Languages (ADLs) support modeling and analysis of systems through models transformation and exploration. Various contributions made proposals to bring verification capabilities to designers through model-based frameworks and illustrated benefits to the overall system quality.Model-level analyses are usually performed as an exogenous, unidirectional and semantically weak transformation towards a third-party model. We claim such process can be incomplete and/or inefficient because gathered results lead to evolution of the primary model. This is particularly problematic for the design of Distributed Real-Time Embedded (DRE) systems that has to tackle many concerns like time, security or safety.In this paper, we argue why analysis should no longer be considered as a side step in the design process but, rather, should be embedded as a first-class citizen in the model itself. We review several standardized architecture description languages, which consider analysis as a goal. As an element of solution, we introduce current work on the definition of a language dedicated to the analysis of models within the scope of one particular ADL, namely the Architecture Analysis and Design Language (AADL).

show abstract

Section: B Autosar and East-adlmentioning

confidence: 99%

Section: E Summary : Addressing Analysis Intendsmentioning

confidence: 99%

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Hugues

Brau

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

show abstract

“…Other works focused on large scale architecture optimization, decision and trade-off analysis [6] [7]. In the automotive domain, a multi-objective automatic optimization approach based on EAST-ADL modeling is proposed [6].…”

Section: Introductionmentioning

confidence: 99%

“…In the automotive domain, a multi-objective automatic optimization approach based on EAST-ADL modeling is proposed [6]. It supports the evaluation of alternative architectures according to dependability, timing performance, cost etc.…”

Section: Introductionmentioning

confidence: 99%

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Motii

Lanusse

Hamid

et al. 2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

“…AADL employs formal modeling concepts for the description of software/hardware architecture and runtime environment in terms of distinct components and their interactions, and it is especially effective for model-driven design of complex embedded real-time systems (Walker et al, 2013).…”

mentioning

confidence: 99%

From AADL to Timed Abstract State Machines: A verified model transformation

Yang¹,

Hu²,

Ma³

et al. 2014

Journal of Systems and Software

View full text Add to dashboard Cite

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 12950 To verify and analyze the AADL models, model transformation technologies are often used to automatically extract a formal specification suitable for analysis and verification. In this process, it remains a challenge to prove that the model transformation preserves the semantics of the initial AADL model or, at least, some of the specific properties or requirements it needs to satisfy. This paper presents a machine checked semantics-preserving transformation of a subset of AADL (including periodic threads, data port communications, mode changes, and the AADL behavior annex) into Timed Abstract State Machines (TASM). The AADL standard itself lacks at present a formal semantics to make this translation validation possible. Our contribution is to bridge this gap by providing two formal semantics for the subset of AADL. The execution semantics provided by the AADL standard is formalized as Timed Transition Systems (TTS). This formalization gives a reference expression of AADL semantics which can be compared with the TASM-based translation (for verification purpose). Finally, the verified transformation is mechanized in the theorem prover Coq.

show abstract

Automatic optimisation of system architectures using EAST-ADL

Cited by 44 publications

References 22 publications

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

From AADL to Timed Abstract State Machines: A verified model transformation

Contact Info

Product

Resources

About