Safety requirements for symbiotic human–robot collaboration systems in smart factories: a pairwise comparison approach to explore requirements dependencies

Industry 4.0 is expected to deliver significant productivity gain taking advantage of Internet of things (IoT). Smart solutions, enhanced by IoT, are constantly driving revolutionary approaches in multiple domains. Smart factories are one domain where intelligent integrated robotic systems will revolutionize manufacturing, resulting in a complex ecosystem, where humans, robots and machinery are combined. In this setting, human safety requirements are of paramount importance. This paper focuses on symbiotic human–robot collaboration systems (HRC), where human safety requirements are essential. Hence, it aims to explore and prioritize human safety requirement dependencies, as well as their dependencies with other critical requirements of smart factory operation, as effectiveness and performance. Toward this end, the proposed approach is based on SysML to represent the requirements dependencies and pairwise comparisons, a fundamental decision-making method, to quantify the importance of these dependencies. This model-driven approach is used as the primary medium for conveying traceability among human safety requirements as well as traceability from safety requirements to effectiveness and performance requirements in the system model. The analysis is based on the operational requirements identified in the European project HORSE, which aims to develop a methodological/technical framework for easy adaptation of robotic solutions from small-/medium-sized enterprises. Validation of the results is also performed to further elaborate on human safety requirement dependency exploration. The outcomes of this paper may be beneficial for symbiotic HRC systems in the early design stage. As the system is being developed with an emphasis on human safety, all these requirements that have been assessed with highly prioritized dependencies should be taken into account, whereas those with negligible ones have to be ignored since they do not significantly affect the rest of the process. Since operational requirements may be conflicted and incompatible, this approach may be very useful for other systems as well during the system design phase to find the appropriate solution satisfying the majority of the requirements, giving a priority to the ones with highly ranked dependencies and hence facilitating the implementation phase and afterward the production line. The outcomes may be used as a step in developing a model-driven approach which should be able to support the manufacturing process, facilitating the integration of systems and software modeling, which is increasingly important for robotic systems in smart factories incorporating HRC.

[1]  Evangelos Triantaphyllou,et al.  Multi-criteria Decision Making Methods: A Comparative Study , 2000 .

[2]  Dana Kulic,et al.  Real-time safety for human - robot interaction , 2005 .

[3]  Thomas Sphicopoulos,et al.  Convergence properties and practical estimation of the probability of rank reversal in pairwise comparisons for multi-criteria decision making problems , 2015, Eur. J. Oper. Res..

[4]  Ray Dawson,et al.  Repetition between stakeholder (user) and system requirements , 2017, Requirements Engineering.

[5]  Klaus Pohl,et al.  Industry needs and research directions in requirements engineering for embedded systems , 2011, Requirements Engineering.

[6]  Thomas L. Saaty,et al.  Decision-making with the AHP: Why is the principal eigenvector necessary , 2003, Eur. J. Oper. Res..

[7]  Björn Matthias,et al.  Safety of Industrial Robots: From Conventional to Collaborative Applications , 2012, ROBOTIK.

[8]  Liming Zhu,et al.  Investigating dependencies in software requirements for change propagation analysis , 2014, Inf. Softw. Technol..

[9]  Thomas L. Saaty,et al.  Models, Methods, Concepts & Applications of the Analytic Hierarchy Process , 2012 .

[10]  Mara Nikolaidou,et al.  Integrating cost analysis in the cloud: A SoS approach , 2015, 2015 11th International Conference on Innovations in Information Technology (IIT).

[11]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[12]  Alexander Kossiakoff,et al.  Systems Engineering Principles and Practice , 2020 .

[13]  Jonas Westman,et al.  Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions , 2017, Requirements Engineering.

[14]  Nancy G. Leveson,et al.  Integrated safety analysis of requirements specifications , 2008, Requirements Engineering.

[15]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[16]  Alexander Kossiakoff,et al.  Systems Engineering Principles and Practice: Kossiakoff/Systems Engineering Principles and Practice , 2005 .

