8:30 - Registration

  9:15 - Introduction

  9:30 - Invited Speaker
        Product Management Team
        IBM
        Supporting Model Driven Development
       
        Chair: Irv Badr
        IBM Rational

10:30 - Coffee break

11:00 - Model-driven Development
        Chair: Rolv Bræk
        NTNU

• Model-Driven Construction of Embedded Applications based on Reusable Building Blocks - An Example


• Energy-aware System Design with SDL

12:00 - Lunch

13:30 - Model-driven Development
        Chair: Edel Sherratt
        Aberystwyth University

• Model-driven Development of Time-critical Protocols with SDL-MDD


• Towards Model Based Development of Managed Networked Embedded Systems

14:30 - Coffee break

15:00 - Tutorial

        Model-Driven Development for multi-core systems

        Instructor: Irv Badr
        IBM Rational

  8:30 - Registration

  9:00 - Invited Speaker
        Prof. Dr. Øystein Haugen
        SINTEF
        Department of Informatics
        University of Oslo, Norway
        Standardizing Variability Modeling

        Chair: Reinhard Gotzhein
        University of Kaiserslautern

10:00 - Coffee break

10:30 - Analysis and Assessment
        Chair: Ferhat Khendek
        Concordia University

• Towards an Integrated Quality Assessment and Improvement Approach for UML Models


• Optimal string edit distance based test suite reduction for SDL specifications


• Early Schedulability Analysis with Timed Use Case Maps

12:00 - Lunch

13:30 - Evolution of Development Languages
        Chair: Joachim Fischer
        Humboldt University, Computer Sc.

• Extending the User Requirements Notation with Aspect-oriented Concepts


• A UML Profile for the Goal-oriented Requirement Language

14:30 - Coffee break

15:00 - Language Implementation and support
        Chair: Martin von Löwis
        HPI

• Modelling a Debugger for an Imperative Voice Control Language


• The ARC Programming Model


• Automatic Generation of Compatible Interfaces from Partitioned UML Activities

19:30 - Conference Dinner

         Restaurant

  9:00 - Registration

  9:30 - Invited Speaker
        Dr. Matthias Sauer
        Infineon
        Neubiberg, Germany

        Chair: Attila Bilgic
        Ruhr-Universität Bochum

10:30 - Coffee break

11:00 - Application Studies
        Chair: Rick Reed
        TSE

• The Challenges of using SDL for the Development of Wireless Sensor Networks


• Modeling LTE Protocol for Mobile Terminals using Formal Description Technique


• SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform

12:30 - Closing session

12:45 - Lunch