Experience with model-based user-centered risk assessment for service robots

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2010, Pages 104-113

  Guiochet, Jérémie ^a,b   Martin Guillerez, Damien ^a,b   Powell, David ^a,b  

^a LAAS CNRS   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Autonomous systems; HAZOP; Risk assessment; Safety; Service robot; UML

Indexed keywords

AUTONOMOUS SYSTEMS; HAZOP; SAFETY; SERVICE ROBOT; UML;

ERRORS; EXPLOSIONS; HEALTH RISKS; MATHEMATICAL MODELS; MOBILE ROBOTS; RATING; RISK PERCEPTION; ROBOTICS; SYSTEMS ENGINEERING; UNIFIED MODELING LANGUAGE; WALKING AIDS;

RISK ASSESSMENT;

EID: 79951902650     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2010.10     Document Type: Conference Paper

References (32)

1. L. Gunderson and J. Gunderson, "Chapter 10 - Deliberative System," in Robots, Reasoning, and Reification. Springer, 2009, pp. 121-137.
2. ISO/IEC-31010, "Risk management - risk assessment techniques," International Standard Organisation, 2009.
3. OMG-UML2, "OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2," Object Management Group, formal/2007-11-02, 2007.
4. IEC61882, "Hazard and operability studies (HAZOP studies) - Application guide," International Electrotechnical Commission, 2001.
5. MIRAS, "Multimodal Interactive Robot for Assistance in Strolling," Project supported by the French ANR (National Research Agency) under the TecSan (Healthcare Technologies) Program (ANR-08-TECS-009-04), http://www.miraswalker.com/index.php/en.
6. ISO/FDIS14971:2006, "Medical devices - Application of risk management to medical devices," International Standard Organisation, 2006.
7. ISO/IEC-Guide51, "Safety aspects - Guidelines for their inclusion in standards," International Organization for Standardization, 1999.
8. ISO/IEC-Guide73, "Risk management - Vocabulary - Guidelines for use in standards," International Organization for Standardization, 2002.
9. N. Stanton, P. Salmon, G. Walker, C. Baber, and D. P. Jenkins, Human Factors Methods: A Practical Guide for Engineering And Design. Ashgate Publishing, 2006.
10. M. Rausand and A. Hyland, System Reliability Theory: Models, Statistical Methods and Applications, 2nd Edition. Wiley, 2004.
11. D. Martin-Guillerez, J. Guiochet, D. Powell, and C. Zanon, "A UML-based method for risk analysis of human-robot interactions," in 2nd International Workshop on Software Engineering for Resilient Systems. ACM, Apr. 2010.
12. D. Martin-Guillerez, J. Guiochet, and D. Powell, "Experience with a model-based safety analysis process for an autonomous service robot," in IARP Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE 2010), Toulouse, France, 2010, pp. 1-8.
13. K. Hole and L.-H. Netland, "Toward risk assessment of largeimpact and rare events," IEEE Security and Privacy, vol. 8, pp. 21-27, 2010.
14. IEC61508, "Functional safety of electrical/ electronic/programmable electronic safety-related systems," International Electrotechnical Commission, Ed. 2, April 2010.
15. AIS98, "The abbreviated injury scale," Association for the Advancement of Automotive Medicine, Des Plaines, IL, USA, Tech. Rep., 1998.
16. ISO14121-1, "Safety of machinery - risk assessment - part1 principles," International Standard Organisation, 2007.
17. ISO11199-2:2005, "Walking aids manipulated by both arms - requirements and test methods - part 2: Rollators," International Standard Organisation, 2005.
18. DefStan00-58, "HAZOP studies on systems containing programmable electronics," Defence Standard, Ministry of Defence, UK, 2000.
19. M. Nokata and N. Tejima, "A safety strategy for rehabilitation robots," in Advances in Rehabilitation Robotics, Z. B. Stefanov and D., Eds. Springer-Verlag Berlin Heidelberg, 2004, pp. 177-185.
20. CORAS, "A platform for risk analysis of security critical systems," http://coras.sourceforge.net, http://www2.nr.no/coras/, 2010.
21. R. F. Bjørn Axel Gran and A. P.-J. Thunem, "An approach for model-based risk assessment," in 23rd International Conference, SAFECOMP 2004, Potsdam, Germany. Springer Berlin / Heidelberg, 2004, pp. 311-324.
22. R. Winther, O.-a. Johnsen, and B. A. Gran, "Security assessments for safety critical systems using hazops," in In: Proceedings of SAFECOMP 2001. Springer, 2001, p. 1424.
23. K. Lano, D. Clark, and K. Androutsopoulos, "Safety and security analysis of object-oriented models," in SAFECOMP '02: Proceedings of the 21st International Conference on Computer Safety, Reliability and Security. London, UK: Springer-Verlag, 2002, pp. 82-93.
24. K. M. Hansen, L. Wells, and T. Maier, "Hazop analysis of uml-based software architecture descriptions of safety-critical systems," in Proceedings of NWUML, 2004.
25. J. Gorski and A. Jarzebowicz, "Development and validation of a hazop-based inspection of uml models," in 3rd World Congress for Software Quality, Munich, Germany, 2005.
26. A. Jarzebowicz and J. Górski, "Empirical evaluation of reading techniques for uml models inspection." ITSSA, vol. 1, no. 2, pp. 103-110, 2006.
27. P. Johannessen, C. Grante, A. Alminger, U. Eklund, and J. Torin, "Hazard analysis in object oriented design of dependable systems," in 2001 International Conference on Dependable Systems and Networks, Göteborg, Sweden, 2001, pp. 507-512.
28. K. Allenby and T. Kelly, "Deriving safety requirements using scenarios," in Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on, 2001, pp. 228-235. (Pubitemid 32878098)
29. A. Arlow, C. Duffy, and J. McDermid, "Safety specification of the active traffic management control system for english motorways," in The First Institution of Engineering and Technology International Conference on System Safety, 2006.
30. I. Frantz, G. Andy, M. John, and I. Toyn, "Integrating safety and formal analyses using uml and pfs," Reliability Engineering and System Safety, vol. 92, no. 2, pp. 156-170, 2007. (Pubitemid 44633654)
31. T. Srivatanakul, "Security analysis with deviational techniques," Ph.D. dissertation, University of York, 2005.
32. J. Guiochet, G. Motet, C. Baron, and G. Boy, "Toward a human-centered UML for risk analysis - application to a medical robot," in Proc. of the 18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), C. Johnson and P. Palanque, Eds. Kluwer Academic Publisher, 2004, pp. 177-191.