09:00-10:20 Conference Opening: Keynote speaker Prof.Dr.Bernhard Steffen

10:20-10:40 Coffee Break

• 10:40 Introduction (slides) Isabelle Perseil - Telecom-ParisTech (France)
• 10:50 Keynote Speaker (slides) Oleg Sokolsky (University of Pennsylvania, USA)

Session 1 : Verification

• 11:20 "Verification of Replication Architectures in AADL" (slides)
  Dionisio de Niz and Peter H. Feiler
• 11:40 "UML Modeling and Formal Verification of control/data driven Embedded" (slides)
  Fateh Boutekkouk and Mohamed Benmohammed

12:00-13:30 LUNCH

Session 2 : Execution, Implementation, Simulation

• 13:30 "Modeling the Implementation of State-Based System Architectures" (slides)
  Peter H.Feiler
• 13:50 "Executing AADL models with UML/Marte" (slides)
  Frédéric Mallet, Charles André, Julien DeAntoni
• 14:10 "Automating the generation of platform specific models" (slides)
  W. El Hajj Chehade, A. Radermacher, A. Cuccuru, S. Gérard and F. Terrier
• 14:40 "AADL Simulation and Performance Analysis in SystemC" (slides)
  Roberto Varona-Gomez, Eugenio Villar

15:10-15:30 Coffee Break

Session 3: Comparisons

• 15:30 "A comparative study of FIACRE and TASM to define AADL real time
  concepts" (slides) Lei Pi, Zhibin Yang, J-P Bodeveix, M.Filali, Kai Hu, Dianfu Ma
• 15:50 "Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy" (slides)
  Angelika Kusel, Wieland Swinger, Manuel Wimmer, Werner Retschitzegger
• 16:10 "Visual Comparison of Graphical Models" (slides)
  Arne Schipper, Hauke-Fuhrmann, Reinhard von Hanxleden

Session 4 : Model-based Methodologies

• 16:30 "Constraint management for engineering of DRE systems" (slides)
  Marie-Noelle Terrasse, Marinette Savonnet, Eric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud Da Costa, and Thierry Grison
• 16:50 "Integrating AADL within a multi-domain modeling framework" (slides)
  Ivano Malavolta, Henry Muccini, and Patrizio Pelliccione
• 17:10 "Towards a Model-Driven Approach for Mapping Requirements on AADL
  Architecture" (slides)
  Mathieu Delehaye, Christophe Ponsard
• 17:30 "An Emerging Need for a New Software Engineering Method" (slides)
  Isabelle Perseil, Laurent Pautet

17:50 Panel

Scheduling analysis from different levels of modeling
Oleg Sokolsky (University of Pennsylvania, USA) slides
Peter Feiler (Carnegie Mellon, USA) slides
Frederic Mallet (INRIA, France) slides

Réalisation Axome - Création de sites Internet