09:00 - 09:10 Presentation of the workshop

Session 1 : End-to-end methodologies

09:10 - 09:30 Towards a Traceability Model in a MARTE-based Methodology for Real-Time Embedded Systems
Hung Le Dang, Hubert Dubois and Sébastien Gérard

09:30 - 09:50 Foundations of a New Software Engineering Method for Real-time Systems
Isabelle Perseil, Laurent Pautet

09:50 - 10:10 An MDE Based Method for Bridging Different Design Notations
Tian Zhang, Frédéric Jouault, Jean Bézivin and Xuandong Li

10:10 - 10:30 Safe Design of High-Performance Embedded Systems in a MDE framework
Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser

10:30 - 11:00 COFFEE BREAK

Session 2 : Formal Requirements

11:00 - 11:20 From Use-Cases to Test-Cases via Meta-Model-based Reasoning
Stefan Gruner

11:20- 11:40 Model-based Requirements Analysis for Reactive Systems
with UML Sequence Diagrams and Coloured Petri Nets
Kristian Bisgaard Lassen, Simon Tjell

11:40- 12:00 Validation of Requirements Models by Automatic
Prototyping
Li Dan, Xiaoshan Li, Jicong Liu and Zhiming Liu

12:00 - 14:30 LUNCH

Session 3 : Refinements, transformations

14:30 - 14:50 Rich Meta Object Facility
Formal Integration Platform - Syntax, Semantics and Implementation
Ralf Buschermöhle , Jörg Oelerink

14:50 - 15:10 Incremental development of UML specifications using
operation refinements
Boulbaba Ben Ammar, Mohamed Tahar Bhiri and Jeanine Souquières

15:10 - 15:30 A Formal and Sound Transformation from Focal to UML
An Application to Airport Security Regulations
David Delahaye, Jean-Frédéric Etienne and Véronique Viguié Donzeau-Gouge

15:30 - 16:00 COFFEE BREAK

Session 4 : Formal Behavior

16:00 - 16:20 Ambiguity and Structural Properties of Basic Sequence Diagrams
C. Sibertin-Blanc, O. Tahir and N. Hameurlain

16:20 - 16:40 Extending Statecharts with Process Algebra Operators
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin and Richard-St-Denis

16:40 - 17:00 UML Behavioral Consistency Checking
using Instantiable Petri Nets
Yann Thierry-Mieg, Lom-Messan Hillah

17:00 - 17:20 Timing analysis and validation with UML:
the case of the embedded MARS bus manager
Iulian Ober , Susanne Graf, Yuri Yushtein and Ileana Ober

17:20 - 17:40 Clock Constraint Specification Language
Specifying Clock Constraints with UML/MARTE
Frédéric Mallet

17:40 - 18:15 Panel : Jean Bézivin, Jean-Michel Bruel, Stefan Gruner and Frédéric Mallet

Réalisation Axome - Création de sites Internet