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
Refer to the ocarina-build companion project for details.
Build status for Linux and OS X | |
Build status for Windows | |
Code coverage | |
CII Best practice |