[aadl]: news on AADL activities

[Peter Feiler]

Dear all,

Our last standards meeting was in Minneapolis in April. We had an interesting set of presentations on work being done by various groups with AADL. See https://wiki.sei.cmu.edu/aadl/index.php/April_2012_User_Day for details.

The next standards meeting will be in Phoenix AZ Oct 29-Nov 1 2012, in conjunction with the SAE Aerospace Electronics and Avionics Systems Conference (http://www.sae.org/events/aeas/).

In the summer a number of us are participating in a Dagstuhl seminar on "Architecture-Driven Semantic Analysis of Embedded Systems" (see http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12272).

A book on AADL titled "Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language" by P. Feiler & D. Gluch will be available in paper and electronic form under the SEI Series of Addison Wesley with a publication date of late Sept/Oct 2012.

We have maintenance release 1.5.9 of Osate. It works with Eclipse 3.7. For details see https://wiki.sei.cmu.edu/aadl/index.php/OSATE_159.

We continue to have snapshot releases of Osate2. You can get a full installation or add Osate2 to an Eclipse installation via an update site. See
https://wiki.sei.cmu.edu/aadl/index.php/Osate_2 for details.

There is a first release of a graphical instance model viewer (http://code.google.com/a/eclipselabs.org/p/instance-model-viewer/).

The Adele graphical editor is being updated to allow for two-way migration between text and graphics (https://wiki.sei.cmu.edu/aadl/index.php/Adele_Graphical_Editor).

Other tools are being migrated to Osate 2.
The Behavior Annex frontend (by Etienne Borde of Telecom Paristech), Error Model annex V1 front-end (Feiler), the UIUC ASIIST tool (Min Young), the SysML editor frontend of the Rockwell Collins META toolset (Darren Cofer), and the prototype implementation of the
Requirement Definition and Analysis Language (RDAL) annex (Dominique Blouin at UBS) are being updated to Osate 2.
Similarly, a prototype implementation of the Error Model V2 Annex is in progress to exercise and validate the proposed revision of the Error Model V2.

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