# aadlib

**Repository Path**: wangchuan12137/aadlib

## Basic Information

- **Project Name**: aadlib
- **Description**: No description available
- **Primary Language**: C
- **License**: BSD-3-Clause
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-09-17
- **Last Updated**: 2025-09-17

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 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](https://github.com/OpenAADL/ocarina), [AADL-Inspector](http://www.ellidiss.com/products/aadl-inspector/) and [OSATE](http://osate.org).

## Installation

### Ocarina

The recommended installation process is through the proper configuration and installation of [Ocarina](https://github.com/OpenAADL/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)](https://github.com/OpenAADL/AADLib/workflows/Ocarina%20/%20Ubuntu%20(default%20GNAT)/badge.svg)