Abstract
Medical Application Platforms (MAPs) are an emerging paradigm for developing interoperable medical systems. Existing assurance-related concepts for conventional medical devices including hazard analyses, risk management processes, and assurance cases need to be enhanced and reworked to deal with notions of interoperability, reuse, and compositionality in MAPs.
In this paper, we present the motivation for a framework for defining and refining error types associated with interoperable systems and its relevance to safety standards development activities. This framework forms the starting point for the analysis and documentation of faults, propagations of errors related to those faults, and their associated hazards and mitigation strategies—all of which need to be addressed in risk management activities and assurance cases for these systems.
This work is supported in part by the US National Science Foundation (NSF) (#1239543), the NSF US Food and Drug Administration Scholar-in-Residence Program (#1355778,#1446544) and the NIH / NIBIB Quantum Program.
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
Notes
- 1.
Though these definitions are sourced from the AADL EM standard document, we note that they align well with, e.g., the taxonomy in [4].
- 2.
Some text in this section has been excerpted from unpublished communications as part of ongoing standardization efforts within the 2800 committee.
- 3.
References
Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.C., Laprie, J.C., Martins, E., Powell, D.: Fault injection for dependability validation: a methodology and some applications. IEEE Trans. Softw. Eng. 16(2), 166–182 (1990)
Arney, D., Pajic, M., Goldman, J.M., Lee, I., Mangharam, R., Sokolsky, O.: Toward patient safety in closed-loop medical device systems. In: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, pp. 139–148. ACM (2010)
ASTM International: ASTM F2761 - Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) (2009). www.astm.org
Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)
Ericson II, C.A.: Hazard Analysis Techniques for System Safety. Wiley, New York (2005)
Hatcliff, J., King, A., Lee, I., MacDonald, A., Fernando, A., Robkin, M., Vasserman, E., Weininger, S., Goldman, J.M.: Rationale and architecture principles for medical application platforms. In: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pp. 3–12. IEEE (2012)
Hicks, R.W., Sikirica, V., Nelson, W., Schein, J.R., Cousins, D.D.: Medication errors involving patient-controlled analgesia. Am. J. Health-Syst. Pharm. 65(5), 429–440 (2008)
King, A., Chen, S., Lee, I.: The middleware assurance substrate: enabling strong real-time guarantees in open systems with openflow. In: 17th IEEE Computer Society symposium on Object/component/service-oriented realtime distributed computing (ISORC). IEEE (2014)
King, A., Procter, S., Andresen, D., Hatcliff, J., Warren, S., Spees, W., Jetley, R., Jones, P., Weininger, S.: An open test bed for medical device integration and coordination. In: Proceedings of the 31st International Conference on Software Engineering (2009)
Procter, S., Hatcliff, J.: An architecturally-integrated, systems-based hazard analysis for medical applications. In: 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 124–133. IEEE (2014)
Procter, S., Hatcliff, J.: Robby: towards an AADL-based definition of app architectures for medical application platforms. In: Proceedings of the International Workshop on Software Engineering in Healthcare. Washington, DC, July 2014
SAE AS-2C Architecture Description Language Subcommittee: SAE Architecture Analysis and Design Language (AADL) Annex, vol. 3, Annex E: Error Model Language. Technical report SAE Aerospace, June 2014
SAE AS5506B: Architecture Analysis and Design Language (AADL). AS-5506B, SAE International (2004)
Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electron. Notes Theor. Comput. Sci. 141(3), 53–71 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Procter, S., Hatcliff, J., Weininger, S., Fernando, A. (2015). Error Type Refinement for Assurance of Families of Platform-Based Systems. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9338. Springer, Cham. https://doi.org/10.1007/978-3-319-24249-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-24249-1_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24248-4
Online ISBN: 978-3-319-24249-1
eBook Packages: Computer ScienceComputer Science (R0)