Error Type Refinement for Assurance of Families of Platform-Based Systems
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.
KeywordsInteroperable medical systems Hazard analyses Faults Errors Reusable components and assurance
- 2.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)Google Scholar
- 3.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
- 6.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)Google Scholar
- 8.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)Google Scholar
- 9.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)Google Scholar
- 10.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)Google Scholar
- 11.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 2014Google Scholar
- 12.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 2014Google Scholar
- 13.SAE AS5506B: Architecture Analysis and Design Language (AADL). AS-5506B, SAE International (2004)Google Scholar