OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems

Hugues, Jérôme and Singhoff, Frank AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. (2014) In: High-Integrity Language and Tools Conference 2014, 18 October 2014 - 21 October 2014 (Portland, United States). (Unpublished)

[img]
Preview
(Document in English)

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

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 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:
Statistics:download
Deposited By: Jerome Hugues
Deposited On:13 Jan 2015 15:11

Repository Staff Only: item control page