Latest release:
Citable Reference:
@software{ocarina_v2021_1,
author = {OpenAADL},
title = {OpenAADL/ocarina: 2021.1},
month = sep,
year = 2021,
version = {v2021.1},
doi = {10.5281/zenodo.5459517},
url = {https://doi.org/10.5281/zenodo.5459517}
}
Ocarina is an AADL model processor, it acts as a "compiler" for AADL models.
As a front-end, it supports
- AADLv2 language from AS5506C standard,
- the Behavioral annex from AS5506/1 standard
- the ARINC653 and the EMV2 annexes from AS5506/1A standard
As a back-end, it supports
- Code generation towards the AADL runtime PolyORB-HI/Ada and PolyORB-HI/C, and ARINC653 compliant APEX, following recommendations from AS5506/2 standard
- WCET analysis, using Bound-T
- Scheduling analysis, using Cheddar and MAST
- Model checking, using Petri Net Tina, and LNT
- Constraint analysis, using the REAL annex language
It can be integrated with the AADLib library of AADL components.
It can also be embedded in AADL editors: in OSATE using the OSATE2 plugin, and AADL Inspector or advanced system processing suite like TASTE by the European Space Agency
Refer to the ocarina-build companion project for details.
| Build status GitHub actions | |
| Code coverage | |
| CII Best practice |