Title

Author(s)

Short Description

Date

Lab-STICC: Power Consumption Modelling with AADL (pdf, 4.5 mb)

Dominique Blouin, Skander Turki, Eric Senn, Saâdia Dhouib

This presentation points to a need for component libraries for power consumption modeling; AADL features component libraries. It then illustrates power consumption AADL modeling. The presentation concludes that AADL is suitable for power estimation modeling.

June 2009

Current JAXA AADL Activity (pdf, 311 kb)

Masa Katahira and Naoki Ishihama

This presentation is an update on the introduction and initial uses of AADL in the Japanese Space Agency. This activity includes training in AADL and OSATE and a 3-month trial project which concluded in March 2009. This introduction has resulted in some suggestions for AADL and OSATE, namely support for an OSATE diagram editor, support for the graphical editor as a system mode, and development of a verification tool. A JAXA AADL activity roadmap has been developed.

April 2009

Results of ASSERT and follow-up studies: technical status and exploitation activities (pdf, 955 kb)

Maxime Perrotin, Cyril Colombo, Marie-Aude Esteve

The ASSERT process proposes solutions to capture a system using user-friendly (yet formal) modeling techniques, automate repetitive and error-prone software activities, and build an homogeneous system having heterogeneous components.

April 2009

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

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

Data Driven Dependability Analysis Using AADL for Wireless Sensor Networks (pdf, 368kb)

Ting Yan, Hui Cao, Sujit R. Das, Luis Pereira

Shows why AADL is the choice for modeling wireless sensor network architecture and specifies areas where greater AADL support is needed

January 2007

AADL Avionics Case Studies and Concepts for Integrating AADL into System Development (pdf, 5.7mb)

John Mettenburg

Discusses case studies from AADL IMA System Analysis (2004), SE Tool Study (2005), AADL Integration Pilot (2006), and AADL "Forms IO" Evaluation (2006)

January 2007

Aircraft, Launcher and Weapon Interoperability Common Interfaces (pdf, 1.6mb)

D. Gregory (General Dynamics)

Explains ALWI and its needs

January 2007

21 CSI (Unique Tools for Complex Systems) and ArmaNet (AADL System of System Analysis) (pdf, 1.2mb)

Rob Mayer

Aircraft-level AADL simulation

January 2007

FPGAs: High Assurance through Model Based Design (pdf, 513kb)

Yves LaCerte

Updates FPGAs: Quality through Model-Based Design and Implementation (pdf, 862kb)

January 2007

Developing AADL Models for Control Systems: A Practitioner's Guide (pdf, 653kb)

J. Hudak, P. Feiler (SEI)

Illustrates the development of a control system model

October 2006

NATO ALWI-CI Study: The role of AADL in Weapons Plug'n'Play (pdf, 1.3mb)

D. Gregory (General Dynamics)

A presentation of the NATO ALWI-CI study and the role of AADL and XUML, with examples

July 2006

AADL to ARINC653: Generating Configuration Details from a Model (pdf, 107kb)

S. Hickmann (Honeywell)

A presentation of a Honeywell-funded effort to define a ARINC653 mapping to AADL. This work is ongoing with a series of telecon sessions that anyone is welcome to participate in

July 2006

Component Interaction and AADL Modeling (pdf, 103kb)

O. Sokolsky (Univerity of Pennsylvania)

Experiments in modeling interaction behavior in AADL

July 2006

Model and Verify the architecture of a Satellite Central Flight Software (pdf, 1.2mb)

D. Thomas (EADS Astrium)

A discussion of the experience with AADL in modeling three levels of abstraction of satellite flight software

July 2006

FPGAs: Quality through Model-Based Design and Implementation (pdf, 862kb)

Y. LaCerte (General Dynamics)

A discussion of an approach to improving the quality of FPGAs through architecture modeling and analysis

June 2006

Methods and Tools for Embedded Distributed System Timing and Safety Analysis (pdf, 224kb)

S. Vestal (Honeywell)

A presentation on an experience in model-based analysis of avionics systems with focus on timing analysis of multiple architecture styles and fault tree analysis

April 2006

Security Extensions Note (pdf, 188kb) and presentation (pdf, 2.6mb)

M. Eby (Vanderbilt University)

A discussion on the use of AADL for security in networked embedded systems and integration of security analysis support into embedded systems development tool chain

April 2006

Architecture for Physical Plant Models (pdf, 908kb)

S. Gopalswami (Emmeskay) and K. Butts (Toyota)

A discussion of model-based development support for physical plant models and control systems and its relationship to AADL

April 2006

Dassault Aviation AADL Experimentation Feedback (Part1 (pdf, 537kb)and Part2(pdf, 373kb)

This is a two-part presentation of Dassult's experience in using AADL for modeling of a mission system.

January 2006

Performance Modeling and Analysis of an Avionics System Architecture (pdf, 2mb) in its tool chain.

B. O'Connell (Draper Labs)

A summary of a Draper IR&D project; outlines performance issues to be addressed through model-based analysis that includes AADL

January 2006

Service Oriented Architectures (pdf, 127kb)

O. Sokolsky (Univerity of Pennsylvania)

A discussion of an approach for modeling service oriented architectures in AADL

January 2006

AADL and MDA: Early Experience Applied to Weapons Integation (pdf, 3.5mb)

Y. LaCerte (General Dynamics)

A discussion on the use of MDA and AADL in system modeling in support of weapons integration

February 2005

System Dependability Evaluation using AADL (pdf, 281kb)

Ana Rugina (LAAS)

Presents a stepwise approach for system dependability modelling and evaluation, using AADL and GSPNs (Generalised
Stochastic Petri Nets)

2005

AADL User Workshop 2005

Compilation of presentations and papers

2005

Using the AADL for Mission-Critical Software Development(pdf, 118kb)

P. Dissaux (TNI)

A discussion on the use of AADL for mission-critical systems and its compatibility with HOOD

January 2004

Distributed Reconfigurable Avionics Architectures (pdf, 778kb)

E. Strunk, et al. (University of Virginia)

Outlines an architecture for assured reconfiguration, the principles of reconfiguration assurance, and the accompanying cost and safety arguments

2004