Ocarina AADL toolset ====================

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