AADL tutorial at MODELS'15, in Ottawa, Canada
Julien Delange and I will give a tutorial on AADLv2 at MODELS Conference, scheduled on September 28, 2015.
See the following link for more details MODELS’15 site, and of course register.
Tutorial materials are at the end of the page
Abstract
The Architecture Analysis and Design Language (AADL) is an SAE International Standard dedicated to the precise modeling of complex real-time embedded systems, covering both hardware and software concerns. Its definition relies on a precise set of concepts inherited from industry and academics best practice: clear separation of concerns among layers, rich set of properties to document system metrics and support for many kind of analysis: scheduling, safety and reliability, performance, but also code generation. In this tutorial, we provide an overview of AADLv2 and illustrate how several analyses can be combined on an illustrative example: an ADIRU system. In this tutorial, we focus on safety analyses and also demonstrate the use of AADL to both verify and implement automatically a real-time embedded systems.
Materials
- Part 0: Outline
- Part 1: Introduction to AADL
- Part 2: Case Study
- Part 3: ARINC653, Data and Code generation annexes
- Part 4: Complexity analysis
- Part 5: Safety Analysis
- Part 5: Conclusion