Title

Author(s)

Short Description

Date

From AADL to code, and code to AADL (pdf, 160 kb)

This presentation describes the data modeling and programming language annex documents for AADL. The objectives of these documents are to provide guidelines to integrate code in a full AADL runtime, permit code generation as part of the AADL runtime and helper functions, and integrate existing code seamlessly.

June 2009

Error Model Annex Revision (pdf, 309 kb)

Peter Feiler

This document provides an update on plans and activities regarding the updating of the error model annex for AADLv2. The improvements on this annex stem from experience such as those reported in error model errata, system-software co-engineering and performability (U. Aachen,.Thales. ESA), dependability analysis (Armed Forces, U, Munich), and fault impact analysis (SEI, LIP6).

June 2009

Dependability Modeling with the Architecture Analysis and Design Language (AADL)

Peter Feiler and Ana Rugina

This technical report explains the capabilities of the Error Model Annex and provides guidance on its use in modeling dependability aspects of embedded system architectures

July 2007

Annex Behavior Language Compliance and Application Program Interface (pdf, 301 kb)

AADL Subcommittee

Text of the behavior annex document as of March 30, 2007

April 2007

Overview of the Error Modeling Annex for the Architecture Analysis and Design Language (pdf, 361kb)

Steve Vestal

Details the error modeling annex for AADL made available in June 2006

January 2007

Coupler Contracts Annex (pdf, 348kb)

Dionisio de Niz

Describes goals for annex (separation of concerns, syntax checking, and extended semantics checking) and construct (separate construction and reuse of nonfunctional patterns)

January 2007