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.
Refer to the ocarina-build companion project for details.
|Build status GitHub actions|
|CII Best practice|