Abstract
Whereas in classic robotic applications there is a clear segregation between robots and operators, novel robotic and cyber-physical systems have evolved in size and functionality to include the collaboration with human operators within common workspaces. This new application field, often referred to as Human-Robot Collaboration (HRC), raises new challenges to guarantee system safety, due to the presence of operators. We present an innovative methodology, called SAFER-HRC, centered around our logic language TRIO and the companion bounded satisfiability checker Zot, to assess the safety risks in an HRC application. The methodology starts from a generic modular model and customizes it for the target system; it then analyses hazards according to known standards, to study the safety of the collaborative environment.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The complete O-R-L Model can be found at https://github.com/Askarpour/ORL-Model.
References
The Zot bounded satisfiability checker. http://github.com/fm-polimi/zot
Baracchi, L., Cimatti, A., Garcia, G., Mazzini, S., Puri, S., Tonetta, S.: Requirements refinement and component reuse: the FoReVer contract-based approach. In: Handbook of Research on Embedded Systems Design (2014)
Baresi, L., Kallehbasti, M.M.P., Rossi, M.: How bit-vector logic can help improve the verification of LTL specifications over infinite domains. In: Proceedings of SAC, pp. 1666–1673 (2016)
Dhillon, B.S., Fashandi, A.R.M.: Safety and reliability assessment techniques in robotics. Robotica 15(6), 701–708 (1997)
Espiau, B., Kapellos, K., Jourdan, M.: Formal verification in robotics: why and how? In: Giralt, G., Hirzinger, G. (eds.) Robotics Research, pp. 225–236. Springer, London (1996)
Fung, P., Norgate, G., Dilts, T., Jones, A., Ravindran, R.: Human-in-the-loop machine control loop. Patent nr. US 5116180 A (1992)
Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2012)
Guiochet, J.: Hazard analysis of human-robot interactions with HAZOP-UML. Saf. Sci. 84, 225–237 (2016)
Guiochet, J., Do Hoang, Q.A., Kaaniche, M., Powell, D.: Model-based safety analysis of human-robot interactions: the MIRAS walking assistance robot. In: Proceedings of the International Conference on Rehabilitation Robotics (ICORR), pp. 1–7 (2013)
International Electrotechnical Commission: IEC 61882, Hazard and operability studies (HAZOP studies) Application guide (2001)
International Standard Organisation: ISO10218-2:2011, Robots and robotic devices - Safety requirements for industrial robots - Part 2: Robot Systems and Integration
International Standard Organisation: ISO12100:2010, Safety of machinery - General principles for design - Risk assessment and risk reduction
International Standard Organisation: ISO13849-1:2015, Safety of machinery - Safety-related parts of control systems - Part 1: General principles for design
International Standard Organisation: ISO14121-2:2007, Safety of machinery - Risk assessment - Part 2
International Standard Organisation: ISO/TS15066:2015, Robots and robotic devices - Collaborative robots
Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011)
Machin, M., Dufossé, F., Blanquart, J.-P., Guiochet, J., Powell, D., Waeselynck, H.: Specifying safety monitors for autonomous systems using model-checking. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 262–277. Springer, Heidelberg (2014)
Machin, M., Dufossé, F., Guiochet, J., Powell, D., Roy, M., Waeselynck, H.: Model-checking and game theory for synthesis of safety rules. In: Proceedings of HASE (2015)
Martin-Guillerez, D., Guiochet, J., Powell, D., Zanon, C.: A UML-based method for risk analysis of human-robot interactions. In: Proceedings of SERENE, pp. 32–41. ACM (2010)
Pradella, M., Morzenti, A., San Pietro, P.: Bounded satisfiability checking of metric temporal logic specifications. ACM TOSEM 22(3), 1–54 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Askarpour, M., Mandrioli, D., Rossi, M., Vicentini, F. (2016). SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science(), vol 9922. Springer, Cham. https://doi.org/10.1007/978-3-319-45477-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-45477-1_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45476-4
Online ISBN: 978-3-319-45477-1
eBook Packages: Computer ScienceComputer Science (R0)