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:

graphic
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.

graphic
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.

graphic  graphicgraphic
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.

graphic
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.

graphic  graphic
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.

graphic
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.


graphic
General Dynamics has investigated the use of AADL for capturing the characteristics of a Weapons Plug'n'Play architecture.

graphic  graphic
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.

graphic  graphic
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.