[aadl]: AADL news

[Peter Feiler]

Dear all,

There is still an opportunity to submit position papers to the Third Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) Workshop. See http://www.analyticintegration.org/ for details. Please contact the workshop chair.

The V2.1 revision of AADL has been published by the SAE. It reflects errata to AADL V2 that required review and approval by the committee. See https://wiki.sei.cmu.edu/aadl/index.php/Standardization#SAE_AADL_AS5506B for a summary of the changes.
Visit http://works.sae.org if you would like additional details. To purchase this document, visit http://www.sae.org/technical/standards/AS5506B.

Tool support (RDALTE) for the draft Requirements Definition and Analysis Language (RDAL) Annex is available for OSATE 2. See https://wiki.sei.cmu.edu/aadl/index.php/RDALTE#Requirements_Definition_and_Analysis_Language_Tool_Environment for details.

An OSATE2 plugin for Ocarina and the REAL constraint language is available. See https://wiki.sei.cmu.edu/aadl/index.php/Ocarina for details.

Coming up by the end of September:


*         A release of OSATE2 that supports AADL V2.1.


*         A book covering AADL V2.1 titled "Model-based Engineering with AADL" by Feiler and Gluch.  See http://www.informit.com/store/product.aspx?isbn=9780321888945 for details.

Coming up late October:


*         SAE 2012 Aerospace Electronics and Avionics Systems (AEAS) Conference http://www.sae.org/events/aeas/ which includes presentations from a number of AADL users

*         SAE AADL meeting in Phoenix AZ. This is an open meeting. Co-located with the AEAS conference.

Peter

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