=Paper=
{{Paper
|id=Vol-1559/paper22
|storemode=property
|title=2nd Workshop on Fail Safety in Medical Cyber-Physical
Systems (FS-MCPS)
|pdfUrl=https://ceur-ws.org/Vol-1559/paper22.pdf
|volume=Vol-1559
|authors=Alexander Schlaefer, Sibylle Schupp, André Stollenwerk
|dblpUrl=https://dblp.org/rec/conf/se/SchlaeferSS16
}}
==2nd Workshop on Fail Safety in Medical Cyber-Physical
Systems (FS-MCPS)==
<pdf width="1500px">https://ceur-ws.org/Vol-1559/paper22.pdf</pdf>
<pre>
                               Alexander Schlaefer, Sibylle Schupp, Andre Stollenwerk (Hrsg.)
                    2nd Workshop on Fail Safety in Medical Cyber-Physical Systems, Wien 2016

2nd Workshop on Fail Safety in Medical Cyber-Physical
Systems (FS-MCPS)

Alexander Schlaefer and Sibylle Schupp and André Stollenwerk

{schlaefer,schupp}@tuhh.de, stollenwerk@embedded.rwth-aachen.de
http://www.aa4r.org/fs-mcps2016.html



Medical cyber-physical systems (MCPSs) extend the notion of conventional medical de-
vices to more complex technical systems in close connection to humans, e.g., acquiring
sensor data, controlling a treatment, or monitoring recovery. Typically, these systems in-
clude the patient in the loop and require a high degree of dependability and fail safety.
One challenge is the complex nature of physiological processes, which are often patient-
specific and less deterministic than in, e.g., engineering scenarios. Thus, many of the un-
derlying interactions are today still not modeled in detail. Another challenge is the growing
complexity of medical systems and devices themselves. Hence, fail safety of a MCPS can-
not be achieved within a single component or layer — neither the software layer nor any
other isolated layer —, but requires an interdisciplinary effort addressing different aspects,
including patient modeling, hardware, software, and communication.
The workshop covers these aspects and discusses software-engineering issues of MCPS.
Intended as a platform for interdisciplinary exchange the topics range from theoretical
foundation of fail safety to actual applications of MCPS. Interoperability and integration
of different devices has been an active research field, particularly as computer assistance
for decision support and guidance of interventional procedures requires an aggregation of
data provided by different systems. The design of interfaces and emerging standards for
interoperability must consider the safe operation of the overall system. This includes meet-
ing temporal constraints, e.g., when illustrating organ movements during image guidance
or for automated motion compensation. Moreover, consistent, fail safe, and secure data
exchange on the hardware and software level are essential for connecting devices, particu-
larly when longer distances are covered, e.g., for remote and ambient assistance scenarios.
The latter also require reliable network protocols and resource management. Architectures
and algorithms for the interaction in a MCPS, which are capable of tolerating latency and
package loss due to unstable connections, are desired. Furthermore, the implications of
change at one point in a system to the connected remainder is addressed.
Clearly, the move towards more complex systems in clinical practice is gradual and re-
quires compliance with existing regulations and integration with existing devices. Bring-
ing together researchers and practitioners in the field of MPCS we summarize the state
of the art and discuss obstacles and challenges on the way to fail-safe MCPS. We are
grateful for the keynote talk by Wolfgang Reisig (Humboldt Universität zu Berlin) and
the two tutorials on Polyspace and Uppaal by Christian Guss and Jakob Taankvist, who




                                             172
                              Alexander Schlaefer, Sibylle Schupp, Andre Stollenwerk (Hrsg.)
                   2nd Workshop on Fail Safety in Medical Cyber-Physical Systems, Wien 2016

present theoretical and practical aspects of software engineering and verification for med-
ical applications. We would also like acknowledge the members of our program commit-
tee Sabine Glesner, Christian Hansen, Klaus Radermacher, Asarnusch Rashid, Wolfgang
Reisig, Bernhard Rumpe, Stefan Schlichting, and Annette Stümpel.
Hamburg and Aachen, January 2016

Sibylle Schupp, Alexander Schlaefer, and André Stollenwerk




                                           173

</pre>