[aadl]: Behavior Annex plug-in integration in OSATE

Julien Delange jdelange at sei.cmu.edu
Wed Oct 30 10:38:06 EDT 2013


Dear all,

We are very glad to announce the availability of the Behavior Annex plug-in in the current development branch of OSATE. The Behavior Annex plugin is now hosted on github and fully integrated with our nightly testing version. It will be available with the next stable that will be published after our next AADL meeting. The development of the Behavior Annex plug-in is led by TELECOM ParisTech, a very active contributor to the AADL standard. We are very thankful for this contribution to the OSATE toolset and hope it will improve the toolset and bring interesting features for OSATE users. If you have any question regarding the Behavior Annex, please contact TELECOM ParisTech directly (or send an e-mail on this list).

We encourage you to try and test these new features. You can learn more about the Behavior Annex plug-in on the TELECOM ParisTech website on http://penelope.enst.fr/aadl/wiki/Projects#AADL-BA-FrontEnd. Also, the latest testing release of OSATE can be found on http://www.aadl.info/aadl/osate/testing/
Also, you might be interested by the following information:

-          Code repository of the Behavior Annex plug-in on GITHUB: https://github.com/osate/osate2-ba

-          Bug tracker for the Behavior Annex: https://github.com/osate/osate2-ba/issues

-          Javadoc of the AADL Behavior Annex FrontEnd : http://aadl.enst.fr/javadoc/aadlba/1.0.0/

-          Javadoc of AADLutils : http://aadl.enst.fr/javadoc/aadlutils/1.0.0/

-          Class diagrams of the Behavior Annex: https://github.com/osate/osate2-ba/tree/master/org.osate.ba/model (all PNG files)



Best regards,


-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list