[CEUR Workshop Proceedings] Vol-795

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.

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

    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