Open Source, Commercial, and Other Toolsets

Open Source Tool Solutions

  • The SAE AADL accommodates the SEI Open Source AADL Tool Environment (OSATE), which provides a low entry-cost solution based on Eclipse and the Eclipse Modeling Framework (EMF). OSATE is now jointly released with the TOPCASED tool environment. Download the current version of OSATE/TOPCASED.
  • The Furness toolset from Fremont Associates integrates and enhances several open-source tools to create a single unified environment for design, analysis and implementation of embedded systems. For instance
    • AADL to ACRS (process algebra)—formal analysis of concurrent resources
    • AADL to Charon—generation and integration of hybrid control systems
    • AADL Architecture Simulator—integrates event driven and schedule driven
    Version 1.2.0 of the Furness toolset is available at http://www.furnesstoolset.com. This release includes schedulability analysis and interactive simulation of synchronous AADL system instance models, as well as the Furness Perspective.

Commercial Tool Support

  • ElliDiss has enhanced their commercial HOOD/STOOD tool environment to support AADL. A beta release with full graphical AADL support, which includes an interface to Cheddar and OSATE, is available. Go to www.ellidiss.com and select STOOD for AADL on the download page.

Other AADL Tools

  • The SAE AADL standard suite includes an annex document that defines the AADL meta model, XML schema, and a XMI specification.
  • ADeS, the Axlog AADL simulator
  • ANDES (Analysis-based DEsign tool for wireless Sensor networks)
  • Cheddar, a free real-time scheduling tool designed to check task temporal constraints
  • Ocarina uses AADL for modeling the application as well as the middleware.
  • The Assumption Management Framework (AMF) developed by Ajay Tirumala at UIUC