|
|
|
|
|
| Home | Scope | Committees | |||||||||
| Presentations | Programme | ||||||||
09h00 - 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 I)
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)
 |
 |
 |