The Honeywell Technology Center is the originator of
MetaH. Experiences with the MetaH language and toolset (pdf, 495kb) have led to the development of
the AADL standard. Here are some resources that describe Honeywell’s
views on AADL:
- Use of MetaH/AADL in assessing a time-triggered and an asynchronous architecture for an avionics system as well as performing a fault tree analysis (pdf, 407kb)
- DOME (Domain Modeling Environment) Application to the AADL (pdf, 362kb)
- Hierarchical Composition and Abstraction in Architecture Models (pdf, 253kb)
- Methods and Tools for Distributed System Scheduling & Schedulability Analysis (pdf, 193kb)
The Software Engineering Institute (SEI) has provided
technical leadership in the development of the AADL, worked with MetaH,
developed a hands-on course
on Model-based Engineering with AADL, developed the open
source AADL tool environment, and worked with customers on the application
of AADL.
- "Investigation of Timing Concerns in Embedded Systems: Tool- Based Analysis of AADL Models" (pdf, 885kb)
- High-level analysis of an avionics system architecture (pdf, 279kb)
- A summary paper (pdf, 448kb) and an SEI technical report on the pattern- based high-level analysis of an avionics system architecture
- Tutorial on AADL in High Dependability Design
- The Architecture Analysis & Design Language (AADL): An Introduction
Rockwell Collins in cooperation with
the Software Engineering Institute (SEI) and US
Army AMRDEC Huntsville has done a pilot study on modeling and
analysis of an avionics systems architecture using AADL. The study involved
both a high-level analysis of the architectural approach in moving from
a cyclic executive architecture to a pre-emptively scheduled partitioned
system as well as a high-fidelity workload analysis of a switched ethernet
LAN.
- Analyzable and Reconfigurable AADL Specifications for System Integration (pdf, 954kb)
- The generated AADL model for workload analysis
- Analyzable and Reconfigurable AADL (pdf, 953kb)
- Specifications for IMA System Integration (pdf, 954kb)
The European Space Agency (ESA) in cooperation with Axlog has
identified AADL as a key technology for their future. Their Automated System
and Software Engineering for Real-Time applications (ASSERT) initiative
is now a European Union funded project totaling 15M Euros.
- An Evaluation of AADL for Space Applications (pdf, 392kb)
- Presentation on Assert (pdf, 369kb)
- Presentation on the technical approach for ASSERT (pdf, 99kb)
- Presentation on the ASSERT Project Plans (pdf, 242kb)
- The ASSERT project after one year (pdf, 89kb)
- Proof-Based System Engineering with AADL (pdf, 151kb)
- Overview of AADL syntax (pdf, 323kb)
- AADL User Workshop 2005 hosted by Axlog.
- Dependability Modeling using AADL and the AADL Error Model Annex (pdf, 889kb)
- System Dependability Evaluation using AADL (pdf, 289kb)
ElliDiss provides software modeling, design, and
analysis tools for HOOD. ElliDiss has been involved in the COTRE
effort (see also Airbus France below). ElliDiss has enhanced its
STOOD tool environment to support AADL.
- HOOD and AADL (pdf, 258kb)
- Using the AADL for Mission Critical Software Development (pdf, 118kb)
- STOOD 5 with support for AADL and UML2 (pdf, 399kb)
- COTRE support under Hood (pdf, 644kb)
- Stood and the AADL (pdf, 375kb)
Airbus France in collaboration with a number of partners
has investigated the use of AADL and UML2.0 under the COTRE (pdf, 68kb)
initiative as part of their next generation engineering process. Of particular
interest is support for modeling and analysis of concurrency behavior.
- August 2004 presentation on COTRE as an AADL Profile (pdf, 281kb)
- TOPCASED (pdf, 1.7mb)
- Behaviour annex to AADL (Cotre) (pdf, 324kb)
- COTRE Language Reference Manual (pdf, 346kb)
The Europen Aeronautic Defense and Space company (EADS
Germany) has investigated the use of AADL for modeling
the refrence architecture for the Allied Standard Avionics Architecture
Council (ASAAC) program.
- ASAAC program (pdf, 550kb)
- AADL Specification of the ASAAC Communication Architecture (pdf, 3.1mb)
- ASAAC Modeling with AADL (pdf, 3mb)
- AADL-modelling of the Plug&Play Weapon System Architecture (pdf, 622kb)
General Dynamics has investigated the use of AADL
for capturing the characteristics of a Weapons Plug'n'Play architecture.
- AADL and the Plug and Play Weapon (pdf, 433kb)
- Early Experience Applied to Aircraft-Weapon Integration (pdf, 1.9mb)
University of Pennsylvania and Fremont
Associates under STTR funding are investigating the formal
analysis of AADL models through integration of AADL with an Algebra
for Concurrent Shared Resources (ACSR)
and CHARON,
modeling language for Hybrid State Machines.
- Montana Toolset: Formal Analysis of AADL Models (pdf, 595kb)
- The Montana Toolset: OSATE Plugins for Analysis and Code Generation (pdf, 705kb)
- Process Algebraic Schedulability Analysis of Real-Time Systems (pdf, 133kb)
- A Web page with additional references about this work.
University of York is involved in a Defense & Aerospace
Research Partnership with BAE Systems and Rolls Royce with a focus
on High Integrity Real-time Systems.
- Model-Based Engineering at DARP (pdf, 2.5mb)