AADL-BA-FrontEnd for OSATE 2 is an editor for AADL V2 behavior specifications, integrated and distributed with the reference AADL v2 editor: OSATE 2 (Open Source AADL Tool Environment) developed by the SEI. The behavior specification interpreted by this editor is defined in the Behavior Model Annex of the AADL V2 standard. This annex was designed to model the behavior of AADL components using state machines. It defines syntactic, semantic, and consistency rules to ensure a given behavior specification is meaningful. The AADL-BA-FrontEnd plug-in checks that behavior specifications follow these rules. It also implements a data type checker that verifies (according to strict rules close to the Ada type checking) the consistency of data manipulations (assignments, comparison, etc.).
An AADL V2 specification using the AADL-BA is given in the multi-modal ping-pong example.
Should you need any further information about TELECOM Paristech Eclipse plugins, included AADL-BA-FrontEnd, please do not hesitate to contact us at aadl [minus] eclipse [at] listes [dot] telecom [minus] paristech [dot] fr