Blog post @ SEI
The SEI blog has a series of post on AADL. Joint research activites on leveraging both SPARK2014 and AADL got featured in the post “Code Generation with AADL: A State-of-the-Art Report”, see the following link for more details: SEI blog post
Related Posts
- Blog post @ SEI
- Ocarina licence update to GPLv3 + runtime exception
- Summer of Code in Space 2015
- Ocarina's documentation now on readthedocs.org