OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems

Hugues, Jérôme and Singhoff, Frank AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. (2014) In: 17th International Conference on Model Driven Engineering Languages and Systems (MODELS), 28 September 2014 - 30 September 2014 (Valencia, Spain). (Unpublished)

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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 practices: clear separation of concerns among layers, rich set of properties to docu-ment system metrics and support for many kind of analysis: scheduling, safety and reliability, perfor-mance, but also code generation.In this tutorial, we provide an overview of AADLv2 and illustrate how several analyses can be combi-ned on an illustrative example: a radar platform. In this tutorial, we also present Model-based engi-neering process allowed by AADL to both verify and implement automatically areal-time embedded system. The tutorial will be composed of four parts. Part 1 will be an introduction to AADLv2 core. In this part we will present the syntax and semantics of the AADL. Part 2 will introduce the radar case study to illustrate the use of AADL. Part 3 will address scheduling analysis. We will introduce real-time scheduling theory and who it can be used to access schedulability of AADL models. Part 4 will be dedicated to code generation. We will present how to generate code from an AADL model and how it can be run

Item Type:Other Conference
Audience (conference):International conference without published proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Université de Bretagne Occidentale - UBO (FRANCE)
Other partners > Université Européenne de Bretagne - UEB (FRANCE)
Laboratory name:
Deposited On:13 Jan 2015 16:32

Repository Staff Only: item control page