1. About This Guide

1.1. About this Guide

This guide describes the use of Ocarina, a compiler for the AADL.

It presents the features of the compiler, related APIs and tools; and details how to use them to build and exploit AADL models.

It also details model transformations of AADL models onto Petri Net models

Companion documents describe other add-ons for Ocarina:

  • 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 and RT-POSIX systems, RTEMS.

1.2. Document Conventions

This document uses the following conventions:

Note

This is just a note, for your information.

Warning

This is a warning, something you should take care of.

A filename or a path to a filename is displayed like this: /path/to/filename.ext

A command to type in the shell is displayed like this: command --arguments

A sample of code is illustrated like this:

First Line of Code
Second Line of Code
...