[aadl]: presentations from the Jan 2012 standards meeting

[Peter Feiler]

Hi everyone,

Material from the AADL Standards Meeting User Day is up on the Wiki at https://wiki.sei.cmu.edu/aadl/index.php/Jan_2012_User_Day

The presentation by Dominique Blouin is quite interesting as he shows how the Requirements Engineering 11 step process form the FAA REM handbook written by Steve Miller and co (http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-08-32.pdf) is supported by the Requirements Annex and their tool.

Rockwell Collins has made available a tool set using SysML as graphical front-end to AADL. Darren Hofer gave a presentation and demo at the user day (https://wiki.sei.cmu.edu/aadl/images/5/54/RC-META-SysML-AADL.pdf).
The tools are available at https://wiki.sei.cmu.edu/aadl/index.php/RC_META.

We also had a tutorial on the use of the TASTE tool chain from Julien Delange. See https://wiki.sei.cmu.edu/aadl/images/1/17/TASTE-aadl-tutorial-instructions.pdf for details.

This week we will release a new snapshot of OSATE V2. These releases are available on http://gforge.enseeiht.fr/projects/osate2/
For additional details about getting OSATE V2 see https://wiki.sei.cmu.edu/aadl/index.php/Osate_2

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