[17]  Brian Berenbach,et al.  Software & Systems Requirements Engineering: In Practice , 2009 .

[18]  T. Kamalakis,et al.  Evaluation of Optical Wireless Technologies in Home Networking: An Analytical Hierarchy Process Approach , 2011, IEEE/OSA Journal of Optical Communications and Networking.

[19]  Donald Firesmith,et al.  Prioritizing Requirements , 2004, J. Object Technol..

[20]  Anders P. Ravn,et al.  From Safety Analysis to Software Requirements , 1998, IEEE Trans. Software Eng..

[21]  Ruzanna Chitchyan,et al.  Formal semantic conflict detection in aspect-oriented requirements , 2009, Requirements Engineering.

[22]  Lihui Wang,et al.  Current status and advancement of cyber-physical systems in manufacturing , 2015 .

[23]  Donald Firesmith,et al.  Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements , 2004, J. Object Technol..

[24]  Jean Pierre Brans,et al.  HOW TO SELECT AND HOW TO RANK PROJECTS: THE PROMETHEE METHOD , 1986 .

[25]  Aude Billard,et al.  Safety issues in human-robot interactions , 2013, 2013 IEEE International Conference on Robotics and Automation.

[26]  Paul Grefen,et al.  The HORSE project: IoT and cloud solutions for dynamic manufacturing processes , 2018, ESOCC 2018.

[27]  Heru Supriyono,et al.  Developing decision support systems using the weighted product method for house selection , 2018 .

[28]  Thomas Sphicopoulos,et al.  Theoretical estimation of the probability of weight rank reversal in pairwise comparisons , 2016, Eur. J. Oper. Res..

[29]  Jin Wang,et al.  A subjective methodology for safety analysis of safety requirements specifications , 1997, IEEE Trans. Fuzzy Syst..

[30]  Paul Grefen,et al.  Developing a cyber-physical system for hybrid manufacturing in an internet-of-things context , 2018, IoT 2018.

[31]  Dana Kulic,et al.  Pre-collision safety strategies for human-robot interaction , 2007, Auton. Robots.

[32]  Koji Ikuta,et al.  Safety Evaluation Method of Design and Control for Human-Care Robots , 2003, Int. J. Robotics Res..

[33]  Dana Kulic,et al.  Measurement Instruments for the Anthropomorphism, Animacy, Likeability, Perceived Intelligence, and Perceived Safety of Robots , 2009, Int. J. Soc. Robotics.

[34]  Lucas Venezian Povoa,et al.  Software requirements testing approaches: a systematic literature review , 2019, Requirements Engineering.

[35]  Tim Kelly,et al.  Deriving safety requirements using scenarios , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[36]  Sanford Friedenthal,et al.  OMG Systems Modeling Language (OMG SysML™) Tutorial , 2008 .

[37]  Paul W. P. J. Grefen,et al.  Supporting Hybrid Manufacturing: Bringing Process and Human/Robot Control to the Cloud (Short Paper) , 2016, 2016 5th IEEE International Conference on Cloud Networking (Cloudnet).

[38]  Haiyan Zhao,et al.  A feature-oriented approach to modeling requirements dependencies , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[39]  Abbes Amira,et al.  A Model-based Approach for Managing Criticality Requirements in e-Health IoT Systems , 2018, 2018 13th Annual Conference on System of Systems Engineering (SoSE).

[40]  Rolf Drechsler,et al.  Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0" , 2014, APMS.

[41]  Stuart Anderson,et al.  Requirements Evolution from Process to Product Oriented Management , 2001, PROFES.

[42]  Klaus-Dieter Thoben,et al.  "Industrie 4.0" and Smart Manufacturing - A Review of Research Issues and Application Examples , 2017, Int. J. Autom. Technol..

[43]  Ronald R. Yager,et al.  Modeling prioritized multicriteria decision making , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).