[aadl]: news from the Paris AADL meeting in June

[Peter Feiler]

Dear all,

We had a successful standards meeting in Paris with lots of presentations and active work on the Requirements Definition and Analysis Annex, the revision of the Error Model Annex, the completion of the Code Generation Annex, and the consideration of BLESS as a verification Annex.

See https://wiki.sei.cmu.edu/aadl/index.php/June_2011_User_Day for details from the meeting.

We are actively working on OSATE for V2 with an expected release in July.

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