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.
- Part 0: Outline
- Part 1: Introduction to AADL
- Part 2: Case Study
- Part 3: ARINC653, Data and Code generation annexes
- Part 4: Complexity analysis
- Part 5: Safety Analysis
- Part 5: Conclusion
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