Architecture Analysis & Design Language

<h2 id="aadl-ecosystem">AADL ecosystem</h2>
<p>AADL is defined by a core language with a single notation for both system and software aspects. Having a single model eases the analysis tools by having only one single representation of the system. The language specifies system-specific characteristics using properties.
</p><p>The language can be extended with the following methods:
</p>
<ul><li>user-defined properties: users can extend the set of applicable properties and add their own to specify their own requirements</li>
<li>language annexes: the core language is enhanced by annex languages that enrich the architecture description. So far, the following annexes have been defined:
<ul><li>Behavior annex: add components behavior with state machines</li>
<li>Error-model annex: specifies fault and propagation concerns</li>
<li>ARINC653 annex: defines modelling patterns for avionics systems</li>
<li>Data-Model annex: describes the modelling of specific data constraints with AADL</li></ul></li></ul>
<h2 id="aadl-tools">AADL tools</h2>
<p>AADL is supported by a wide range of tools:
</p>
<ul><li><a href="https://forge.ispras.ru/projects/masiw-oss">MASIW</a> - is an open source Eclipse-based IDE for development and analysis of AADL models. It is developed by <a href="/facts/ISP_RAS/R95y1ubc">ISP RAS</a></li>
<li><a href="https://github.com/osate">OSATE</a> is an open source tool that includes a modeling platform, a graphical viewer and a constraint query languages. More information is available at the <a href="https://osate.org/">OSATE website</a>.</li>
<li>Ocarina, an AADL toolchain for generating code from models</li>
<li><a href="http://taste.tuxfamily.org">TASTE toolchain</a>, supported by the <a href="/facts/European_Space_Agency/L8YRNV0C">European Space Agency</a></li></ul>
<p>A complete list of the tool set can be found on the <a href="http://www.openaadl.org/post/2013/04/29/tools">AADL public wiki</a>
</p>
<h2 id="related-projects">Related projects</h2>
<p>AADL has been used for the following research projects:
</p>
<ul><li><a href="http://avsi.aero/projects/current-projects/savi/">AVSI/SAVI</a>: an initiative that leverages AADL (among other languages) to perform virtual integration of aerospace and defense systems</li>
<li><a href="http://cps-vo.org/group/avm/meta">META</a>: a DARPA project for improving software engineering methods</li>
<li>PARSEC: a French initiative to validate and implement avionics systems from architecture models</li>
<li>TASTE: a platform for designing safety-critical systems from models</li></ul>
<p>A complete list of the past and current projects/initiatives can not be found on the <a href="https://wiki.sei.cmu.edu/aadl/index.php/Projects_and_Initiatives">AADL public wiki</a> because it has been retired. No replacement has been provided as of Dec 2020.
</p>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://www.aadl.info/">AADL.info</a></li>
<li><a href="http://www.openaadl.org/index.html">AADL public wiki</a></li>
<li><a href="http://www.openaadl.org/post/2013/04/29/tools/">AADL tools</a></li>
<li><a href="https://web.archive.org/web/20051016052508/http://www.axlog.fr/R_d/aadl/presentation_en.html">AADL at Axlog</a></li>
<li><a href="http://aadl.enst.fr">AADL at Ecole Nationale Supérieure des Télécommunications de Paris (ENST)</a> <a href="https://web.archive.org/web/20061127151639/http://aadl.enst.fr/">Archived</a> 2006-11-27 at the <a href="/facts/Wayback_Machine/nmQ3a6JC">Wayback Machine</a></li>
<li><a href="http://beru.univ-brest.fr/~singhoff/cheddar">AADL performance analysis with Cheddar, Univ. of Brest (real time scheduling and queueing system analysis)</a> <a href="https://web.archive.org/web/20110228013154/http://beru.univ-brest.fr/~singhoff/cheddar/">Archived</a> 2011-02-28 at the <a href="/facts/Wayback_Machine/nmQ3a6JC">Wayback Machine</a></li>
<li><a href="http://www.ellidiss.com">Industrial project support using Stood for AADL</a></li>
<li><a href="http://aadl-book.com/">AADL In Practice, a book dedicated to the use of the languages and its related modeling tools</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Architecture Analysis and Design Language, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, Pennsylvania, USA. Archived 2013-11-01 at the Wayback Machine <a href="http://www.sei.cmu.edu/dependability/tools/aadl/" target="_blank">http://www.sei.cmu.edu/dependability/tools/aadl/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Detailed presentation of AADL Archived February 4, 2012, at the Wayback Machine <a href="http://www.axlog.fr/aadl/presentation_en.html" target="_blank">http://www.axlog.fr/aadl/presentation_en.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Bordin, M., Comar, C., Falis, E., Gasperoni, F., Moy, Y., Richa, E., & Hugues, J. (2014). System to software integrity: A case study. <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Delange, Julien. "Code Generation with AADL: A State-of-the-Art Report". <a href="https://insights.sei.cmu.edu/sei_blog/2014/10/code-generation-with-aadl-a-state-of-the-art-report.html" target="_blank">https://insights.sei.cmu.edu/sei_blog/2014/10/code-generation-with-aadl-a-state-of-the-art-report.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
</ol>

Architecture Analysis & Design Language open-in-new

Architecture Analysis & Design Language