AADL tools

From AadlWiki

Jump to: navigation, search

Contents

AADL Related Tool Development by the Community

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. It embeds AADL Inspector (see below)
  • AADL Inspector: by Ellidiss. A lightweight modular model processing framework for AADL and the Behavior Annex. Version 1.1 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. [1]
  • 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. [2]
  • ASIIST: UIUC. A tool for analyzing performance in detailed hardware architectures.
  • AADL-BA-FrontEnd: TELECOM ParisTech. An editor for AADL V2 behavior specifications.
  • BLESS: Extension to AADL Behavior Annex supporting assertion and a theorem prover. Has been used to model and verify a pace maker model expressed in AADL. See for example June 2011 Presentation Contact Brian Larson (brl at multitude.net) for documentation and the tool.
  • 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.
  • Rockwell Collins META toolset: 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.
  • 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.

Personal tools