AADLib is a library of reusable AADLv2 components, associated property sets and validation theorems based on REAL. It has been defined to work properly with Ocarina, AADL-Inspector and OSATE.

The recommended installation process is through the proper configuration and installation of Ocarina, see Ocarina documentation for details.

Simply import the AADLib repository as an AADL project

Import the AADLib examples through the GitHub import facility

Build status