[aadl]: addendum to the news

[Peter Feiler]

All,

Here are links to information about the additional tools that are being integrated with OSATE2.
I added BLESS and Ocarina to the list.
Please check with the respective leads about the latest status.

The Behavior Annex frontend (by Etienne Borde of Telecom Paristech) [https://wiki.sei.cmu.edu/aadl/images/3/3a/BA_Plugin_2012_04_18.pdf],

The BLESS Assertion extension to the Behavior Annex by Brian Larson of Multitude [https://wiki.sei.cmu.edu/aadl/images/d/da/PCApump_AADL17APR2012.pdf],

The EDICT toolset by C. Walter & Brian LaValley from WW Technology [http://www.wwtechnology.com/products/edict.htm]

UIUC ASIIST tool (Min Young) [https://wiki.engr.illinois.edu/display/realTimeSystems/ASIIST],

the SysML editor frontend of the Rockwell Collins META toolset (Darren Cofer) [https://wiki.sei.cmu.edu/aadl/index.php/RC_META], and

the prototype implementation of the Requirement Definition and Analysis Language (RDAL) annex (Dominique Blouin at UBS) [https://wiki.sei.cmu.edu/aadl/images/a/af/Requirements_annex_aadl_standards_meeting_16-19_04_2012.pdf],

an interface plug-in between Ocarina and OSATE2 by Jerome Hugues with  contributions from Philip Aldridge (UAH) and Julien Delange (ESA). The GIT repository is here : https://github.com/yoogx/osate2-ocarina .

The error model V1 frontend is available on request from Peter Feiler and will shortly be available via update site.
The Error Model V2 Annex prototype is available on request from Peter Feiler.

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