I’m part of the SAE AS2-C committee on the AADL since 2006, and part of its steering committe since 2010. I wrote several papers and tools around this langage, including Ocarina and its associated backends.
I took part in the redaction of the AADLv2 document, now AS5506B, and the various annexes published since 2009 (including the behavioral annex and the ARINC653 annex), both as contributors and reviewers of the documents.
I co-authored the Data modeling annex document, now part of the AS5506/2 standard. I’m currently focusing on the redaction of the code generation annex, and on the AADL constraints language derived from the REAL annex language.
The main objective of this website is to provide a central place for the various AADL-related projects I’m involved in, but also to provide tutorials to the language.