09:40 - 09:45 Presentation of the UML&AADL workshop

SESSION 1: Safety Critical Systems

• 09:45 - 10:10 A MDE-based Process for the Design, Implementation and Validation of Safety Critical Systems
  Julien Delange, Jérôme Hugues, Laurent Pautet and Dionisio de Niz
• 10:10 - 10:35 Testing Safety Critical Systems with SysML/UML
  Matthew Hause, Dave Richards, Andrew Stuart
• 10:35 - 11:00 Supporting the Design of Safety Critical Systems Using AADL
  T. Correa, L.B Becker, J-M Farines, J-P.Bodeveix, M.Filali, F.Vernadat

11:00 - 11:30 COFFEE BREAK

SESSION 2: Formal Modeling

• 11:30 - 11:55 Expressing and enforcing user-defined constraints of AADL models
  Olivier Gilles, Jérôme Hugues
• 11:55 - 12:20 Formal Modeling for UML/MARTE Concurrency Resources
  Pablo Penil, Hector Posadas, Eugenio Villar
• 12:20 - 12:45 QVT Based Model Transformation from Sequence Diagram to CSP
  Li Dan and Li Danning

12:45 - 14:00 LUNCH

• 14:00-14:15 ICECCS Welcome
• 14:15-15:15 Joint keynote, Bill Roscoe

15:15 - 15:30 COFFEE BREAK

SESSION 3: Integrative approaches

• 15:30 - 15:55 Knowledge models to reduce the gap between heterogeneous models
  David Simon Zayas, Anne Monceaux, Yamine Ait-Ameur
• 15:55 - 16:15 From MARTE to AADL with a Seamless Process
  Isabelle Perseil, Laurent Pautet

SESSION 4: Tools and Methodologies

• 16:15 - 16:40 Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate
  Michael.Kerboeuf , Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux
• 16:40 - 17:05 OMEGA2: A new version of the profile and the tools
  Iulian Ober and Iulia Dragomir
• 17:05 - 17:30 AADS+: AADL Simulation including the Behavioral Annex
  Roberto Varona-Gomez, Eugenio Villa

17:30 - 18:30 ICECCS AADL Panel

 Mamoun Filali, CNRS Researcher at IRIT (Toulouse, France)
 Jérôme Hugues, Associate Professor at ISAE (Toulouse, France)
 Laurent Pautet, Professor at Telecom ParisTech (Paris, France)
 Frank Singhoff, Professor at University of Brest (Brest, France)

Réalisation Axome - Création de sites Internet