Preliminary schedule

---

Tuesday, Jul 5	Wednesday, Jul 6	Thursday, Jul 7
9:00 Registration opening 9:15 - 10:30 Welcome speech Invited Speaker: Dorina Petriu Model-based Performance Analysis of Service-Oriented Systems Coffee break 11:00 - 12:30 Session 1: Domain Specific Languages 1 Lunch 14:00 - 16:00 Tutorial: Juha-Pekka Tolvanen How to implement Domain-Specific Modeling Languages: Hands-on Coffee break 16:30 - 17:30 Tutorial: Maxime Perrotin TASTE A real-time software engineering tool-chain Annual General Meeting of the SDL Forum Society	9:00 - 10:15 Invited Speaker: Thierry Le Sergent SCADE: a Comprehensive Framework for Critical System and Software Engineering Coffee break 10:45 - 12:15 Session 2: Test Lunch 13:30 - 15:30 Session 3: Components and services Coffee break 16:30 - 17:15 Airbus visit 19:30 Social event	9:00 - 10:15 Invited Speaker: Rick Reed SDL-2010: Background, Rationale, and Survey Coffee break 10:45 - 12:15 Session 4: SDL Lunch 13:30 - 15:00 Session 5: Domain Specific Languages 2

---

Session 1: Domain Specific Languages 1

11:00 - 11:30	Synthesizing Software Models: Generating Train Station Models Automatically Andreas Svendsen, Øystein Haugen and Birger Møller-Pedersen
11:30 - 12:00	Exploring Early Availability Requirements using Use Case Maps Jameleddine Hassine and Abdelouahed Gherbi
12:00 - 12:30	Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing Didier Nassiet, Yohan Livet, Marc Palyart and David Lugato

---

Session 2: Test

10:45 - 11:15	Test Automation with Verifiable Coverage Criteria Sergey Baranov, Vsevolod Kotlyarov and Thomas Weigert
11:15 - 11:45	A new approach in model-based testing: Designing test models in TTCN-3 Antal Wu-Hen-Chang, Gusztav Adamis, Levente Eros, Gabor Kovacs and Tibor Csondes
11:45 - 12:15	Towards a Model Based Approach for Integration Testing Mohamed Mussa and Ferhat Khendek

---

Session 3: Components and services

13:30 - 14:00	Session Initiation as a Service Urooj Fatima, Rolv Braek and Humberto N. Castejón
14:00 - 14:30	PMG-pro: A Model-driven Development Method of Service-based Applications Selo Sulistyo and Andreas Prinz
14:30 - 15:00	A Model-Driven Framework for Component-based Development Surya Bahadur Kathayat, Hien Nam Le and Rolv Braek
15:00 - 15:30	Separation of Concerns with Transactional Regions Thomas Cottenier, Aswin van den Berg and Thomas Weigert

---

Session 4: SDL

10:45 - 11:15	Real-time Signaling in SDL Marc Krämer, Tobias Braun, Dennis Christmann and Reinhard Gotzhein
11:15 - 11:45	Priority Scheduling in SDL Dennis Christmann, Philipp Becker and Reinhard Gotzhein
11:45 - 12:15	A Model-based Formalization of the Textual Notation for SDL-UML Alexander Kraas

---

Session 5: Domain Specific Languages 2

13:30 - 14:00	Standardizing Variability - Challenges and Solutions Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen and Xiaorui Zhang
14:00 - 14:30	MDE4HPC: An approach for Using Model-Driven Engineering in High-Performance Computing Marc Palyart, David Lugato, Ileana Ober and Jean-Michel Bruel
14:30 - 15:00	AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications Saoussen Anssi, Sébastien Gérard, Stefan Kuntz and François Terrier