Challenges for the Dynamic Interconnection of Medical Devices

Martin Leucker

doi:10.1007/978-3-662-45231-8_29

Challenges for the Dynamic Interconnection of Medical Devices

Martin Leucker

Institute for Software Engineering and Programming Languages

1 Citation (Scopus)

Abstract

Medical devices, especiallywhen operated in the surgery room, are safety critical systems, as the patient’s life may depend on them. As such, there are high legal requirements to meet by the manufacturers of such devices. One of the typical requirements is that whenevermedical devices are interconnected, the whole setup has to be approved by the corresponding legal body. For economical reasons, however, it is desirable to interconnect devices from different manufacturers in an individual fashion for each surgery room. Then however no integration test has been carried out a priori and thus the whole setup could not have been approved. In other words such economical demands impose challenges both on the technical as well as the legal situation. In this contribution, we report on these challenges as well as on first ideas to address them.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Editors	Tiziana Margaria, Bernhard Steffen
Number of pages	4
Volume	LNCS 8803
Place of Publication	Berlin
Publisher	Springer Verlag
Publication date	01.10.2014
Pages	387-390
ISBN (Print)	978-3-662-45230-1
ISBN (Electronic)	978-3-662-45231-8
DOIs	https://doi.org/10.1007/978-3-662-45231-8_29
Publication status	Published - 01.10.2014
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece Duration: 08.10.2014 → 11.10.2014 Conference number: 110119

UN SDGs

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

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

10.1007/978-3-662-45231-8_29

Cite this

Leucker, M. (2014). Challenges for the Dynamic Interconnection of Medical Devices. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Vol. LNCS 8803, pp. 387-390). (Lecture Notes in Computer Science; Vol. LNCS 8803). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_29

@inproceedings{c064248a6fe641509d53e114fa202d2a,

title = "Challenges for the Dynamic Interconnection of Medical Devices",

abstract = "Medical devices, especiallywhen operated in the surgery room, are safety critical systems, as the patient{\textquoteright}s life may depend on them. As such, there are high legal requirements to meet by the manufacturers of such devices. One of the typical requirements is that whenevermedical devices are interconnected, the whole setup has to be approved by the corresponding legal body. For economical reasons, however, it is desirable to interconnect devices from different manufacturers in an individual fashion for each surgery room. Then however no integration test has been carried out a priori and thus the whole setup could not have been approved. In other words such economical demands impose challenges both on the technical as well as the legal situation. In this contribution, we report on these challenges as well as on first ideas to address them.",

author = "Martin Leucker",

year = "2014",

month = oct,

day = "1",

doi = "10.1007/978-3-662-45231-8\_29",

language = "English",

isbn = "978-3-662-45230-1",

volume = "LNCS 8803",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "387--390",

editor = "Margaria, \{Tiziana \} and Steffen, \{Bernhard \}",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation <br/>, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Leucker, M 2014, Challenges for the Dynamic Interconnection of Medical Devices. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications . vol. LNCS 8803, Lecture Notes in Computer Science, vol. LNCS 8803, Springer Verlag, Berlin, pp. 387-390, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
, Corfu, Greece, 08.10.14. https://doi.org/10.1007/978-3-662-45231-8_29

Challenges for the Dynamic Interconnection of Medical Devices. / Leucker, Martin.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications . ed. / Tiziana Margaria; Bernhard Steffen. Vol. LNCS 8803 Berlin: Springer Verlag, 2014. p. 387-390 (Lecture Notes in Computer Science; Vol. LNCS 8803).

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

TY - GEN

T1 - Challenges for the Dynamic Interconnection of Medical Devices

AU - Leucker, Martin

N1 - Conference code: 110119

PY - 2014/10/1

Y1 - 2014/10/1

N2 - Medical devices, especiallywhen operated in the surgery room, are safety critical systems, as the patient’s life may depend on them. As such, there are high legal requirements to meet by the manufacturers of such devices. One of the typical requirements is that whenevermedical devices are interconnected, the whole setup has to be approved by the corresponding legal body. For economical reasons, however, it is desirable to interconnect devices from different manufacturers in an individual fashion for each surgery room. Then however no integration test has been carried out a priori and thus the whole setup could not have been approved. In other words such economical demands impose challenges both on the technical as well as the legal situation. In this contribution, we report on these challenges as well as on first ideas to address them.

AB - Medical devices, especiallywhen operated in the surgery room, are safety critical systems, as the patient’s life may depend on them. As such, there are high legal requirements to meet by the manufacturers of such devices. One of the typical requirements is that whenevermedical devices are interconnected, the whole setup has to be approved by the corresponding legal body. For economical reasons, however, it is desirable to interconnect devices from different manufacturers in an individual fashion for each surgery room. Then however no integration test has been carried out a priori and thus the whole setup could not have been approved. In other words such economical demands impose challenges both on the technical as well as the legal situation. In this contribution, we report on these challenges as well as on first ideas to address them.

UR - https://www.scopus.com/pages/publications/84910629077

U2 - 10.1007/978-3-662-45231-8_29

DO - 10.1007/978-3-662-45231-8_29

M3 - Conference contribution

SN - 978-3-662-45230-1

VL - LNCS 8803

T3 - Lecture Notes in Computer Science

SP - 387

EP - 390

BT - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

CY - Berlin

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation <br/>

Y2 - 8 October 2014 through 11 October 2014

ER -

Challenges for the Dynamic Interconnection of Medical Devices

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this