| Vol-1250 urn:nbn:de:0074-1250-3 Copyright © 2014 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 2014
Model-based Architecting and Construction of Embedded Systems

### Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems
co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014)

### Valencia, Spain, September 30th, 2014.

Edited by

### Florian Noyrit *
Susanne Graf **
Iulia Dragomir ***

* CEA LIST, Saclay, France
** VERIMAG, Grenoble, France
*** IRIT-University of Toulouse, Toulouse, France

## Table of Contents

- Preface
- Towards Formal Model Driven Engineering (invited lecture) 5-5
  Julien DeAntoni
- Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto 6-15
  Muhammad Umer Tariq, Jacques Florence, Marilyn Wolf
- Reusing a Functional Safety Concept in Variable System Architectures 16-25
  Markus Oertel, Michael Schulze, Thomas Peikenkamp
- Towards Automating Interface Control Documents Elaboration and Management 26-33
  Hassna Louadah, Roger Champagne, Yvan Labiche
- fUML-Driven Performance Analysis through the MOSES Model Library 34-43
  Luca Berardinelli, Vittorio Cortellessa
- Formal Verification of SystemC Designs using the BLAST Software Model Checker 44-53
  Paula Herber, Bettina Hünnemeyer

2014-09-20: submitted by Iulia Dragomir
2014-09-20: published on CEUR-WS.org |valid HTML5|