Ocarina AADL toolset  |docs| 
====================

About: 
------

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

Q&A:
----

Build status for Linux and OS X: |build-status|

Code coverage: |coverage|



.. |build-status| image:: https://travis-ci.org/OpenAADL/ocarina.svg?branch=master 
  :target: https://travis-ci.org/OpenAADL/ocarina

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

.. |coverage| image:: https://codecov.io/github/OpenAADL/ocarina/coverage.svg?branch=master
  :target: https://codecov.io/gh/OpenAADL/ocarina
  :alt: Code Coverage