[aadl]: news on AADL

[Peter Feiler]

Hello everyone,

We had a good standards meeting in Toulouse. Presentations from the meeting are available at
https://wiki.sei.cmu.edu/aadl/index.php/AADL_User_Days
on the public AADL Wiki (https://wiki.sei.cmu.edu/aadl).
Progress has been made on the revision of the Error Model Annex (for a tutorial see https://wiki.sei.cmu.edu/aadl/images/1/13/ErrorModelOverview-Sept222011-phf.pdf). Please contact me if you want a copy of the draft document or experiment with a prototype implementation of the frontend.

The AADL Requirements Annex has a prototype tool that has been exercised on a sample problem from the FAA Requirements Engineering Handbook (http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-08-32.pdf). See Dominique's presentation for details (https://wiki.sei.cmu.edu/aadl/images/6/68/Requirements_annex_aadl_standards_meeting_18-21_10_2011_final.pdf).

In other News:

On Nov 29 the 2nd Workshop on Analytical Virtual Integration of Cyber-Physical Systems (AVICPS 2011<http://www.analyticintegration.org/>) takes place with good representation from the AADL community. It is held in Vienna as part of the RTSS 2011 program.

Work on OSATE V2 continues. We are now using Eclipse XText for the implementation of the AADL V2 frontend. For details on how to get access to Snapshot releases or access to sources for integration of your tools see https://wiki.sei.cmu.edu/aadl/index.php/Osate_2

Peter

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