[aadl]: FW: News from Toulouse - corrected links

[Peter Feiler]

Hello everyone,

Sorry about the one link not working.

We had a good AADL standards meeting in Toulouse last week.
The Data Modeling Annex, the ARINC653 Annex, and the Behavior Annex have been approved by the committee.

Presentations from the meeting are available at https://wiki.sei.cmu.edu/aadl/index.php/May_2010_User_Day

ERTS 2010 also took place last week. Eight AADL-related papers were presented at the conference. You can find the papers at https://wiki.sei.cmu.edu/aadl/index.php/2010_Publications (corrected link)
or at the ERTS 2010 website http://www.erts2010.org/


Peter Feiler

PS.  Brian Larson presented his work on an annex for proof-based analysis of behavior. This work is a compatible extension of the Behavior Annex. You can find information at https://wiki.sei.cmu.edu/aadl/index.php/May_2010_User_Day
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20100525/d5bcd712/attachment.html