October 18th, 2011      Wellington (New-Zealand)     (during MoDELS 2011) organised and funded by ARTIST 

Programme, Slides


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

15h30-16h00: Coffee break

16h00-17h20 Discussion

17h20-17h30: Conclusions and Closing

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet