Oct 2011 User Day

From AadlWiki

Jump to: navigation, search

Meeting Agenda by Bruce Lewis

AADL News and Issues by Bruce Lewis

Next meetings are

  • Winter 2012 – ERTS is Feb 1-3 in Toulouse. AADL meeting in the same week (Jan 30 - Feb 1) – location N7
  • Spring 2012 - April SAE Sponsored Minneapolis, April 16-19, 2012


Update on Modular Avionics System Integrator Workplace by Alexey Khoroshilov of ISPRAS. An update on a tool environment for Avionics Systems based on AADL.

AADL-Lite and Update on Bless by Brian Larson of Multitude. Presentation on a subset of AADL for use with BLESS in the FDA Integrated Clinical Environment (ICE) initiative.

AADL Inspector Presentation/demo by Pierre Dissaux of ElliDiss. On the latest release of STOOD 5.3 for AADL and the integrated AADL Inspector.

OSATE V2 Status by Peter Feiler of the SEI. On the Eclipse and XText-based implementation of of OSATE V2. For details about downloading and using this release please see https://wiki.sei.cmu.edu/aadl/index.php/Osate_2.

Adapt Cheddar to your need by Alain Plantec of U. Brest. On the latest developments with teh Cheddar toolset for analyzing timing constraints.

Possible PSL Annex by Serban Gheorghe of Edgewater. A proposal for an annex based on the IEEE‐1850 PSL (Property Specification Language).

Assume/Guarantee Contracts in AADL by Darren Cofer of Rockwell Collins. On their experience with PSL for Assume-Guarantee Contracts in AADL Models.

Constraint Language Annex and Query Language by Jerome Hugues of ISEA. On an AADL Constraint Language Annex and Query Language.

AADL Requirements Annex and Tool by Dominique Blouin of UBS. On a case study on use of their tool supporting AADL and requirements modeling of the Isolate Thermostat example from the FAA Requirements Engineering Handbook by S. Miller et.al.

The new Error Model V2 Annex by Peter Feiler of SEI. An overview and tutorial of the new Error Model Annex revision V2. The draft Error Model Annex document and a first prototype implementation is available on request.

COMPASS Tutorial by Thomas Noll and Viet Yen Nguyen of RWTH Aachen University. An overview tutorial and demonstration of the SLIM language (an extension of AADL and the Error Model Annex) and COMPASS toolset. For more on COMPASS see http://compass.informatik.rwth-aachen.de.

Personal tools