Open Source Toolsets

Open Source AADL Tool Environment (OSATE)

Download the latest release of the OSATE-TOPCASED tool environment.

The SEI has developed OSATE as a set of plug-ins on top of the open-source Eclipse platform. The set of plug-ins provides a toolset for front-end processing of AADL models. AADL models can be maintained as textual AADL files or as XML-based AADL model files.

The set of plug-ins consists of

  • a syntax-sensitive text editor with syntax highlighting, popup help
  • a parser and semantic checker for textual AADL with conversion into AADL XML and error reporting integrated with the text editor
  • an AADL XML viewer and editor
  • a syntax-sensitive AADL object model editor with drag-and-drop as well as undo capabilities, and an AADL properties viewer
  • an AADL XML to textual AADL converter (AADL unparser)
  • multifile support for both textual and XML-based AADL model files
  • autobuild support through an AADL nature to automatically update XML-based
  • AADL model files after changes to textual AADL files and vice versa
  • team support through a version control system interface

The OSATE frontend has been augmented with an AADL to MetaH converter and several analysis plug-ins for performing various architecture consistency checks and distributed resource allocation and scheduling analysis.

Furness Toolset from Fremont Associates

This toolset 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 athttp://www.furnesstoolset.com. This release includes schedulability analysis and interactive simulation of synchronous AADL system instance models, as well as the Furness Perspective.

Toolkit In OPen source for Critical Applications &
SystEms Development (TOPCASED)

The TOPCASED tool environment (jointly released with OSATE) includes these features, in addition to a graphical AADL editor:

  • graphical editor generator for Ecore-based model descriptions
  • graphical Ecore editor
  • graphical UML2 editor
  • graphical SAM editor