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)