[aadl]: News from the April 2009 standards meeting & User Day

[Peter Feiler]

Dear all,

The most recent AADL Standards meeting and AADL User Day took place at the European Space Agency facility in Noordwijk April 27-29, 2009.

In the Standards meeting we have been working on

*         the Data Modeling Annex document: How to map data model information into AADL; the document is expected to be approved for ballot by the next meeting

*         the Code Generation Annex document: mapping of AADL model & runtime services into programming languages; the document is expected to be approved for ballot by the next meeting

*         the Behavior Annex document: behavior specifications of components and their interactions with other components; we are finalizing revisions to prepare for ballot this summer

*         the ARINC653 Annex document: common approach on modeling ARINC653 architectures in AADL; we are finalizing revisions to prepare for ballot this summer

*         the MARTE/AADL profile section of the OMG MARTE document: issues related to modeling AADL modes and AADL flow path have been addressed
We are starting up two new annex activities:

*         Cyber-physical Systems Annex: modeling of physical systems aspects, including sensor-nets and other net-centric applications.

*         Revision of the Error Model Annex: update to AADL V2, improvements suggestions by users

The standards meetings are open and anyone is welcome to participate - in person or remote.

AADL User Day April 2009
Presentation topics

*         An AADL Overview (Lewis)

*         Embedded Software Systems Challenges & Cost Impact (Feiler)

*         ASSERT System Engineer's (No Coding) Toolset & Process (Conquet)

*         System Architecture Virtual Integration (SAVI) Demo (AVSI Avionics Consortium) (Feiler)

*         Support for Predictable Integration of Mission Critical Systems (SPICES) (Gaufillet/Dissaux)

*         Generation of AADL Models Consistent with Simulink Models (Emmeskay)

*         Generating implementations from AADL Specification (Ocarina) (Hugues)

*         Graphical Specifications & Analysis with STOOD/Adele (Dissaux)

*         JAXA Current AADL Activities & Future Plans (Katahira)

*         NASA case study: Modeling the Mission Data System (Feiler)

*         System Level Integrated Modeling - Extensions to AADL Error Model Annex (Noll)
The presentations are available at http://www.aadl.info/aadl/xfer/AADLUserDayApril2009.zip

Peter Feiler
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20090513/11cfece8/attachment.htm