Everipedia Logo
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.
Architecture Analysis & Design Language

Architecture Analysis & Design Language

The Architecture Analysis & Design Language (AADL) is an architecture description language standardized by SAE.[1] AADL was first developed in the field of avionics, and was known formerly as the Avionics Architecture Description Language.[2]

The Architecture Analysis & Design Language is derived from MetaH, an architecture description language made by the Advanced Technology Center of Honeywell. AADL is used to model the software and hardware architecture of an embedded, real-time system. Due to its emphasis on the embedded domain, AADL contains constructs for modeling both software and hardware components (with the hardware components named "execution platform" components within the standard). This architecture model can then be used either as a design documentation, for analyses (such as schedulability and flow control) or for code generation (of the software portion), like UML.[3][4]

AADL eco-system

AADL is defined by a core language that defines a single notation for both system and software aspects. Having a single model ease the analysis tools by having only one single representation of the system. The language specifies system-specific characteristics using properties.

The language can be extended with the following methods:

  • user-defined properties: user can extend the set of applicable properties and add their own to specify their own requirements

  • language annexes: the core language is enhanced by annex languages that enrich the architecture description. For now, the following annexes have been defined. Behavior annex: add components behavior with state machines Error-model annex: specifies fault and propagation concerns ARINC653 annex: defines modelling patterns for modelling avionics system Data-Model annex: describes the modelling of specific data constraint with AADL

AADL Tools

AADL is supported by a wide range of tools:

  • OSATE [17] that includes a modeling platform, a graphical viewer and a constraint query languages

  • Ocarina, an AADL toolchain for generating code from models

  • TASTE toolchain [18] supported by the European Space Agency

A complete list of the tool set can be found on the AADL public wiki [19]

AADL has been used for the following research projects:

  • AVSI/SAVI [20] : an initiative that leverages AADL (among other languages) to perform virtual integration of aerospace and defense systems

  • META [21] : a DARPA project for improving software engineering methods

  • PARSEC: a French initiative to validate and implement avionics systems from architecture models

  • TASTE: a platform for designing safety-critical systems from models

A complete list of the past and current projects/initiatives can be found on the AADL public wiki [22]

References

[1]
Citation Linkweb.archive.orgArchitecture Analysis and Design Language, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, Pennsylvania, USA. Archived 2013-11-01 at the Wayback Machine
Sep 18, 2019, 4:48 PM
[2]
Citation Linkweb.archive.orgDetailed presentation of AADL Archived February 4, 2012, at the Wayback Machine
Sep 18, 2019, 4:48 PM
[3]
Citation Linkopenlibrary.orgBordin, M., Comar, C., Falis, E., Gasperoni, F., Moy, Y., Richa, E., & Hugues, J. (2014). System to software integrity: A case study.
Sep 18, 2019, 4:48 PM
[4]
Citation Linkinsights.sei.cmu.eduDelange, Julien. "Code Generation with AADL: A State-of-the-Art Report".
Sep 18, 2019, 4:48 PM
[5]
Citation Linkgithub.comOSATE
Sep 18, 2019, 4:48 PM
[6]
Citation Linktaste.tuxfamily.orgTASTE toolchain
Sep 18, 2019, 4:48 PM
[7]
Citation Linkavsi.aeroAVSI/SAVI
Sep 18, 2019, 4:48 PM
[8]
Citation Linkcps-vo.orgMETA
Sep 18, 2019, 4:48 PM
[9]
Citation Linkwww.aadl.infoAADL.info
Sep 18, 2019, 4:48 PM
[10]
Citation Linkwiki.sei.cmu.eduAADL public wiki
Sep 18, 2019, 4:48 PM
[11]
Citation Linkwiki.sei.cmu.eduAADL tools
Sep 18, 2019, 4:48 PM
[12]
Citation Linkweb.archive.orgAADL at Axlog
Sep 18, 2019, 4:48 PM
[13]
Citation Linkaadl.enst.frAADL at Ecole Nationale Supérieure des Télécommunications de Paris (ENST)
Sep 18, 2019, 4:48 PM
[14]
Citation Linkberu.univ-brest.frAADL performance analysis with Cheddar, Univ. of Brest (real time scheduling and queueing system analysis)
Sep 18, 2019, 4:48 PM
[15]
Citation Linkwww.ellidiss.comIndustrial project support using Stood for AADL
Sep 18, 2019, 4:48 PM
[16]
Citation Linkaadl-book.comAADL In Practice, a book dedicated to the use of the languages and its related modeling tools
Sep 18, 2019, 4:48 PM
[17]
Citation Linkgithub.comOSATE
Sep 18, 2019, 4:48 PM
[18]
Citation Linktaste.tuxfamily.orgTASTE toolchain
Sep 18, 2019, 4:48 PM
[19]
Citation Linkwiki.sei.cmu.eduAADL public wiki
Sep 18, 2019, 4:48 PM
[20]
Citation Linkavsi.aeroAVSI/SAVI
Sep 18, 2019, 4:48 PM