Dockerfiles for Ocarina September 18, 2016.

Ocarina docker images, based on various linux images: debian, fedora and CentOS are now proposed on GitHub: ocarina-docker

These docker files fetch all dependencies to compile Ocarina, along with the build_ocarina.sh build script. They allow for a seamless testing of Ocarina on multiple distributions.

EMV2 front-end contributed by ENIS July 12, 2016.

Bechir Zalila and his team from ENIS contributed an updated Behavioral annex (BA) front-end, and an Error Annex (EMV2) front-end to Ocarina. The EMV2 front-end is detailed in their paper

Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel: Development of a parser for the AADL error model annex. ICIS 2017: 233-238

Release of ocarina-build May 30, 2016.

A new project has been created on GitHub: ocarina-build

It covers all the steps to fetch, compile, test, install Ocarina.


AADL tutorial at MODELS'15, in Ottawa, Canada September 28, 2015.

Julien Delange and I will give a tutorial on AADLv2 at MODELS Conference, scheduled on September 28, 2015.

See the following link for more details MODELS’15 site, and of course register.

Tutorial materials are at the end of the page


The Architecture Analysis and Design Language (AADL) is an SAE International Standard dedicated to the precise modeling of complex real-time embedded systems, covering both hardware and software concerns. Its definition relies on a precise set of concepts inherited from industry and academics best practice: clear separation of concerns among layers, rich set of properties to document system metrics and support for many kind of analysis: scheduling, safety and reliability, performance, but also code generation. In this tutorial, we provide an overview of AADLv2 and illustrate how several analyses can be combined on an illustrative example: an ADIRU system. In this tutorial, we focus on safety analyses and also demonstrate the use of AADL to both verify and implement automatically a real-time embedded systems.


Blog post @ SEI July 22, 2015.

The SEI blog has a series of post on AADL. Joint research activities on leveraging Ocarina code generation facilities targeting ARINC653 APEX got featured in the post “AADL Code Generation for Avionics Systems”. See the following link for more details: SEI blog post