[aadl]: AADL news

[Peter Feiler]

Dear all,

OSATE 1.5.2 has been released.  It addresses a race condition problem 
when working with large models.

A Guide to Error Modeling is available as SEI Technical Report.  We have 
also made available a plug-in to OSATE that provides processing of error 
model annotations to AADL models based on the Error Model Annex. 
Honeywell and LAAS have worked on interfacing fault tree analysis 
(http://crisys.cs.umn.edu/icse-workshop/Presentations/4Joshi.pdf) and 
reliability analysis 
(http://www.actapress.com/PaperInfo.aspx?PaperID=28906, 
http://www.laas.fr/IFIPWG/Workshops&Meetings/49/researchreports/03%20kanoun.pdf).

At ICSE 2007 there was the First International Workshop on Aeorspace 
Software Engineering (AeroSE2007) with a full day of AADL and 
architectural model checking 
(http://crisys.cs.umn.edu/icse-workshop/Program.htm).

In July there was the UML&AADL 2007 Workshop, the second such workshop.  
The presentations are available at http://aadl.enst.fr/Program.html.

The next AADL standards meeting will take place in early Oct 2007 - see 
http://www.aadl.info/team/meetings.html for details.

Peter Feiler