Systems-theoretic safety assessment of robotic telesurgical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9337, Issue , 2015, Pages 213-227

  Alemzadeh, Homa ^a   Chen, Daniel ^a   Lewis, Andrew ^b   Kalbarczyk, Zbigniew ^a   Raman, Jaishankar ^c   Leveson, Nancy ^d   Iyer, Ravishankar ^a  

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

^b Applied Dexterity   (United States)

^c RUSH UNIVERSITY MEDICAL CENTER   (United States)

^d MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Fault injection; FDA MAUDE database; Hazard analysis; Robotic surgery; STAMP; STPA; System safety; Telerobotics

Indexed keywords

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; HAZARDS; INDUSTRIAL ROBOTS; OPEN SOURCE SOFTWARE; OPEN SYSTEMS; ROBOTIC SURGERY; SAFETY ENGINEERING; SOFTWARE TESTING; STAMPING; SURGERY;

FAULT INJECTION; HAZARD ANALYSIS; STPA; SYSTEM SAFETY; TELE-ROBOTICS;

ROBOTICS;

EID: 84969769891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-24255-2_16     Document Type: Conference Paper

References (21)

1. MAUDE: Manufacturer and User Facility Device Experience, U.S. Food and Drug Administration. http://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfMAUDE/search.CFM
2. Alemzadeh, H., et al.: Adverse events in robotic surgery: a retrospective study of 14 years of FDA data. Technical report (2015). http://arxiv.org/abs/1507.03518v2
3. Cotroneo, D., Natella, R.: Fault injection for software certification. IEEE Secur. Priv. 11(4), 38–45 (2013)
4. Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, New York (2011)
5. Balgos, V.: A systems theoretic application to design for the safety of medical devices. SDM Master’s Thesis, Engineering Systems Division, MIT, Cambridge (2012)
6. Hsueh, M.C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer 30(4), 75–82 (1997)
7. Arlat, J., et al.: Fault injection for dependability validation: a methodology and some applications. IEEE Trans. Softw. Eng. 16(2), 166–182 (1990)
8. Hannaford, B., et al.: RAVEN-II: an open platform for surgical robotics research. IEEE Trans. Biomed. Eng. 60(4), 954–959 (2013)
9. King, H.H., et al.: Plugfest 2009: global interoperability in telerobotics and telemedicine. In: IEEE International Conference on Robotic Automation (ICRA), pp. 1733–1738. IEEE Press (2010)
10. Robotic Surgery Simulator (RoSS), Simulated Surgical Systems. http://www.simulatedsurgicals.com/
11. RAVEN II Source Code, University of Washington. http://astro.ee.washington.edu/raven2docs/
12. Lum, E., et al.: The RAVEN: Design and validation of a telesurgery system. Int. J. Robot. Res. 28(9), 1183–1197 (2009)
13. Safety Assessment of RAVEN II Robot. http://web.engr.illinois.edu/*alemzad1/papers/RAVEN.html
14. The da Vinci® Surgical System. http://www.intuitivesurgical.com/products/davinci_ surgical_system/
15. Chen, D., et al.: Error behavior comparison of multiple computing systems: a case study using Linux on Pentium, Solaris on SPARC, and AIX on POWER. In: 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008). IEEE Press (2008)
16. Faza, A., Sedigh, S., McMillin, B.: Integrated cyber-physical fault injection for reliability analysis of the smart grid. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 277–290. Springer, Heidelberg (2010)
17. Di Martino, C., et al.: Analysis and diagnosis of SLA violations in a production SaaS cloud. In: 25th International Symposium on Software Reliability Engineering (ISSRE), pp.178–188. IEEE Press (2014)
18. Park, J.D., et al.: Method of fault injection for medical device based on ISO 26262. In: 18th IEEE International Symposium on Consumer Electronics (ISCE 2014), pp. 1–2. IEEE Press (2014)
19. Majikes, J.J., et al.: Literature review of testing techniques for medical device software. In: 4th Medical Cyber-Physical Systems Workshop (MCPS 2013). ACM Press (2013)
20. Ishimatsu, T., et al.: Hazard analysis of complex spacecraft using systems-theoretic process analysis. J. Spacecraft Rockets 51(2), 509–522 (2014)
21. Antoine, B.: Systems Theoretic Hazard Analysis (STPA) applied to the risk review of complex systems: an example from the medical device industry. Ph.D. Dissertion, Massachusetts Institute of Technology (2013)