{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:53:16Z","timestamp":1730253196685,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icorr.2013.6650433","type":"proceedings-article","created":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T20:41:03Z","timestamp":1383338463000},"page":"1-7","source":"Crossref","is-referenced-by-count":12,"title":["Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot"],"prefix":"10.1109","author":[{"given":"Jeremie","family":"Guiochet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Quynh Anh Do Hoang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Kaaniche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Powell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3054-3_30"},{"journal-title":"Int l Standardisation Organisation","article-title":"Medical devices-Application of risk management to medical devices","year":"2006","key":"22"},{"journal-title":"Security Analysis with Deviational Techniques","year":"2005","author":"srivatanakul","key":"17"},{"journal-title":"International Electrotechnical Commission","article-title":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems","year":"0","key":"23"},{"journal-title":"Arguing Safety-A Systematic Approach to Managing Safety Cases","year":"1998","author":"kelly","key":"18"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1049\/cp:20060203"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.060"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941436"},{"key":"14","first-page":"228","article-title":"Deriving safety requirements using scenarios","author":"allenby","year":"2001","journal-title":"Requirements Engineering Proceedings Fifth IEEE Int Symp On 2001"},{"key":"11","article-title":"Development and validation of a HAZOP-based inspection of UML models","author":"gorski","year":"2005","journal-title":"World Congress of Software Quality"},{"key":"12","first-page":"103","article-title":"Empirical evaluation of reading techniques for UML models inspection","volume":"1","author":"jarzebowicz","year":"2006","journal-title":"ITSSA"},{"journal-title":"Human Factors Methods A Practical Guide for Engineering And Design","year":"2006","author":"stanton","key":"21"},{"key":"3","article-title":"Applying existing standards to a medical rehabilitation robot: Limits and challenges","author":"guiochet","year":"2012","journal-title":"Workshop FW5 Safety in Human-Robot Coexistence &Interaction How Can Standardization and Research Benefit from Each Other IEEE\/RSJ Int Conf on Intelligent Robots and Systems (IROS2012)"},{"journal-title":"Defence Standard","article-title":"HAZOP studies on systems containing programmable electronics","year":"2000","key":"20"},{"key":"2","article-title":"Humanrobot interactions: Model-based risk analysis and safety case construction","author":"do hoang","year":"2012","journal-title":"Embedded Real Time Software and Systems (ERTS2012)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2401736.2401740"},{"key":"10","article-title":"HAZOP analysis of UML-based software architecture descriptions of safety-critical systems","author":"hansen","year":"2004","journal-title":"Nordic Workshop on UML and Software Modeling (NWUML04)"},{"journal-title":"UK Ministry of Defence","article-title":"Defence standard 00-56 issue 4: Safety management requirements for defence systems","year":"2007","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1534-2_14"},{"journal-title":"International Organization for Standardization","article-title":"Safety aspects-Guidelines for their inclusion in standards","year":"1999","key":"5"},{"journal-title":"Project Supported by the French ANR","article-title":"Multimodal interactive robot for assistance in strolling","year":"0","key":"4"},{"journal-title":"Object Management Group","article-title":"OMG unified modeling language (omg uml), superstructure, v2.1.2","year":"2007","key":"9"},{"journal-title":"International Electrotechnical Commission","article-title":"Hazard and operability studies (HAZOP studies)-Application guide","year":"2001","key":"8"}],"event":{"name":"2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR 2013)","start":{"date-parts":[[2013,6,24]]},"location":"Seattle, WA","end":{"date-parts":[[2013,6,26]]}},"container-title":["2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636282\/6650332\/06650433.pdf?arnumber=6650433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:18:18Z","timestamp":1490221098000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6650433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icorr.2013.6650433","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}