Departmental Papers (CIS)

Date of this Version

9-2015

Document Type

Conference Paper

Comments

This paper was presented at the 34th International Conference on Computer Safety, Reliability & Security (SAFECOMP 2015) Delft, the Netherlands, September 22-25, 2015.

Abstract

Traditional safety-critical systems are designed and integrated by a systems integrator. The system integrator can asses the safety of the completed system before it is deployed. In medicine, there is a desire to transition from the traditional approach to a new model wherein a user can combine various devices post-hoc to create a new composite system that addresses a specific clinical scenario. Ensuring the safety of these systems is challenging: Safety is a property of systems that arises from the interaction of system components and it’s not possible to asses overall system safety by assessing a single component in isolation. It is unlikely that end-users will have the engineering expertise or resources to perform safety assessments each time they create a new composite system. In this paper we describe a platform-oriented approach to providing assurance for plug & play medical systems as well as an associated assurance argument pattern.

Subject Area

CPS Medical

Publication Source

Lecture Notes in Computer Science: Computer Safety, Reliability, and Security

Volume

9337

Start Page

228

Last Page

242

DOI

10.1007/978-3-319-24255-2_17

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24255-2_17.

Keywords

medical device interoperability, safety assurance, compositional safety

Bib Tex

@incollection{
year={2015},
isbn={978-3-319-24254-5},
booktitle={Computer Safety, Reliability, and Security},
volume={9337},
series={Lecture Notes in Computer Science},
editor={Koornneef, Floor and van Gulijk, Coen},
doi={10.1007/978-3-319-24255-2_17},
title={Towards Assurance for Plug & Play Medical Systems},
url={http://dx.doi.org/10.1007/978-3-319-24255-2_17},
publisher={Springer International Publishing},
keywords={Medical device interoperability; Safety assurance; Compositional safety},
author={King, AndrewL. and Feng, Lu and Procter, Sam and Chen, Sanjian and Sokolsky, Oleg and Hatcliff, John and Lee, Insup},
pages={228-242},
language={English}
}

 

Date Posted: 05 November 2015

This document has been peer reviewed.