AADL Standards Meeting

From July 25 to 28, our group hosts the Summer meeting of the AADL Standardization Committee. The Architecture Analysis and Design Language (AADL) is a modeling language for the specification, analysis, automated integration and code generation of safety-critical systems. Amongst others, it is being used in our COMPASS project for designing on-board computer-based aerospace systems.