ABSTRACT
Aviation systems, a safety-critical complex subset of cyber-physical systems (CPSs), require a rigorous development process that includes validated requirements, careful design and implementation of functions, and certification/qualification before its release. While these systems have strong development practices and requirements, the number of collocated and interacting functions has increased significantly, driving the cost and risk of integration up exponentially. Increased functionality has also driven the use of integrated modular avionics (IMA), a much more complex style of architecture. Among existing model-based engineering approaches, the Architecture Analysis and Design Language (AADL) has been demonstrated in several projects to support these different aspects of the development of avionics systems, either design, validation, implementation, or recent research in certification/verification. In particular, the AADL has a dedicated additional document to capture IMA architecture with respect to their requirements (such as time and space isolation).
