| Vol-795 urn:nbn:de:0074-795-6 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ACES-MB-2011
Model Based Architecting and Construction of Embedded Systems

### Proceedings of the Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011),
held as part of the 2011 International Conference on Model Driven Engineering Languages and Systems (MoDELS'11)

### Wellington, New Zealand, October 18, 2011.

Edited by

### Stefan Van Baelen *
Sébastien Gérard **
Ileana Ober ***
Thomas Weigert ****
Huascar Espinoza *****
Iulian Ober ***

* K.U.Leuven - Distrinet, Leuven, Belgium
** CEA-LIST/LISE, Saclay, France
*** University of Toulouse - IRIT, Toulouse, France
**** Missouri University of Science and Technology, Rolla, MO, USA
***** ESI Tecnalia, Zamudio, Spain

## Table of Contents

- Preface 1-7

### System and Software Development and Modeling

1. Towards Integrated System and Software Modeling for Embedded Systems 9-22
   Hassan Gomaa
2. A Multidisciplinary Design Methodology for Cyber-Physical Systems 23-37
   Frank Slomka, Steffen Kollmann, Steffen Moser, Kilian Kempf
3. A Model-Driven Approach for Software Parallelization 39-53
   Margarete Sackmann, Peter Ebraert, Dirk Janssens

   ### System and Software Architecture

4. A Refinement Checking Technique for Contract-Based Architecture Designs 55-69
   Raphael Weber, Tayfun Gezgin, Maurice Girod
5. Model-based Consistency Checks of Electric and Electronic Architectures against Requirements 71-83
   Nico Adler, Philipp Graf, Klaus D. Müller-Glaser
6. Modeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets 85-98
   Robert Pettit, Hassan Gomaa, Julie Fant

The whole proceedings can also be downloaded as a single file (pdf).

20-Oct-2011: submitted by Stefan Van Baelen
20-Oct-2011: published on CEUR-WS.org