| Vol-1337 urn:nbn:de:0074-1337-4 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SE-WS 2015
Software Engineering Workshops 2015

### Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015

### Dresden, 17.-18. März 2015.

Herausgegeben von

### Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg
Wolfgang Böhm, Technische Universität München
Clemens Grelck, Universität Amsterdam
Robert Heinrich, Karlsruher Institut für Technologie
Reiner Jung, Christian-Albrechts-Universität zu Kiel
Marco Konersmann, Universität Duisburg-Essen
Alexander Schlaefer, Technische Universität Hamburg-Harburg
Eric Schmieders, Universität Duisburg-Essen
Sibylle Schupp, Technische Universität Hamburg-Harburg
Baltasar Trancón Widemann, Technische Universität Ilmenau
Thorsten Weyer, Universität Duisburg-Essen

## Inhaltsverzeichnis

- Vorwort

### 1st Workshop on Fail Safety in Medical Cyber-Physical Systems

- Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data 1-6
  André Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
- A Concept for Fail Safe Robotic Needle Insertion in Soft Tissue 7-10
  Kevin Schulz, Christoph Otte, Gereon Hüttmann, Alexander Schlaefer
- Secured SOA for the Safe Interconnection of Medical Devices (Position Paper) 11-14
  Martin Leucker, Malte Schmitz
- Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management 15-18
  Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer
- Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver 19-23
  Jan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
- Open Software Platform for Cyber-Physical Medical Systems 24-30
  Jörg-Uwe Meyer

### Fünfter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020)

- Using dedicated Review Diagrams to detect Defective Functional Interplay in Function-Centered Engineering 31-40
  Marian Daun, Andrea Salmon, Thorsten Weyer
- An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models 41-50
  Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander
- Integration von Markov Modellen in Fehlerbäume 51-60
  Alexander Prohaska
- On the Explicit Consideration of Context Variability in the SPES Modeling Framework 61-70
  André Heuer, Tobias Kaufmann, Mihail Constantinescu-Fomino
- Variability Exchange Language - A Generic Exchange Format for Variability Data 71-80
  Michael Schulze, Robert Hellebrand
- A Concept to Guide the System Engineer During the Design Space Exploration Process 81-90
  Maike Rosinger, Matthias Büker, Raphael Weber
- A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study 91-100
  Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt

### 2nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS)

- Vorwort zum 2nd Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS'15) 101-102
  Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders
- Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software Systems 103-105
  Azadeh Alebrahim, Nazila Gol Mohammadi, Maritta Heisel
- Domain-spanning Maintainability Analysis for Software-intensive Systems 106-108
  Kiana Rostami
- Konsistenzprüfung von Architekturbeschreibungen mit Anforderungen mittels linguistischer Analyse 109-111
  Kai Niklas, Stefan Gärtner, Kurt Schneider
- On Enabling Technologies for Longevity in Software 112-114
  Mahdi Derakhshanmanesh, Marvin Grieger
- Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded Systems 115-117
  Marian Daun, Bastian Tenbergen, Jennifer Brings, Thorsten Weyer
- Evolution of the E-Assessment Framework JACK 118-120
  Michael Striewe, Björn Zurmaar, Michael Goedicke

### 8. Arbeitstagung Programmiersprachen

- Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015) 121-122
  Clemens Grelck, Baltasar Trancón Widemann
- Malleable Invasive Applications 123-126
  Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
- Adding overloading to Java type inference 127-132
  Andreas Stadelmeier, Martin Plümicke
- Equality, Identity, and a Modified Contract 133-139
  Beate Ritterbach, Axel Schmolitzky
- JoDroid: Adding Android Support to a Static Information Flow Control Tool 140-145
  Martin Mohr, Jürgen Graf, Martin Hecker
- Towards a Characterisation of Parallel Functional Applications 146-153
  Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson
- Capturing and Manipulating Context-sensitive Program Information 154-163
  Martin Trapp, Mathias Hedenborg, Jonas Lundberg, Welf Löwe
- Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut 164-170
  Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer

2015-03-06: submitted by Wolf Zimmermann, metadata incl. bibliographic data published under Creative Commons CC0
2015-03-07: published on CEUR-WS.org |valid HTML5|