Workshop registration handled by the UML 2003 conference registration board.
NEW: For some of the presentations papers are made available
09:00-09:15 - Welcome and introduction (the organizers)
09:15-09:45 - "Verification of Platform Independent Models" - G. T. Eakman, Pathfinder Solutions, US
09:45-10:15 - "Schedulability analysis of UML-based model" - S. Gérard, P.T. Hieu, CEA-LIST, Fr
10:30-11:00 - Coffee break
11:00-11:30 - "CARROLL: the PROTES project", L. Rioux, Thalès, Fr
11:30-12:00 - "An Automotive Description Language (ADL) (ITEA-EAST-EEA project.)" - T. Klein, DaimlerChrysler AG / Research and Technology Gr
12:00-12:30 - Open discussion
12:30-14:00 - LUNCH
14:00-14:30 - "MDA for embedded systems dedicated to process control" - J-L Houberdon, J-P Babau, INSA, Fr
14:30-15:00 - "MDA for SoC Embedded Systems Design, Intensive Signal Processing Experiment" - P. Boulet, J-L. Dekeyser, C. Dumoulin and P. Marquet, LIFL, Fr
15:00-15:30 - "Model-based Development of Embedded Systems: Executable Models vs. Code Generation" - Tim Schattkowsky, univ. Paderborn / C-LAB, Gr
15:30-16:00 - Coffee break
16:00-16h30 - "Middleware Transparent Software Development & The MDA" - Sudipto Ghosh, Robert France and Devon Simmonds, Univ. Colorado.
16:30-17:00 - "Model Engineering and Traceability" - E. Rochefort & J. Champeau, ENSIETA, Fr
17:00-17:30 - "QoS-aware MDA" - A. Solberg, K. E. Husa, J. Øyvind Aagedal, E. Abrahamsen, SINTEF, No
17:30 - Closing (all + the organizers)