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

Update README.rst

parent fb77e273
Ocarina AADL toolset |docs|
Latest release: |release|
......@@ -17,7 +19,7 @@ As a back-end, it supports
* Code generation towards the AADL runtime `PolyORB-HI/Ada <>`_ and `PolyORB-HI/C <>`_, and ARINC653 compliant APEX, following recommendations from `AS5506/2 standard <>`_
* WCET analysis, using `Bound-T <>`_
* Scheduling analysis, using `Cheddar <>`_ and `MAST <>`_
* Model checking, using Petri Net `Tina <>`_, and `LNT <>`
* 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 <>`_
......@@ -45,3 +47,7 @@ Code coverage: |coverage|
.. |coverage| image::
:alt: Code Coverage
.. |release| image::
:alt: GitHub Releases
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