Next: , Previous: About This Guide, Up: Top


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 :

  1. Parsing and pretty printing of AADL models
  2. Semantics checks
  3. Code generation, using three code generators
  4. Model checking using Petri nets.

Companion documents describe some of these add-ons for Ocarina: