Tutorial 2 : Acceleo
S. Bégaudau, J. Musset, G. Blondelle - Obeo

Invited Speaker :  Vision on partenarial projects focused on Open Source Solution - P. Letellier - ITEA

Gendoc2, generating ODT and DOCS documents from EMF Models with TOPCASED
T. Faure, A. Haugommard, J.F. Rolland - Atos Origin - Abstract

Contribution to the software execution platform integration during an application deployment process
M. Brun, J. Delatour - ESEO - Abstract

Towards a synchronized development environment for C and Models
C. le Camus, E. Bonnafous, C. Giraudel, P. Digonnet, T Nauleau - CS Communications&Systèmes, P. Larivière - CNES, E. Juliot, M. Barbero, G. Blondelle - Obeo - Abstract

Use of TOPCASED to transform an UML model for AGATA CNES project
L. Faure, C. Le Camus - CS Communications&Systèmes, J. Pouly - CNES - Abstract

RTSJ generators for TOPCASED
J. Pouly - CNES, N. Lépine, G. Blondelle - Obeo - Abstract

Verification of GALS Systems using TOPCASED and CADP with an application to a Ground/Plane Communication Protocol
H. Garavel, D. Thivolle - INRIA-VASY - Abstract

What fUML could bring to MBSE
L. Fejoz - RealTime-at-Work - Abstract

V&V support for DSML in TOPCASED
B. Berthomieu, F. Vernadat - CNRS-LAAS, B. Combemale - INRIA-IRISA, X. Crégut, M. Pantel - INPT-CNRS-IRIT, S. Duprat, R. Faudou - Atos Origin - Abstract

Modeling and Verification of PLC Programs by using FIACRE Tool Chain
J.M. Farines, M.H. De Queiroz, M.F. de Souza, A.M.M. Carpes - UFSC-DAS, F. vernadat - CNRS-LAAS - Abstract

Closing Session : P. Farail Airbus Operation SAS