| 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

- Here you can download the complete proceedings
- Below you can download each single contribution

## Table of Contents

- preface, pages 1-7

### Invited Talk

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

### 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

### 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

### 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

### 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