[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

  3. 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
  4. 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
  5. Analysis and Formalization

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

  9. Prototyping of Distributed Embedded Systems Using AADL
    Mohamed Yassin Chkouri and Marius Bozga, pages 65-79
  10. Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems
    Dries Langsweirdt, Yves Vandewoude and Yolande Berbers, pages 81-85
  11. 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
  12. Variability and Reconfiguration

  13. Design Complexity Management in Embedded System Design
    Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors and Johnny Nylund, pages 93-106
  14. Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems
    Goetz Botterweck, Andreas Polzer and Stefan Kowalewski, pages 107-121
  15. 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