> Congress / Final Programme / Workshops / Ws6

Ws6: Architecture Description Languages

Friday 27 August 2004

http://www.laas.fr/FERIA/SVF/WADL04

Room

Concorde 2

Chair

Mamoun Filali Amine (FéRIA/IRIT, France)

Programme

9h - 10h30

Tutorial

Chair : Pierre Dissaux (TNI/Europe, France)

An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: a Basis for Model-Based Architecture-Driven Embedded Systems Engineering -Peter H. Feiler (Software Engineering Institute, USA), Bruce Lewis (US Army, USA), Steve Vestal (Honeywell Laboratories Minneapolis, USA), Ed Colbert (Absolute Software, USA)

Models and Analysis (Part I)

Chair : Pierre Michel ( FéRIA/ONERA, France )

Deploying QoS Contracts in the Architectural Level - Sidney Ansaloni (U. Fluminense, Brazil), Alexandre Sztajnberg (U. Rio de Janeiro, Brazil), Romulo Curty (U. Fluminense, Brazil), Orlando Loques (U. Fluminense, Brazil)

11h - 12h30

Models and Analysis (Part II)

Chair : Pierre Michel ( FéRIA/ONERA, France )

Hierarchical Composition and Abstraction in Architecture Models - Pam Binns and Steve Vestal (Honeywell Laboratories Minneapolis, USA)

Pattern-Based Analysis of an Embedded Real-Time System Architecture - Peter H. Feiler (Software Engineering Institute, USA), David P. Gluch (Embry-Riddle U., USA), John J. Hudak (Software Engineering Institute, USA), Bruce A. Lewis (US Army, USA)

An ADL Centric Approach for the Formal Design of Real-Time Systems - Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet (IRCCyN, France)

14h00 - 15h30

Specification and Design

Chair : Steve Vestal (Honeywell Laboratories Minneapolis, USA)

SafArchie Studio: ArgoUML Extensions to Build Safe Architectures - Olivier Barais and Laurence Duchien (LIFL U. Lille, France)

Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs) - Seamus Galvin, Chris Exton, Finbar McGurren (U. Limerick, Ireland)

How ADLs can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design  - Sylvain Robert (CEA/SACLAY, France), Vincent Seignole (Thales, France), Sébastien Gérard (CEA/SACLAY, France), Stéphane Ménoret, Virginie Watine (Thales, France), Ansgar Radermacher, François Terrier (CEA/SACLAY, France)

16h00 - 17h30

Domain Specific Architecture Description languages

Chair : Bruce A. Lewis (Software Engineering Institute, USA)

Specification of Intel IA-32 using an Architecture Description Language - Jeff Bastian, Soner Onder (Texas Instruments, USA)

Cotre as an AADL Profile - Patrick Farail, Pierre Gaufillet (Airbus, France)

EAST-ADL an Architecture Description Language, Validation and Verification Aspects - Vincent Debruyne (PSA Peugeot-Citroën, France) Françoise Simonot-Lion (LORIA, France), Yvon Trinquet (IRCCyN, France)