AADL Related Tool Development by the Community
- OSATE 2 Releases of OSATE 2 for AADL V2.
- ALISA (Architecture-Led Incremental System Assurance) capability of OSATE, which is part of Release 2.2.1 or later. See ALISA Tutorial. See also an ALISA paper.
- Ocarina a command-line tool for AADL analysis and code generator.
- IMV, the Instance Model Viewer plug-in that provides the ability to have a graphical representation of an AADL instance model. Check the User Guide as well as the code tree
- The Eclipse integration of Ocarina, made by Jérôme Hugues and Philip Alldredge. You can check the git repository here
- OSATE 2 Analysis plug-ins now includes reimplemented latency analysis with new features
- OSATE 2 ARINC653 framework
- Instance Model Viewer
- The Constraint Language
- MASIW Framework - an open source Eclipse-based IDE for development and analysis of AADL models in textual and graphical form.
AADL Tools Summary Paper
Tool Integration with AADL: a paper summarizing tool integration activities regarding AADL and OSATE.
Please, check AADL User Days for the latest reports on tools by the AADL community.
Commercial AADL Tool Support
- STOOD: by Ellidiss. A development tool for safety-critical software systems that provides graphical editors for HOOD and AADL.
- AADL Inspector: by Ellidiss. A modular model processing framework for AADL and the Behavior Annex. Version 1.4 includes:
- Static rules checkers (AADL standard Naming, Legality and Consistency rules)
- Schedulability analysis with Cheddar v3
- Dynamic simulator with Marzhin
- Customizable plugins and command line options for an easy integration within industrial development environments
AADL and OSATE based Tool Chains
- Telecom ParisTech AADL Corner has the Behavior Annex Frontend for OSATE2, RAMSES Model Transformation support for OSATE 2,
- TASTE: European Space Agency. Successor project to ASSERT. The website includes a download of the TASTE toolchain. This project is the outcome of the European ASSERT project.
- COMPASS: Correctness, Modeling and Performance of Aerospace Systems COMPASS project and tool chain.
- EDICT Tool set: The EDICT Tool Suite is composed of EDICT-Core tools and a set of domain extensions for system error handling and dependability analysis, system security analysis and system safety analysis for the placement of on-line error detection and toleration mechanisms to mitigate safety concerns. The EDICT Tools leverage open standard modeling languages (AADL) and deployment platforms (Eclipse) in order to provide an interoperable, flexible and extensible tool suite.
- TOPCASED: Airbus et.al. An open source tool environment including a graphical editor generator. www.topcased.org
- Cheddar: U. Brest. A resource scheduling analysis tool. 
- ACTIVE (Analysis contraCT Integration VErifier) by ISR CMU is a tool and OSATE2 plugin for integrating AADL analyses through contracts written in a dedicated annex.
- Adele: by Ellidiss Software. Pierre Dissaux. A graphical editor for AADL V2 in OSATE2.
- ADeS: Axlog Ingénierie. An AADL simulation tool based on OSATE. 
- ASIIST: UIUC. A tool for analyzing performance in detailed hardware architectures.
- AADL-BA-FrontEnd: TELECOM ParisTech. An editor for AADL V2 behavior specifications. Part of OSATE 2.2.1 release.
- BLESS: Behavior Language for Embedded Systems with Software; an extension to AADL Behavior Annex supporting assertion and a proof tool that transforms behaviors annotated with assertions to be proof outlines into formal proofs. See BLESS for documentation, examples and the plugin to OSATE.
- AADL & BIP: by Verimag. A plug-in to interface AADL models with their Behavior Interaction theory (BIP). Example models.
- Maude and AADL: by U. Leicester. MOMENT2-AADL is an extension of MOMENT2 that enables representation of AADL models as terms in Maude, and thereby it enhances the application of Maude-based formal analysis techniques to AADL specifications.
- Power Consumption Analysis Toolboxby Lab-STICC, developed under SPICES. Integrated with AADL OSATE.
- RDALTE: Requirements Modeling and validation Tool for AADL: by UBS/Lab-STICC. Supports the draft Requirements Definition and Analysis Language Annex for AADL. See also April 2011 Presentation
- RT-Edge: Environment for Embedded System development and verification. See presentations by Serban Gheorghe at AADL User Days over the last year (search for Serban in the search bar on the left). June 2011 presentation.
- RC META: Eclipse-based tools for translation, transformation, and verification of system design models. It includes a SysML to AADL translator as well as a constraint language LUTE, a close cousin to Telecom ParisTech's REAL.
- AGREE: The Assume Guarantee REasoning Environment (AGREE) is a compositional, assume-guarantee-style model checker for AADL models developed by Rockwell Collins and University of Minnesota. Part of OSATE 2.2.1 release.
- Resolute: Resolute is a language and tool for developing architectural assurance cases in AADL.Part of OSATE 2.2.1 release.
- MASIW: a Modular Avionics Systems Integrator Workplace framework for development and analysis of AADL models.
Feel free to update this page with information about your AADL related tool activity.