Oct 2012 User Day

From AadlWiki

Jump to: navigation, search

Meeting Agenda by Bruce Lewis

AADL News and Issues by Bruce Lewis

Next meetings are


Compositional Analysis of System Architectures by Mike Whalen of U. Minn. Use of AADL and PSL for compositional reasoning about system architectures.

Constraint Language for AADL and AADL subsets the REAL Way by Jerome Hugues & Serban Gheorghe. Constraint Language for AADLv2, Concepts and roadmap.

AADL and ICE by Brian Larson of Multitude. Rationale and Architecture Principles for Medical Application Platforms.

Multi View in Architectures with AADL by Emilio Insfran of University of Valencia. Multiple Views and Relationships for Quality Driven Architecture with AADL: A Multimodel for Software Product Lines.

Synchronous AADL Annex proposal by Jean-Pierre Talpin of INRIA. Embedded software architecture design with Polychrony, and a light-weight synchronous annex for AADL.

ElliDiss Tools by Pierre Dissaux of ElliDiss.

Behavior Annex Corrections and Tools by Etienne Borde of Telecom ParisTech. Behavior Annex Updates Standard, plugin, and usage inside RAMSES - a model transformation and generation system.

Error Model V2 Overview by Peter Feiler. Includes latest updates and the addition of operational mode to failure mode (error state) mapping and several example applications.

Update on AADL Requirements Annex by Dominique Blouin of UBS. Discussion of latest work, integration with Lute, the Isolette example, and open issues.

Personal tools