Abstract
Modern medical devices are increasingly developed by composing a variety of interoperable elements such as medical devices, services, and platform infrastructures. In many scenarios, multi-vendor consortia are organized to support the development and deployment of interoperable medical systems, in which safety-critical element implementations, risk management results, and safety assurance are reused across organizational boundaries. This reality calls for an assurance case approach that supports interfacing, refinement, and composition of distributed, component-level claims and evidences to construct system-level assurance argumentation. We present a collection of objectives and top-level safety claims towards the development of such an approach for interoperable systems built using medical application platforms.
B. Larson—This work is sponsored in part by US National Science Foundation and Food and Drug Administration Scholar-in-Residence program (CNS 1238431,1355778,1446544,1565544).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
ASTM: F-2761: Medical devices and medical systems - essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) - Part 1: general requirements and conceptual model (2009)
Denney, E., Pai, G.: Towards a formal basis for modular safety cases. In: Koornneef, F., van Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9337, pp. 328–343. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24255-2_24
Gorski, J., Jarzebowicz, A., Miler, J.: Validation of services supporting healthcare standards conformance. Metrol. Meas. Syst. 19(2), 269–284 (2012)
Hatcliff, J., et al.: Rationale and architecture principles for medical application platforms. In: Proceedings of the 2012 International Conference on Cyberphysical Systems, pp. 3–12 (2012)
Hawkins, R., Kelly, T., Habli, I.: Developing assurance cases for D-MILS systems. In: International Workshop on MILS: Architecture and Assurance for Secure Systems (2015)
ICE Alliance. http://www.icealliance.org
Kelly, T.: Concepts and principles of compositional safety case construction. Contract Research Report for QinetiQ COMSA/2001/1/1 34 (2001)
Kelly, T.: Using software architecture techniques to support the modular certification of safety-critical systems. In: Proceedings of the 11th Australian Workshop on Safety Critical Systems and Software, vol. 69, pp. 53–65 (2006)
Kim, Y.J., Procter, S., Hatcliff, J., Ranganath, V.P., Robby: ecosphere principles for medical application platforms. In: IEEE International Conference on Healthcare Informatics (ICHI) (2015)
King, A., et al.: An open test bed for medical device integration and coordination. In: Proceedings of the 31st International Conference on Software Engineering, pp. 141–151 (2009). https://doi.org/10.1109/ICSE-COMPANION.2009.5070972
MDPnP Program: OpenICE - open-source integrated clinical environment (2015). https://www.openice.info/
Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Generation of safety case argument-fragments from safety contracts. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 170–185. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10506-2_12
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 This is a U.S. government work and its text is not subject to copyright protection in the United States; however, its text may be subject to foreign copyright protection
About this paper
Cite this paper
Zhang, Y., Larson, B., Hatcliff, J. (2018). Assurance Case Considerations for Interoperable Medical Systems. In: Gallina, B., Skavhaug, A., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science(), vol 11094. Springer, Cham. https://doi.org/10.1007/978-3-319-99229-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-99229-7_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99228-0
Online ISBN: 978-3-319-99229-7
eBook Packages: Computer ScienceComputer Science (R0)