Ocarina

Features

  • Model parser and pretty printer
  • Model optimization
  • Code generation in C
  • Code generation in Ada
  • Code generation for partitioned systems (ARINC653 and MILS compliance)
  • Support of both versions of the AADL

Platforms

Ocarina runs on :

  • Linux
  • Windows
  • Mac OS X
  • FreeBSD

Eclipse integration

We provide an Eclipse plugin to integrate Ocarina with the Eclipse/Topcased modeling environment. You can see this page to gather information about this plugin.

Installation

Two possibilities to install Ocarina :