Blog post @ SEI
The SEI blog has a series of post on AADL. Joint research activites on leveraging Ocarina code generation facilities targetting ARINC653 APEX got featured in the post “AADL Code Generation for Avionics Systems”. See the following link for more details: SEI blog post
Related Posts
- Ocarina licence update to GPLv3 + runtime exception
- Summer of Code in Space 2015
- Ocarina's documentation now on readthedocs.org
- Blog post @ SEI