Analysis of safety-critical computer failures in medical devices

IEEE Security and Privacy

Volumn 11, Issue 4, 2013, Pages 14-26

  Alemzadeh, Homa ^a   Iyer, Ravishankar K ^a   Kalbarczyk, Zbigniew ^a   Raman, Jai ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b RUSH UNIVERSITY MEDICAL CENTER   (United States)

Author keywords

failure analysis; FDA; FDA adverse events; FDA recalls; Food and Drug Administration; MAUDE database; medical devices; safety

Indexed keywords

ADVERSE EVENTS; FDA; FDA RECALLS; FOOD AND DRUG ADMINISTRATION; MEDICAL DEVICES;

ACCIDENT PREVENTION; FAILURE ANALYSIS; FOOD SAFETY; HEALTH RISKS; MEDICAL COMPUTING; SAFETY ENGINEERING;

BIOMEDICAL EQUIPMENT;

EID: 84881523410     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSP.2013.49     Document Type: Article

References (15)

1. B. Zhivko, G. Mitalas, and N. Pallikarakis, "Analysis and Classification of Medical Device Recalls," Proc. Int'l Federation Medical and Biological Engineering, Springer, 2006, pp. 3782-3785.
2. "Medical Device Databases," US Food and Drug Administration, 5 Mar. 2013; www.fda.gov/MedicalDevices/DeviceRegulationandGuidance/Databases/ default.htm.
3. D. Wallace and D. Kuhn, "Failure Modes in Medical Device Software: An Analysis of 15 Years of Recall Data," Int'l J. Reliability Quality and Safety Eng., vol. 8, no. 4, 2001, pp. 351-372.
4. K. Fu, "Trustworthy Medical Device Software," Public Health Effectiveness of the FDA 510(k) Clearance Process, Nat'l Academies Press, 2011, p. 102.
5. W.H. Maisel et al., "Recalls and Safety Alerts Involving Pacemakers and Implantable Cardioverter-Defibrillator Generators," J. American Medical Assoc., vol. 286, no. 7, 2001, pp. 793-799. (Pubitemid 33015572)
6. N. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety, MIT Press, 2011.
7. D.B. Kramer et al., "Security and Privacy Qualities of Medical Devices: An Analysis of FDA Postmarket Surveillance," PLoS ONE, vol. 7, no. 7, 2012, pp. 1-7.
8. Guidance for Industry and FDA Staff - Total Product Life Cycle: Infusion Pump - Premarket Notification [510(k)] Submissions," US Food and Drug Administration, Apr. 2010; www.fda.gov/medicalDevices/ DeviceRegulationandGuidance/GuidanceDocuments/ucm206153.htm.
9. D.E. Arney et al., Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0, tech. report MSCIS- 08-31, Dept. Computer and Information Science, University of Pennsylvania, Feb. 2009.
10. K. Pattabiraman et al., "SymPLFIED: Symbolic Program- Level Fault Injection and Error Detection Framework," Proc. IEEE Int'l Conf. Dependable Systems and Networks (DSN), IEEE, 2008, pp. 472-481.
11. K. Pattabiraman, Z. Kalbarczyk, and R.K. Iyer, "Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach," IEEE Trans. Dependable and Secure Computing, vol. 8, no. 1, 2011, pp. 44-57.
12. "External Defibrillator Improvement Initiative," US Food and Drug Administration, Nov. 2010; www.fda.gov/downloads/MedicalDevices/ ProductsandMedicalProcedures/CardiovascularDevices/ExternalDefibrillators/ UCM233824.pdf.
13. "Pulse Oximeters - Premarket Notification Submissions [510(k)s] Guidance for Industry and FDA Staff," US Food and Drug Administration, Mar. 2013; www.fda.gov/MedicalDevices/DeviceRegulationandGuidance/GuidanceDocuments/ ucm341718.htm.
14. R. Jetley, S.P. Iyer, and P.L. Jones, "A Formal Methods Approach to Medical Device Review," Computer, vol. 39, no. 4, 2006, pp. 61-67.
15. E. Jee, I. Lee, and O. Sokolsky, "Assurance Cases in Model Driven Development of the Pacemaker Software," Leveraging Applications of Formal Methods, Verification, and Validation, LNCS 6416, 2010, pp. 343-356.