Commit 77197736 authored by Jerome Hugues's avatar Jerome Hugues Committed by GitHub
Browse files

Update README.rst

parent f5e47667
......@@ -4,9 +4,27 @@ 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
Ocarina is an AADL model processor, it acts as a "compiler" for AADL models.
As a front-end, it supports
* AADLv2 language from `AS5506C standard <>`_,
* the ARINC653 and the EMV2 Annex from `AS5506/1A standard <>`_
As a back-end, it supports
* Code generation towards the AADL runtime `PolyORB-HI/Ada <>`_ and `PolyORB-HI/C <>`_, and ARINC653 compliant APEX.
* WCET analysis, using `Bound-T <>`_
* Scheduling analysis, using `Cheddar <>`_ and `MAST <>`_
* Model checking, using Petri Net `Tina <>`_, and `LNT <>`
* Constraint analysis, using the REAL annex language
It can be integrated with the `AADLib <>`_ library of AADL components, and through a `OSATE2 plugin <>`_
Refer to the ocarina-build companion project for `details <>`_
......@@ -15,8 +33,6 @@ Build status for Linux and OS X: |build-status|
Code coverage: |coverage|
.. |build-status| image::
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment