[CEUR Workshop Proceedings] Vol-507

Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.



ACES-MB 2009
Model Based Architecting and Construction of Embedded Systems




Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009),
held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems (MoDELS'09)

Denver, Colorado, USA, October 6, 2009.

Edited by

Stefan Van Baelen *
Thomas Weigert **
Ileana Ober ***
Huascar Espinoza ****


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



Table of Contents


    Invited Talk

  1. Semantics Preservation Issues in the Design and Optimization of SW Architectures for Automotive Systems
    Marco Di Natale, page 9

    2. Domain-Specific Languages for Embedded Systems

  2. SOPHIA: a Modeling Language for Model-Based Safety Engineering
    Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huascar Espinoza, Sébastien Gérard and Arnaud Cuccuru, pages 11-25
  3. PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems
    Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon Koutsoukos and Janos Sztipanovits, pages 27-41

    4. Analysis and Formalization

  4. Formal Design Models for Distributed Embedded Control Systems
    Christo Angelov, Krzysztof Sierszecki and Yu Guo, pages 43-57
  5. Improving Timing Analysis for Matlab Simulink/Stateflow
    Lili Tan, Björn Wachter, Philipp Lucas and Reinhard Wilhelm, pages 59-63

    6. AADL

  6. Prototyping of Distributed Embedded Systems Using AADL
    Mohamed Yassin Chkouri and Marius Bozga, pages 65-79
  7. Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems
    Dries Langsweirdt, Yves Vandewoude and Yolande Berbers, pages 81-85
  8. Model-Based Codesign of Critical Embedded Systems
    Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll and Marco Roveri, pages 87-91

    9. Variability and Reconfiguration

  9. Design Complexity Management in Embedded System Design
    Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors and Johnny Nylund, pages 93-106
  10. Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems
    Goetz Botterweck, Andreas Polzer and Stefan Kowalewski, pages 107-121
  11. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration
    Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck and Arian Treffer, pages 123-137
28-Sep-2009: submitted by Stefan Van Baelen
28-Sep-2009: published on CEUR-WS.org