close Warning: Can't synchronize with repository "(default)" (Couldn't open Subversion repository /var/repositories/svn/aadl: SubversionException: ("Failed to load module for FS type 'fsfs'", 160033)). Look in the Trac log for more information.

AADL-BA-FrontEnd Presentation


  • Support AADL Behavior Annex Std v0.94 (last)
  • Model parser
  • Consistency checker
  • Data type checker
  • Syntax highlighting
  • Example wizard


OSATE 2 integration

We provide this AADL-BA editor as an OSATE 2 (Open Source AADL Tool Environment) plugin. AADL behavior specifications can thus be written and checked inside OSATE 2 which is the reference development environment for AADL V2.


AADL-BA-FrontEnd is already shipped with OSATE2. Developpers can find the AADL-BA-FrontEnd sources at the OSATE2 git repository (

Contact us

For any further information about AADL-BA-FrontEnd, contact us at aadl [minus] eclipse [at] listes [dot] telecom [minus] paristech [dot] fr

Last modified 5 years ago Last modified on 11/20/13 14:00:42

Attachments (2)

Download all attachments as: .zip