[CEUR Workshop Proceedings] 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

    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