[aadl]: Januray 2010 news

[Peter Feiler]

Hi everyone,

More and more things are happening with AADL. We just finished a first ballot of the behavior annex, the data model annex, and the ARINC653 annex. The results will be discussed at the next meeting in the week of Feb 8 .  The meeting will be in Tokyo, sponsored by the Japanese Space Agency.

Lots of publications are coming out on research with AADL and application of AADL - my collection is reaching a count of 200. We will be putting the citations in the public Wiki area shortly.

Meanwhile, here are some pointers:

The AVSI System Architecture Virtual Integration initiative, involving Boeing, Lockheed Martin, Airbus, several suppliers, FAA, the DoD and the SEI has finished its proof of concept phase using AADL as a key technology. A short article can be found at http://www.softwaretechnews.com/stn_view.php?stn_id=52&article_id=146.
A case study report is available at http://www.sei.cmu.edu/library/abstracts/reports/09tr017.cfm.
A second report on a return on investment model for SAVI is in review.

Also stand by for a case study report on modeling the JPL Mission Data System architecture (http://mds.jpl.nasa.gov/public/index.shtml) to come out as SEI report.
For an AIAA InfoTech article on the same topic see http://pub-lib.jpl.nasa.gov/docushare/dsweb/Services/Document-364.

Other interesting articles include: Lui Sha on Resilient Mixed-Criticality Systems http://www.stsc.hill.af.mil/crosstalk/2009/09/0909Sha.html
And "Rapid Early-Phase Virtual Integration" https://netfiles.uiuc.edu/rpelliz2/www/index_files/papers/early.pdf

Delange et.al. (Telecom ParisTech, U. Brest, LIP6) Validate, Simulate, and Implement ARINC653 Systems using the AADL http://beru.univ-brest.fr/~singhoff/cheddar/publications/delange09.pdf

Emmeskay & Telecom ParisTech on code generation from AADL & SImulink models "Architecture Driven Generation of Distributed Embedded Software from Functional Models" http://www.emmeskay.com/presentation-files/publications/GVSETS09_Emmeskay_TP_GenEmbeddedSoftware.pdf

E. Borde et.al. "Mode-Based Reconfiguration of Critical Software Component Architectures" http://www.date-conference.com/archive/conference/Fproceedings/PAPERS/2009/DATE09/PDFFILES/09.6_3.PDF

Delange et.al. "Model-Based Engineering for the Development of ARINC653 Architectures" at the SAE AeroTech conference in Nov 2009 http://www.sae.org/servlets/productDetail?PROD_TYP=PAPER&PROD_CD=2009-01-3234

M. Hecht talk at AeroTech 2009 on interfacing AADL/Error Model with Mobius "Application of the Architectural Analysis and Design Language(AADL) for Quantitative System Reliability and Availability Modeling" http://www/aadl.info/aadl/xfer/VoglHechtLamAerotech09.pdf

Several publications by T. Noll et.al. on dependable system co-design and verification using the error model annex with proposed extensions http://compass.informatik.rwth-aachen.de/publications.html

More news after the standards meeting.

Peter Feiler

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20100131/da2cb37b/attachment.htm