{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T00:55:46Z","timestamp":1769216146362,"version":"3.49.0"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2004,6,1]],"date-time":"2004-06-01T00:00:00Z","timestamp":1086048000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Automat. Mag."],"published-print":{"date-parts":[[2004,6]]},"DOI":"10.1109\/mra.2004.1310941","type":"journal-article","created":{"date-parts":[[2004,7,13]],"date-time":"2004-07-13T13:27:59Z","timestamp":1089725279000},"page":"46-55","source":"Crossref","is-referenced-by-count":24,"title":["Medically safe and sound"],"prefix":"10.1109","volume":"11","author":[{"given":"G.","family":"Duchemin","sequence":"first","affiliation":[]},{"given":"P.","family":"Poignet","sequence":"additional","affiliation":[]},{"given":"E.","family":"Dombre","sequence":"additional","affiliation":[]},{"given":"F.","family":"Pierrot","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.1991.240565"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1992.220223"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"ref4","article-title":"Fundamental concepts of computer system dependability","volume-title":"Proc. 1st IARP\/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments","author":"Avizienis","year":"2001"},{"key":"ref5","first-page":"235","article-title":"Medical robotics","volume-title":"Proc. World Automation Congress (WAC): Robotic and Manufacturing Systems) Recent Results in Research, Development, and Applications","author":"Dohi","year":"1996"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40899-4_64"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1992.220224"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/51.391773"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.1991.240561"},{"key":"ref10","article-title":"Computer-integrated surgery: Coupling information to action in 21st century medicine","volume-title":"Keynote Address IEEE Int. Conf. Robotics and Automation (ICRA)","author":"Taylor","year":"2001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/51.391779"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/100.540149"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029298"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.846467"},{"key":"ref15","first-page":"245","article-title":"Requirements for safety related systems in medical area","volume-title":"Proc. Int. Advanced Robotics Program (IARP): Workshop on Medical Robots","author":"Genser","year":"1996"},{"key":"ref16","first-page":"311","article-title":"Safety of medical robots","volume-title":"Proc. IEEE Int. Conf. on Advanced Robotics (ICAR)","author":"Davies","year":"1993"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1361-8415(99)80025-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45468-3_37"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/4233.826854"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.1991.240559"},{"key":"ref21","first-page":"318","article-title":"The Neuro-Skill robot: A new approach for surgical robot development","volume-title":"Proc. Int. Symp. On Medical Robotics and Computer Assisted Surgery (MRCAS)","author":"Badano","year":"1995"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.845371"},{"key":"ref23","first-page":"161","article-title":"Robots in surgery","volume-title":"Proc. Int. Advanced Robotics Program (IARP): Workshop on Medical Robots","author":"Troccaz","year":"1996"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IRDS.2002.1043963"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1177\/027836499101000409"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1115\/1.2919218"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1177\/027836498600400406"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/70.265924"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4120-8_18"},{"key":"ref30","first-page":"148","article-title":"Specification of user interfaces for safety-critical systems","volume-title":"Proc. International Symp. on Medical Robotics and Computer Assisted Surgery (MRCAS)","author":"Elder","year":"1995"},{"key":"ref31","volume-title":"Fault-Tolerant Computing-Theory and Techniques","author":"Hecht","year":"1986"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79789-7"},{"key":"ref33","first-page":"218","article-title":"Software safety in a medical application","volume-title":"Proc. International Symp. on Medical Robotics and Computer Assisted Surgery (MRCAS)","author":"Wika","year":"1994"},{"key":"ref34","first-page":"90","article-title":"Formal verification to enforce the safety of robotically assisted surgical interventions","volume-title":"Proc. Surgetica 2002, Computer-Aided Medical Interventions: Tools and Applications","author":"Adhami","year":"2002"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.677218"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1146\/annurev.bioeng.1.1.211","article-title":"Robotics for surgery","volume":"1","author":"Howe","year":"1999","journal-title":"Ann. Rev. Biomedical Eng."},{"key":"ref37","first-page":"83","article-title":"Design of an interactive robot for surgical interventions","volume-title":"Proc. Surgetica 2002, Computer-Aided Medical Interventions: Tools and Applications","author":"Knappe","year":"2002"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/s026357470001941x"},{"key":"ref39","first-page":"285","article-title":"Computer assisted PERicardial punctures: Animal feasibility study","volume-title":"Proc. First Joint Conf. Computer Vision, Virtual Reality and Robotics in Medicine and Medial Robotics and Computer-Assisted Surgery (CVRMed-MRCAS)","volume":"1205","author":"Chavanon","year":"1997"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36268-1_38"},{"key":"ref41","article-title":"Intrinsically safe active robotic systems for medical applications","volume-title":"Proc 1st IARP\/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments","author":"Dombre","year":"2001"},{"key":"ref42","article-title":"Safety analysis of a medical robot for tele-echography","volume-title":"Proc. 2nd IARP\/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments","author":"Guiochet","year":"2002"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844827"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.817067"},{"key":"ref45","volume-title":"The C Programming Language","author":"Kernighan","year":"1988"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36268-1_36"}],"container-title":["IEEE Robotics & Automation Magazine"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/100\/29110\/01310941.pdf?arnumber=1310941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T21:24:17Z","timestamp":1743456257000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/1310941\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,6]]}},"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/mra.2004.1310941","relation":{},"ISSN":["1070-9932"],"issn-type":[{"value":"1070-9932","type":"print"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}