Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

The Challenges of High-Confidence Medical Device Software

Published: 01 January 2016 Publication History

Abstract

Bringing new safety-critical medical devices to market faces several major challenges, but modeling and formal methods can facilitate this process from early system requirements verification to platform-level testing to late-stage clinical trials.

References

[1]
A.J. Moss et al., “Prophylactic Implantation of a Defibrillator in Patients with Myocardial Infarction and Reduced Ejection Fraction,” The New England J. Medicine, vol. 346, no. 12, 2002, pp. 877–883.
[2]
SelectUSA.gov, “The Medical Device Industry” [Online]. Available: http://selectusa.commerce.gov/industry-snapshots/medical-device-industry-united-states.html.
[3]
US Food and Drug Administration, Medical Device Recall Report: FY2003 to FY2012; [Online]. Available: www.fda.gov/downloads/aboutfda/centersoffices/officeofmedicalproductsandtobacco/cdrh/cdrhtransparency/ucm388442.pdf.
[4]
Personal communication with Paul L. Jones, senior systems/software engineer, Office of Science and Eng. Labs, US Food and Drug Administration, 2011.
[5]
M. Ghorbani and P. Bogdan, “A Cyber-Physical System Approach to Artificial Pancreas Design,” Proc. 9th IEEE/ACM/IFIP Int'l Conf. Hardware/Software Codesign and System Synthesis (CODES+ISSS 13), 2013;.
[6]
A.J. Pullan, M.L. Buist, and L.K. Cheng, Mathematically Modelling the Electrical Activity of the Heart: From Cell to Body Surface and Back Again, World Scientific Publishing Co., 2005.
[7]
N.A. Trayanova and P.M. Boyle, “Advances in Modeling Ventricular Arrhythmias: From Mechanisms to the Clinic,” Wiley Interdisciplinary Reviews: Systems Biology and Medicine, vol. 6, no. 2, 2014, pp. 209–224.
[8]
Z. Jiang, M. Pajic, and R. Mangha-ram, “Cyber-Physical Modeling of Implantable Cardiac Medical Devices,” in Proc. IEEE, vol. 100, no. 1, 2012, pp. 122–137.
[9]
P. Bogdan et al., “Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems Perspective,” Proc. IEEE/ACM 3rd Int'l Conf. Cyber-Physical Systems (ICCPS 12), 2012, pp. 23–32.
[10]
E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 1999.
[11]
M. Pajic et al., “Safety-Critical Medical Device Development Using the UPP2SF Model Translation Tool,” ACM Trans. Embedded Computing Systems, vol. 13, no. 4s, 2014;.
[12]
L.M. Friedman, C.D. Furberg, and D.L. DeMets, Fundamentals of Clinical Trials, 4th ed., Springer, 2010.

Cited By

View all
  • (2018)A systematic literature review of the use of formal methods in medical software systemsJournal of Software: Evolution and Process10.1002/smr.194330:5Online publication date: 17-May-2018
  • (2017)A Novel Emulation Model of the Cardiac Conduction SystemACM Transactions on Embedded Computing Systems10.1145/312654216:5s(1-20)Online publication date: 27-Sep-2017

Recommendations

Comments

Information & Contributors

Information

Published In

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 January 2016

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 21 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2018)A systematic literature review of the use of formal methods in medical software systemsJournal of Software: Evolution and Process10.1002/smr.194330:5Online publication date: 17-May-2018
  • (2017)A Novel Emulation Model of the Cardiac Conduction SystemACM Transactions on Embedded Computing Systems10.1145/312654216:5s(1-20)Online publication date: 27-Sep-2017

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media