Monitoring as a Service for Networked Medical Cyber-Physical Systems

Franziska Kühn; Daniel Thoma; Dennis Labitzke; Stefan Fischer

doi:10.1109/IECON.2017.8217519

Monitoring as a Service for Networked Medical Cyber-Physical Systems

Franziska Kühn, Daniel Thoma, Dennis Labitzke, Stefan Fischer

Abstract

This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.

Original language	English
Title of host publication	IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
Number of pages	6
Place of Publication	Beijing, China
Publisher	IEEE Computer Society
Publication date	01.05.2017
Pages	8648-8653
ISBN (Print)	978-1-5386-1128-9
ISBN (Electronic)	978-1-5386-1127-2
DOIs	https://doi.org/10.1109/IECON.2017.8217519
Publication status	Published - 01.05.2017
Event	43rd Annual Conference of the IEEE Industrial Electronics Society - China National Convention Center, Beijing, China Duration: 29.10.2017 → 01.11.2017

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/IECON.2017.8217519

https://ieeexplore.ieee.org/document/8217519/

Cite this

@inproceedings{4de0f66b9bb54befb4ad3d7840a74305,

title = "Monitoring as a Service for Networked Medical Cyber-Physical Systems",

abstract = "This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.",

author = "Franziska K{\"u}hn and Daniel Thoma and Dennis Labitzke and Stefan Fischer",

year = "2017",

month = may,

day = "1",

doi = "10.1109/IECON.2017.8217519",

language = "English",

isbn = "978-1-5386-1128-9",

series = "Conference of the IEEE Industrial Electronics Society",

publisher = "IEEE Computer Society",

pages = "8648--8653",

booktitle = "IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society",

note = "43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 ; Conference date: 29-10-2017 Through 01-11-2017",

}

Kühn, F, Thoma, D, Labitzke, D & Fischer, S 2017, Monitoring as a Service for Networked Medical Cyber-Physical Systems. in IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Conference of the IEEE Industrial Electronics Society, IEEE Computer Society, Beijing, China, pp. 8648-8653, 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, 29.10.17. https://doi.org/10.1109/IECON.2017.8217519

Monitoring as a Service for Networked Medical Cyber-Physical Systems. / Kühn, Franziska; Thoma, Daniel; Labitzke, Dennis et al.
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Beijing, China: IEEE Computer Society, 2017. p. 8648-8653 (Conference of the IEEE Industrial Electronics Society).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Monitoring as a Service for Networked Medical Cyber-Physical Systems

AU - Kühn, Franziska

AU - Thoma, Daniel

AU - Labitzke, Dennis

AU - Fischer, Stefan

PY - 2017/5/1

Y1 - 2017/5/1

N2 - This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.

AB - This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.

U2 - 10.1109/IECON.2017.8217519

DO - 10.1109/IECON.2017.8217519

M3 - Conference contribution

SN - 978-1-5386-1128-9

T3 - Conference of the IEEE Industrial Electronics Society

SP - 8648

EP - 8653

BT - IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society

PB - IEEE Computer Society

CY - Beijing, China

T2 - 43rd Annual Conference of the IEEE Industrial Electronics Society

Y2 - 29 October 2017 through 1 November 2017

ER -

Monitoring as a Service for Networked Medical Cyber-Physical Systems

Abstract

UN SDGs

Access to Document

Fingerprint

Cite this