The SAE Architecture Analysis and Design Language is now a well-established language for the description of critical embedded systems, but also cyber-physical ones. A wide range of analysis tools is already available, either as part of the OSATE tool chain, or separate ones.A key missing elements of AADL is a set of reusable building blocks to help learning AADL concepts, but also experiment already existing tool chains on validated real-life examples.In this paper, we present AADLib, a library of reusable model elements. AADLib is build on two pillars: 1/ a set of ready-to-use examples so that practitioners can learn more about the AADL language itself, but also experiment with existing tools. Each example comes with a full description of available analysis and expected results. This helps reducing the learning curve of the language. 2/ a set of reusable model elements that cover typical building blocks of critical systems: processors, networks, devices with a high level of fidelity so that the cost to start a new project is reduced.AADLib is distributed under a Free/Open Source License to further disseminate the AADL language. As such, AADLib provides a convenient way to discover AADL concepts and tool chains, and learn about its features.
AADLib, A Library of Reusable AADL Models
Sae Technical Papers
SAE 2013 AeroTech Congress & Exhibition ; 2013
2013-09-17
Conference paper
English
NTIS | 2021
|Execution-based Verification of AADL Models
NTIS | 2019
|British Library Conference Proceedings | 2006
|British Library Conference Proceedings | 2008
|Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2017