Collaborative robots have experienced low acceptance in applications, especially in industry. 1 This fact has attracted the attention of researchers and practitioners, who point to different causes 2 for this low acceptance. One of the main reasons is the difficulty in converging on suitable methods 3 for modeling collaborative interactions between robots and their surrounding context during the 4 requirements phase. These interactions must be elicited and modeled during requirements modeling 5 to maximize value creation through collaboration and must be formally verified, taking into account 6 the risks of human-robot interaction. However, such modeling is often not present in collaborative 7 robot design, and the choice of an appropriate approach remains an open problem. In this paper, 8 this problem is addressed from a requirements engineering perspective, a goal-oriented model and 9 a service-based approach supported by an additional verification method based on Petri nets is 10 proposed. A case study based on collaborative robots used in a hospital environment is presented.
Keywords
Systems Design; Requirements Engineering; Collaborative Robots; Human-robot interaction; value co-creation
Subject
Engineering, Control and Systems Engineering
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
