AADL-BA-FrontEnd: Presentation

Presentation

AADL-BA-FE-OSATE2

Features

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

Documentation

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.

Installation

The AADL-BA-FrontEnd is already shipped with OSATE2.
Developpers can find the AADL-BA-FrontEnd sources at the OSATE2 git repository (https://github.com/osate/osate2-ba).