Presentation
Features
- Support AADL Behavior Annex Std v0.94 (last)
- Model parser
- Consistency checker
- Data type checker
- Syntax highlighting
- Example wizard
Documentation
- Meta model: UML class diagrams
- AADL-BA-FrontEnd Javadoc: http://aadl.enst.fr/javadoc/aadlba/1.0.0
- AADL-BA-FrontEnd example wizard
- AADL-Utils Javadoc: http://aadl.enst.fr/javadoc/aadlutils/1.0.0
- OSATE2 Javadoc: http://aadl.enst.fr/javadoc/osate/2.0.1
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).