Towards Assurance for Plug & Play Medical Systems

Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
CPS Medical
medical device interoperability
safety assurance
compositional safety
Computer Engineering
Computer Sciences
Databases and Information Systems
Information Security
OS and Networks
Programming Languages and Compilers
Software Engineering
Grant number
Copyright date
Related resources

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.

Date of presentation
Conference name
Departmental Papers (CIS)
Conference dates
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher DOI
Journal Issue
This paper was presented at the 34th International Conference on Computer Safety, Reliability & Security (SAFECOMP 2015)( Delft, the Netherlands, September 22-25, 2015.
Recommended citation
@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={}, 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} }