SE-WS 2015
Software Engineering Workshops 2015

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