Publications and Presentations
The documents listed on this page concern tools for use with AADL.
Click the links below to access other documents about
- The AADL standard
- Annexes to the AADL standard
- Research using the AADL standard
- Experiences with AADL
- Discussion on the benefits of using MetaH
Title |
Author(s) |
Short Description |
Date |
Generation of AADL Architecture Consistent Work Products: Simulink Behavioral (pdf, 785 kb) |
Gopal Raghav, Swami Gopalswamy, Julien Delange, Jérôme Hugues |
This presentation provides demonstrations of two tool chains: (1) OSATE, IME, Simulink during the development of program architecture and behavioral, executable models; and (2) IME, Simulink, Ocarina acting on embedded software and distributed real-time embedded system models |
June 2009 |
AADL performance analysis with Cheddar: a review (pdf, 1.2 mb) |
P. Dissaux, L. Legrand, A. Plantec, F. Singhoff |
This demonstration shows the use of Cheddar in performance analysis on an AADL models. Cheddar is a tool for real-time scheduling analysis. An aim of the Cheddar project is to increase the usability of real-time scheduling theory, |
June 2009 |
Leveraging AADL for High Level Architecture Modeling, Analysis and Generation: The ASSERT Approach (pdf, 1.5 mb) |
Dr Eric Conquet, Maxime Perrotin, Cyril Colombo, Marie-Aude Esteve |
The ASSERT project is an ambitious and pragmatic to develop critical, software-dominant, real-time systems. This presentation includes a demonstration of how ASSERT tools act on models developed with AADL. It also includes a case study of the ASSERTprocess in an ATV docking sequence. |
June 2009 |
UML/MARTE to AADL transformation process (pdf, 2.3 mb) |
Skander Turki, Eric Senn, Dominique Blouin |
This presentation explores explores issues on how to achieve UML/MARTE to AADL transformation. |
June 2009 |
Generation of Applications from AADL Models using Ocarina (pdf, 2.6 mb) |
This presentation overviews AADL to Ada: Experiments in IST-ASSERT, AADL to C: Experiments in ANR to Flex-eWare,and AADL to IMA. |
June 2009 |
|
Petri Nets: A Brief Presentation (pdf, 2.7 mb) |
Fabrice Kordon |
This presentation provides the basics of petri nets. |
June 2009 |
AADL Tools (pdf, 1.5 mb) |
This update discusses the AADL toolbox supported by Ellidiss Technologies: STOOD 5.2, ADELE, LABASSERT, Cheddar, and the Multi-Agents Simulator. |
April 2009 |
|
Ocarina, an AADL-to-X generator: status and work in progress (pdf, 1.6 mb) |
Jérôme Hugues |
This presentation provides an update on Ocarina and discusses the ASSERT MPC V2 demonstrator, the ASSERT ESA demonstrator, the Flex-eWare project (merging CCM and AADL), AADL with Simulink of SCADE, and a comparison of AADL and manual coding. |
|
About TELECOM ParisTech (pdf, 1.6 mb) |
Jérôme Hugues |
TELECOM ParisTech is a leading engineering school in information technology with 1330 students and 160 professors. There are 10,000 TELECOM ParisTech engineers around the world. The presentation overviews open source projects PolyORB and Ocarina and an R&D project called Flex-Ware for merging the CORBA Component Model (CCM) with AADL. |
February 2009 |
Presentation on the Furness Toolset for the AADL (pdf, 514kb) |
Update on the the Furness toolset, a joint effort of Fremont Associates and the University of Pennsylvania under an AFOSR STTR. This presentation describes activity on the VERSA simulator. |
April 2007 |
|
Furness Toolset for the AADL (pdf, 278kb) |
Oleg Sokolsky, Duncan Clarke |
Introduces updates in Furness toolset v 1.0.3 |
January 2007 |
Furness Toolset (pdf, 177kb) |
D. Clarke (Fremont Associates) |
Support of an open source toolset |
April 2006 |
AADL to Build DRE Systems: Experiments with Ocarina (pdf, 294kb) |
Jérôme Hugues |
Discusses how AADL and Ocarina address issues in distributed real-time and embedded system development |
January 2007 |
AADL Test Suite and AADL Simulator (pdf, 808kb) |
D. Clarke (Fremont Associates) |
A summary of an AADL test suite effort and project to develop an AADL simulator |
July 2006 |
ADeS: a simulator for AADL, v0.2.3 (pdf, 393kb) |
Amélie Schyn, Romain Sezestre, Jean-François Tilman |
Presents the ADeS simulator for AADL, descirbing it as an Eclipse plug-in that is built on OSATE and Topcased offering interoperability with AADL tools. ADeS is available under an Eclipse public license. This presentation includes a demonstration of v0.2.3 of the simulator. |
April 2007 |
ADeS: a Simulator for AADL, v 0.2.2 (pdf, 187kb) |
Amélie Schyn, Romain Sezestre, Jean-Francois Tilman |
January 2007 update on ADeS, an Eclipse plug-in that is built on OSATE and TOPCASED, that provides a behavior simulation of AADL architecture |
January 2007 |
ADes: An AADL Simulator (pdf, 243kb) |
J-F. Tilman (Axlog) |
Introduction of An AADL task execution simulator with an initial working prototype |
October 2006 |
Airbus AADL Work Status (pdf, 57kb) |
P. Gaufillet (Airbus) |
Summary of AADL activities |
June 2006 |
ANDES: An Analysis-Based Design tool for wireless sensor networks using AADL (pdf, 303kb) |
Vibha Prasad |
Describes how AADL/OSATE can provide a framework for analysis of wireless sensor networks with ANDES |
January 2007 |
ASSERT Project Publications (pdf, 52kb) |
A list of 47 ASSEERT project publications, with full bibliographic information |
January 2008 |
|
Multi toolset Integration: AADL, ASN.1, SDL, SCADE, STOOD and Ocarina (pdf, 1.1mb) |
Jérôme Hugues, ENST |
Presentation on a project for applying model-driven engineering concepts to build high- |
January 2008 |
EDICT Overview (pdf, 4mb) |
Dr. Chris J. Walter, Brian LaValley (WW Technology) |
EDICT offers a vision for an integrated tool suite for the specification, design, evaluation, and deployment of high confidence systems. This vision is for full life cycle, model-driven, cross-domain analysis. |
July 2008 |
HOOD and AADL (pdf, 258kb) |
P. Dissaux (TNI) |
Introduces a mapping between the Hierarchical Object Oriented Design (HOOD) method, widely used on many European aerospace projects, and the AADL. |
2003 |
Ocarina, an AADL-to-X generator: status & work in progress (pdf, 226kb) |
Jérôme Hugues, ENST |
Reports that AADL has proved to be interesting for ENST partners (IST-ASSERT, AdaCore, Thalès, SAGEM, and MBDA) to build and generate code. Also, Ocarina enables the construction of applications from AADL models by incorporating functional code in the architecture, generating "glue code" to execute it, and ensuring code quality. Mentions that some case studies are available, but more are needed. |
April 2007 |
Generating Code from AADL Models: Code Patterns Used by Ocarina (pdf, 319kb) |
Jérôme Hugues |
Describes experience of testing AADL-generated code with Ocarina |
January 2007 |
Open Source AADL Tool Environment (OSATE) Plug-in Development Series |
P. Feiler, A. Greenhouse, and L. Wrage (SEI) |
Originally presented in a series of VTC and web meeting-based presentations on OSATE Plug-in Development during December 2004 and January 2005. The material covered in this series is available as an OSATE Plug-in Development Guide document. |
2005 |
Extending the Open Source SAE AADL Toolset (pdf, 273kb) |
P. Feiler (SEI) |
From SAE World Aviation Congress, 2004 |
October 2004 |
AADL-SPICES (pdf, 7mb) |
Vincent Seignole (Thales) |
Update on SPICES project. Provides overview of the SPICES approach, discussion of tools used; also highlights SPICES demonstrators. |
July 2008 |
SPICES: Modeling CCM with AADL (pdf, 226kb) |
Jean-François Tilman |
Points out that Spices takes advantage of features of AADL v2.0, inclusing improved provides/requires data access, new provides/requires subprogram access, and propositions to slightly extend these mechanisms (e.g., data access connections between subprogram features). Also, notes that Spices and its tools are based on OSATE, so there is need for a support of these constructs by OSATE as soon as possible. |
April 2007 |
SPICES: Project Report (pdf, 106kb) |
Pierre Dissaux of Ellidiss |
Reports on status as of April 2007 of SPICES work packages for multi-domain extended AADL (status: gathering requirements and information on AADL modelling guidelines and the behavioral annex); verification and validation techniques (status: working with AADL semantics, maing overview of tool qualification in airborne softwar- tooling activities such as AADL simulator (Axlog), interaction with OSATE and TOPCASED, and a new AADL editor called ADELE); component execution support (status: modelling CCM with AADL, concept mapping and modelling process); demonstrators (uses cases for avionics, space, and commuincations systems); and dissemination, standardization, and exploitation (through Web site and interaction with AADL subcommittee). |
April 2007 |
SPICES: Support for Predictable Integration of Mission-Critical Embedded Systems (pdf, 238kb) |
Amélie Schyn, Romain Sezestre, Jean-Francois Tilman |
Provides update on SPICES goal to extend the capacities of the microCCM component-based framework and to couple it with an AADL modeler |
January 2007 |
An Overview of the SPICES Project (pdf, 92kb) |
P. Gaufillet (Airbus) |
October 2006 |
|
STOOD for AADL: April 2007 update (pdf, 106kb) |
Pierre Dissaux of Ellidiss |
Provides road map of STOOD development, including information on a new AADL editor called ADELE |
April 2007 |
STOOD for AADL (pdf, 332kb) |
P. Dissaux (Ellidiss) |
Update on STOOD development as of March 2007 |
January 2007 |
STOOD for AADL (pdf, 3.1mb) |
P. Dissaux (Ellidiss) |
Introduces commercial tool with AADL support |
April 2006 |
TOPCASED Status (pdf, 177kb) |
Pierre Dissaux, Pierre Gaufillet |
Provides road map of TOPCASED development, noting that version 1.0.0 will be released in July 2007 |
April 2007 |
TOPCASED: Current Status (March 2007) (pdf, 115kb) |
P. Gaufillet (Airbus) |
Provides snapshot of TOPCASED project as of January 2007 |
January 2007 |
A Status Report on TOPCASED (2006) (pdf, 80kb) |
P. Gaufillet (Airbus) |
Summarizes ongoing work, integration, and coordinated release of TOPCASED and OSATE |
June 2006 |
Methods and Tools for Embedded Distribution System Timing and Safety Analysis (pdf, 205kb) |
Steve Vestal |
Focuses on methods and tools useful for timing and safety analysis in aircraft modeling |
January 2007 |
Generating Petrinets from AADL Descriptions (pdf, 189kb) |
T. Vergnaud (ENST) |
A discussion of a mapping of AADL thread semantics into Petrinets as part of Thomas Vergnaud's Ph.D. thesis |
July 2006 |
An Assumption Management Framework using AADL (pdf, 1.1mb) |
A. Tirumala (UIUC) |
An extension to AADL for managing assumption with tool implementation to demonstrate the ability to detect system problems |
April 2006 |
Data quality attributes in net-centric systems (pdf, 2.7mb) |
J. Hansson (SEI) |
An extension to AADL to support the analysis of distributed system from the perspective of security/confidentiality, data confidence, and other data flow related properties. Includes a prototype implementation of the analysis capability. |
April 2006 |