[aadl]: Dates for the AADL meeting relative to conference

[Lewis, Bruce AMRDEC]

Dear All,

The AADL meeting in Phoenix is Monday through Thursday afternoon - but
we will spend time in the conference for the sessions that are related
to AADL. The AADL meeting will be from Oct 29 to Nov 1.  The conference
starts a day later, Oct. 30.

Bruce



-----Original Message-----
From: sae-aadl-users-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.edu
[mailto:sae-aadl-users-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.e
du] On Behalf Of Peter Feiler
Sent: Tuesday, June 26, 2012 7:15 AM
To: sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: addendum to the news

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_stand
ards_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
<blockedhttps://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