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|