CEUR-WS.org/Vol-1250 - Model-based Architecting and Construction of Embedded Systems 2014

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

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 |

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 .

Florian Noyrit *
Susanne Graf
Iulia Dragomir *

Table of Contents

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 .

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

Table of Contents

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 )

Florian Noyrit *
Susanne Graf
Iulia Dragomir *