AADLib - A library of AADL components

About

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.

Installation

Ocarina

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

OSATE

Simply import the AADLib repository as an AADL project

AADL Inspector

Import the AADLib examples through the GitHub import facility

Q&A

Build status