Next: Introduction, Previous: Top, Up: Top
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: