Toolsets that Support the SAE AADL

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 OSATE version.
  • 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. 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 the commercial HOOD/STOOD tool environment to support AADL.
  • There is a UML tool environment extension based on UML profile (ILogix, Rational, Artisan).

Other AADL Tools

  • A trial version of ADeS, the Axlog AADL simulator, is available. More information and download are available from Axlog.
  • ANDES (Analysis-based DEsign tool for wireless Sensor networks) is built on top of AADL and OSATE for modeling and analyzing wireless sensor network systems before deployment. Currently ANDES has analysis plug-ins for target tracking analysis and communication scehdulability analysis wich work on AADL system models with differing levels of detail. The ANDES tool has been developed at the University of Virginia by professors Sang H. Son and John A. Stankovic, in a collaboration project with SEI.
  • Cheddar is a free real-time scheduling tool, designed to check task temporal constraints. For more information and the latest release, visit the Cheddar Web site.
  • Ocarina, an effort by ENST in France to develop verifiable distributed middleware, uses AADL for modeling the application as well as the middleware.
  • The Assumption Management Framework (AMF) (pdf, 770kb) was developed by Ajay Tirumala at UIUC as part of his Ph.D. thesis.