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. (2013) In: ESWeek'2013 - Embedded Systems Week, 29 September 2013 (Montréal, Canada). (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 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 will provide an overview of AADLv2 and illustrate how several analyses can be combined on an illustrative example: a UAV platform. The tutorial will illustrate the two key dimensions of AADL: 1) a modeling process, following a system engineering approach: elicitation of high-level requirements and corresponding architecture, refinements and then full implementation, 2) connection with various analysis down and up the traditional engineering V-cycle. The tutorial will cover both language and state-of-the- art tools: OSATE2, Cheddar and Ocarina and connections with other tools like Simulink, OpenFTA. We will illustrate how to merge various modeling and analysis concerns using AADL: validation of mission-level objectives, high-level system validation, verification of schedulability and reliability and then discuss alternatives to generate part of the system.

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:04 Apr 2014 13:34

Repository Staff Only: item control page