[aadl]: News from the June 2009 AADL meeting

[Peter Feiler]

Dear all,

The June meeting was held in conjunction with RTS 2009 Ada Europe in Brest. http://conferences.telecom-bretagne.eu/rst2009/
There were a key note, two sessions, and a couple of additional AADL related papers at the conference. See conference proceedings.

We also held an all day AADL workshop on Friday. Presentation material is available in the zip file below.
We also had some presentations at the committee meeting - they are also included in the zip file.
Finally, we have been active on a number of annexes for AADL.
The Behavior Annex and Data Modeling Annex are now heading into ballot. Code Generation Annex, ARINC653 Annex, and the AADL subset of MARTE are progressing. 
We kicked off a team to start the revision of the Error Model Annex.

For more see the AADL News slides in the zip file.

Also in the news: ESA has made their ASSERT toolset available for download and use. See www.assert-project.net and follow the downloads link.

UBS has done work on power consumption modeling and on a MARTE to AADL translator (see presentations in zip file). They also have made available prototypes of their tools. See below.

Peter

************
The presentations are available at www.aadl.info/aadl/xfer/AADLJune2009.zip

The content is written up in a readme file:
Presentation material from June 2009 AADL Standards Meeting in Brest France
This includes presentations at the meeting, at the AADL workshop on Friday.
AADL News: by Bruce Lewis
AADL Overview - language and its use:  Feiler at workshop
AADL/OSATE demo: Feiler at workshop
Ocarina code generation Partitioned Arch: Hugues at workshop on code generation for partitioned architectures
Distributed code generation: Swami at Emmeskay modeling and simulation with AADL and Simulink
Formal Verification of AADL Specifications via FIACRE: Bodeveix, Filali (LAAS) at AADL workshop
ASSERT Project at ESA: Conquet (ESA) at AADL workshop
AADL Performance Analysis with Cheddar: by Dissaux (ElliDiss), Singhoff (U.Brest)
Cyber Physical Systems:  U. Arizona
Validating safety & Security: Delange (ENST)
AADL-ARINC-Scheduling: Sokolsky (U. Penn)
ARINC653 and AADL: Pautet & Delange (ENST)
AADL Code Generation/Data Modeling Guidance/Annex: Hugues (ENST)
AADL Power Consumption Analysis: Blouin (UBS/SPICES)
AADL Marte Translation: Blouin (UBS/SPICES)
Error Model Annex: Feiler - plans for revision
AADL - Pnets: by Fabrice Kordon - an introduction to Petrinets as mechanism to specify error propagation semantics (to be used in revision of error model annex)
AADL & Static Architecture Modeling: Feiler - working draft of white paper


************

Following our presentation at the AADL comittee meeting in Brest last June, we have decided that our tools will be released under an open source license. We now have prototypes available for you (or any interested people you may know) to try out. We are still waiting to have a proper release site setup at our lab, but in the mean time, our tools can be downloaded from the following locations:

Consumption Analysis Toolbox (CAT): 
https://sourceforge.net/projects/lab-sticc/files/CAT/cat101.zip/download

MARTE to AADL Transformation Tool: 
https://sourceforge.net/projects/lab-sticc/files/MarteToAadl/MarteToAaxlTools.rar/download

We will be looking forward for your inputs.

Thanks,

Dominique

--
Dominique BLOUIN

Ingénieur de Recherche / Research Engineer

Université de Bretagne Sud
Lab-STICC / CNRS UMR 3192

Centre de Recherches
BP92116 / 56321 LORIENT Cedex
Tel:0297874526 / Fax:0297874527

http://www-labsticc.univ-ubs.fr