[aadl]: User Day and Committee Feb 2013 material is available

[Peter Feiler]

Dear all,

We had a productive meeting in Valencia. It looks like we will be going into informal ballot with the Error Model V2 Annex, the Requirements Annex, and the Code Generation Annex by the April 2013 meeting.

The presentation material from the Feb 2013 AADL User day and committee meeting in Valencia is available on the AADL Wiki at https://wiki.sei.cmu.edu/aadl/index.php/Feb_2013_User_Day.
It includes a streaming version of the tutorial on the use of the Requirements Annex tool RDALTE by Dominique Blouin with the Isolette example from the FAA Requirement Engineering Handbook. You can download the tool as OSATE2 plugin - it includes the example.

We have also started a list of errata with respect to the AADL V2.1 standard. It can be found at https://wiki.sei.cmu.edu/aadl/index.php/SAE_AADL_AS5506B_Errata.
Please inform us of additional ones (email to me).

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