[aadl]: news from Sevilla Spain

[Peter Feiler (phf)]

Dear all,

In January 2008: ERTS2008 (www.erts2008.org) with 12 AADL-related talks. 
See their website for the program and proceedings.

In Spring 2008: the ASSERT project completed its EU funded three year 
project, led by ESA. AADL was a key technology in this project. For a 
list of publications by ASSERT see 
www.aadl.info/documents/AssertPublications2008.pdf.

In April 2008: UML&AADL’2008 Workshop in Belfast with 15 papers related 
to AADL and UML.
See http://www.artist-embedded.org/artist/Programme,1198.html for the 
program and presentation slides.
The papers were published in the proceedings of ICECCS 2008 (See 
http://www.compeng.ulster.ac.uk/events/ecbs2008/ for details).

In April 2008: AADL Standards meeting in Sevilla, Spain.
* The committee agreed to proceed with the first formal ballot of the 
draft AADL V2 by June 2008.
* The committee worked with Madeleine Faugere from Thales on resolving 
remaining issues in the AADL Guidance Annex of the MARTE document.
* In a second collaborative meeting between the AADL committee and 
SPICES a mapping of ARINC653 to AADL was discussed.

May 14-15, 2008: A Model-based Engineering with AADL offering by the SEI 
in Frankfurt Germany.

June 25-26, 2008: A Model-based Engineering with AADL offering by the 
SEI in Pittsburgh, PA.

July 28-31, 2008: The next AADL committee meeting will take place in 
Detroit MI with a AADL User Day with the automotive industry on the 
first day.

The Aerospace Vehicle Systems Institute (AVSI) System Architecture 
Virtual Integration (SAVI) project is utilizing the AADL in its first 
pilot project of model-based virtual integration for incremental system 
validation. Boeing, Lockheed Martin, Airbus, BAE Systems, GE Aerospace, 
Rockwell Collins, FAA, and the US Army are participants.


On the tool front:

STOOD 5.2.2 for AADL integrated with Cheddar and an AADL simulation tool 
with commercial support by ElliDiss (www.ellidiss.com)

The current release of OSATE is 1.5.4. See www.aadl.info.

A graphical AADL editor implementation by SPICES for TOPCASED is in 
progress. Experimental version of Adele is available at .

The Ocarina (http://ocarina.enst.fr/) supports runtime system generation 
from AADL models to Ada and C. It is being integrated with OSATE.

AADL V2 support for OSATE, STOOD, and Ocarina are in progress.


Bruce Lewis & Peter Feiler