Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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 Ocarina / Ubuntu (default GNAT)