Programme

9h00-9h30: Welcome, introduction and presentation of the participants


Session 1: System & Software Development and Modeling

09h30-10h00 Hassan Gomaa. Towards Integrated System and Software Modeling for Embedded Systems
10h00-10h30 Frank Slomka, Steffen Kollmann, Steffen Moser and Kilian Kempf. A Multidisciplinary Design Methodology for Cyber-physical Systems

10h30-11h00: Coffee break


Session 1: System & Software Development and Modeling (ctd.)

11h00-11h30 Margarete Sackmann, Peter Ebraert and Dirk Janssens. A Model-Driven Approach for Software Parallelization

Session 2: System & Software Architecture

11h30-12h00 Raphael Weber, Tayfun Gezgin and Maurice Girod. A Refinement Checking Technique for Contract-Based Architecture Designs
12h00-12h30 Nico Adler, Philipp Graf and Klaus D. Müller-Glaser. Model-based Consistency Checks of Electric and Electronic Architectures against Requirements

12h30-14h00: Lunch break


Session 2: System & Software Architecture (ctd.)

14h00-14h30 Robert Pettit, Hassan Gomaa and Julie Fant. Modeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets

Session 3

14h30-15h30 Discussion

• ISO/IEEE 42010 Standard: Systems and software engineering - Architecture description
• FUML (Semantics of a Foundational Subset for Executable UML Models)
• Integration of SysML & Modelica
• FP7-MAENAD project
• ITEA2-SAFE project

15h30-16h00: Coffee break


16h00-17h20 Discussion

17h20-17h30: Conclusions and Closing

Réalisation Axome - Création de sites Internet