README.rst

Ocarina AADL toolset
====================

|docs|

Ocarina is an AADL model processor, providing code generation
facilities towards C and Ada; Petri Nets; scheduling tools (MAST,
Cheddar); WCET; REAL

* Installation

See INSTALL file for more details on supported platforms and
installation process.

* Examples

Examples are located in the examples/ directory and are essentially
code generation examples. For more details, read the examples/README file

* Documentation

The documentation of Ocarina is located in the doc/ directory. To
build the documentation manually just run 'make html' or 'make pdf' in
the doc/ directory.

.. |docs| image:: https://readthedocs.org/projects/docs/badge/?version=latest
    :alt: Documentation Status
    :scale: 100%
    :target: http://ocarina.readthedocs.org/