Vol-1084
urn:nbn:de:0074-1084-1

Copyright © 2013 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.

ACESMB 2013
Model Based Architecting and Construction of Embedded Systems

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems
co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013)

Miami, Florida, USA, September 29th, 2013.

Edited by

Iulian Ober *
Florian Noyrit
Susanne Graf *
Gabor Karsai ****

* University of Toulouse-IRIT, Toulouse, France
** CEA LIST, Saclay, France
*** VERIMAG, Grenoble, France
**** Vanderbilt University, Nashville, TN - USA

Table of Contents

Modeling and Verification of Redundancy Policies
Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha
Modeling Executable Architectural Design Patterns for Software Product Lines
Julie Fant, Hassan Gomaa, Robert Pettit
Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems
Ramin Etemaadi, Michel Chaudron
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts
Markus Voelter, Daniel Ratiu, Federico Tomassetti
Model-based Power Consumption Analysis of Smartphone Applications
Shin Nakajima
Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile
Federico Ciccozzi
Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment
Christian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss
Integrating verifiable Assume/Guarantee contracts in UML/SysML
Iulia Dragomir, Iulian Ober, Christian Percebois

2013-11-15: submitted by Florian Noyrit
2013-11-15: published on CEUR-WS.org |valid HTML5|