Feb 2013 User Day

From AadlWiki

Jump to: navigation, search

Meeting Agenda by Bruce Lewis

AADL News and Issues by Bruce Lewis

Next meetings are

  • Spring 2013 - SAE organized meeting, Jacksonville, Florida April 22-25, 2013.
  • Summer 2013 - Paris, France, June 2013.
  • Fall 2013 - SAE organized meeting, Portland, ME, October 21 - 24, 2013 or SAE Montreal, Sept 24-26 2013.


Modeling of a Supersonic Rocket Using AADL by Geoffrey Duval (Jerome Hugues) of ISAE. Best paper at IAC 2012 - 63rd International Astronautical Congress.

Constraint Language Annex for AADL by Jerome Hugues, Serban Gheorghe, Mike Whalen. Discussion of language structure and draft document of Constraint Language for AADLv2.

Experiences with AADL Constraint Language REAL by Alexey Khoroshilov of ISPRAS.

Thoughts on Constraints and Composition by Jerome Hugues of ISAE.

Synchronous System Timing Annex Jean-Pierre Talpin of INRIA. Presentation of white paper on a Timing Annex in support of synchronous systems.

Code Generation Annex Discussion Jerome Hugues of ISAE.

ARINC653 Support in OSATE Julien Delange of SEI. Summary of ARINC653 specification and consistency analysis in OSATE2.

OSATE2 Update Julien Delange of SEI. OSATE2 update and demonstration. Preview of release OSATE V2.0.1.

Error Model V2 Annex Discussion Peter Feiler of SEI.

Analytical Architecture Fault Models Peter Feiler of SEI. Presentation originally given as keynote at the 3rd AVICPS workshop in conjunction with RTSS 2012.

Modeling AADL Subsets Vincent Gaudel of University of Brest. Discussion of support for AADL subsets.

Status of RAMSES Etienne Borde of Telecom Paristech. Status of RAMSES code generation support for AADL.

Concept of Time in BLESS Brian Larson of KSU. Presentation on concept of time in BLESS assertion annex for AADL.

Proving use of enumerations Brian Larson of KSU. Proof of use of enumerations in BLESS.

Requirements Annex Discussion Dominique Blouin of University of Brest.

AADL V2.1 Errata Peter Feiler of SEI. Presentation of errata to AADL V2.1.

Proposal of a coupling annex between Error Model V2 and BLESS (related to the self port construct in AADL V2.1


Tutorial on Use of Requirements Annex by Dominique Blouin of Universite de Bretagne. The tutorial shows the use of RDALTE, a prototype implementation of the Requirements Annex on the Isolette example from the FAA Requirements Engineering Handbook. A video of the tutorial is available as Streaming Video.

Personal tools