09h00 – 12h30: Registration
12h30 – 14h00: Lunch
14h00 – 14h30: School Opening
14h30 – 15h30: Robert France: ”Navigating the MDE RoadMap: Are we there yet?“
15h30 – 16h30: Chris Raistrick: ”Model Based Code Generation“
16h30 - 16h45: break
16h45 – 17h45: Tom Mens: ”Model transformation : A Survey of the State-of-the-Art“
17h45 – 18h45: Alain Clouard: ”Model-Driven Development: Industrial needs and perspectives”
18h45 – 21H00: Welcome reception
Dedicated Computing Infrastructures for Embedded System
09h00 – 10h30: Yves Bernard: “Fundamentals of model-based engineering for Airbus Avionics & Simulation Products“
10h30 – 11h00: Break
11h00 – 12h30: Stefan Kuntz: ”Introduction to AUTOSAR and its relation to the Model Driven Development approach“
12h30 - 14h00: Lunch
Generic Techniques for MDD
14h00 – 15h30: Pierre-Alain Müller: “On meta-models and language engineering”
15h30 – 15h45: Break
15h45 – 16h45: Nicolas Rouquette: ”Introduction to Executable UML“
16h45 – 17h00: Break
17h00 – 18h00: Benoît Baudry: “Leveraging metamodels for model transformation testing“
18h00 - 19h00: Christophe Gaston: ”Symbolic Execution Techniques for Test Purpose Definition”
Tools (and WiP session)
09h00 – 09h30: Short presentations of posters and demos
09h30 – 13h00: Live session on tools and work-in-progress (WIP)
This session will be an open session for tool demonstrations (including academic and industrial tools) and for work-in-progress presentations.
13h00 – 14h00: Lunch
15h30 – 18h30: Social event
20h00 – …: Spring school banquet
Analysis and deployment of real-time embedded component-based applications using the UML MARTE profile
09h00 – 10h30: Sébastien Gérard and Huascar Espinoza, “A profile for embedded systems development”
10h30 – 11h00: Break
11h00 – 12h30: Dorina Petriu: “Model-based Performance Analysis”
12h30 - 14h00: Lunch
14h00 – 15h30: Denis Aulagnier: ”SoC/SoPC development using MDA and MARTE profile“
15h30 – 16h00: Break
16h00 – 17h30: Peter Feiler: ”Validation of Safety-Critical Systems with AADL“
17h30 – 18h30: Panel session chaired by Sébastien Gérard: ”Panel: Domain-Specific Language design: heavy or lightweight?“
Modeling of Embedded Systems
09h00 – 10h30: Lothar Thiele: ”Component Based Schedulability Analysis“
10h30 – 11h00: Break
11h00 – 12h30: Joseph Sifakis: ”Component-based Construction of Heterogeneous Real-time Systems in BIP“
12h30 – 14h00: Lunch
14h00 – 15h00: Wrap-up