[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 pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy