Runtime Verification of Web Services for Interconnected Medical Devices

Normann Decker; Franziska Kühn; Daniel Thoma

doi:10.1109/ISSRE.2014.16

Runtime Verification of Web Services for Interconnected Medical Devices

Normann Decker, Franziska Kühn, Daniel Thoma

Abstract

This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.

Original language	English
Title of host publication	25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
Number of pages	10
Place of Publication	Naples, Italy
Publisher	IEEE Computer Society
Publication date	01.11.2014
Pages	235-244
ISBN (Print)	978-1-4799-6032-3
ISBN (Electronic)	978-1-4799-6033-0
DOIs	https://doi.org/10.1109/ISSRE.2014.16
Publication status	Published - 01.11.2014
Event	25th International Symposium on Software Reliability Engineering - Naples, Italy Duration: 03.11.2014 → 06.11.2014

UN SDGs

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

SDG 3 Good Health and Well-being
SDG 9 Industry, Innovation, and Infrastructure
SDG 11 Sustainable Cities and Communities
SDG 12 Responsible Consumption and Production

Access to Document

10.1109/ISSRE.2014.16

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

Cite this

Decker, N., Kühn, F., & Thoma, D. (2014). Runtime Verification of Web Services for Interconnected Medical Devices. In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014 (pp. 235-244). ( International Symposium on Software Reliability Engineering). IEEE Computer Society. https://doi.org/10.1109/ISSRE.2014.16

@inproceedings{3fae514df0134e169a3b6bb79491ca17,

title = "Runtime Verification of Web Services for Interconnected Medical Devices",

abstract = "This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.",

author = "Normann Decker and Franziska K{\"u}hn and Daniel Thoma",

year = "2014",

month = nov,

day = "1",

doi = "10.1109/ISSRE.2014.16",

language = "English",

isbn = "978-1-4799-6032-3",

series = " International Symposium on Software Reliability Engineering",

publisher = "IEEE Computer Society",

pages = "235--244",

booktitle = "25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014",

note = "25th International Symposium on Software Reliability Engineering ; Conference date: 03-11-2014 Through 06-11-2014",

}

Decker, N, Kühn, F & Thoma, D 2014, Runtime Verification of Web Services for Interconnected Medical Devices. in 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. International Symposium on Software Reliability Engineering, IEEE Computer Society, Naples, Italy, pp. 235-244, 25th International Symposium on Software Reliability Engineering, Naples, Italy, 03.11.14. https://doi.org/10.1109/ISSRE.2014.16

Runtime Verification of Web Services for Interconnected Medical Devices. / Decker, Normann; Kühn, Franziska; Thoma, Daniel.
25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. Naples, Italy: IEEE Computer Society, 2014. p. 235-244 ( International Symposium on Software Reliability Engineering).

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

TY - GEN

T1 - Runtime Verification of Web Services for Interconnected Medical Devices

AU - Decker, Normann

AU - Kühn, Franziska

AU - Thoma, Daniel

PY - 2014/11/1

Y1 - 2014/11/1

N2 - This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.

AB - This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.

U2 - 10.1109/ISSRE.2014.16

DO - 10.1109/ISSRE.2014.16

M3 - Conference contribution

SN - 978-1-4799-6032-3

T3 - International Symposium on Software Reliability Engineering

SP - 235

EP - 244

BT - 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014

PB - IEEE Computer Society

CY - Naples, Italy

T2 - 25th International Symposium on Software Reliability Engineering

Y2 - 3 November 2014 through 6 November 2014

ER -

Runtime Verification of Web Services for Interconnected Medical Devices

Abstract

UN SDGs

Access to Document

Fingerprint

Cite this