OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next

Hugues, Jérôme AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next. (2011) In: The Robotics and Embedded Systems Seminar (RESS), 19 April 2011 - 2011 (Berkeley, United States).

(Document in English)

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

Official URL: http://embedded.eecs.berkeley.edu/seminar/#hugues


The SAE Architecture Analysis and Design Language is a design-by-committee standard promoted to help the space and avionics domain. It now extends to a much broader audience, and this language is used in many domains related to Cyber-Physical Systems. AADL is an ADL promoted in the context of Model-Driven Engineering which has now gained a significant momentum in the industry. Models are a valuable asset that should be used and preserved down to the construction of the final system; modeling time and effort should be reduced to focus directly on the system and its realization. Yet, validation & verification may require many different analysis models, involving a strong theoretical background to be mastered. The SAE AADL has been defined to match the concepts understood by any engineer (interface, software or hardware components, packages, generics). From these concepts, typical behavior elements (scheduling and dispatch, communication mechanisms) have been added using both formal and informal description, always bound to theoretical frameworks for V&V. In parallel, the AADL allows one to attach user-defined properties or languages for specific analysis. This enables the application of many different techniques for the analysis of AADL models, among which schedulability, safety, security, fault-propagation, model-checking, resource dimensioning, etc.; but also code generation. In this talk, we give an overview of the AADL, and discuss how to use its features to analyse in depth a CPS case study.

Item Type:Other Conference
Audience (conference):International conference without published proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Laboratory name:
Deposited On:03 May 2011 09:57

Repository Staff Only: item control page