Next: , Previous: Top, Up: Top


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

Companion documents describe other add-ons for Ocarina: