1 Introduction
Ocarina is an application that can be used to build applications from
AADL descriptions. Because of its modular architecture, Ocarina can
also be used to add AADL functions to existing applications. Ocarina
supports the AADL 1.0 standard and proposes the following features :
- Parsing and pretty printing of AADL models
- Semantics checks
- Code generation, using three code generators
- ARAO/Ada, an Ada AADL runtime built on top of PolyORB;
- PolyORB-HI/Ada, a High-Integrity AADL runtime and its code
generator built on top of Ocarina that targets Ada targets: Native or
bare board runtimes;
- PolyORB-HI/C, a High-Integrity AADL runtime and its code
generator built on top of Ocarina that targets C targets: POSIX
systems, RTEMS;
- Model checking using Petri nets.
Companion documents describe some of these add-ons for Ocarina: