<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <issn pub-type="ppub">1613-0073</issn>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Assessment in Human-Robot Collaboration using Process Models</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Philipp Kranz</string-name>
          <email>philipp.kranz@thws.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Shaza Elbishbishy</string-name>
          <email>shaza.elbishbishy@study.thws.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jeshwitha Jesus Raja</string-name>
          <email>jeshwitha.jesusraja@study.thws.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Marian Daun</string-name>
          <email>marian.daun@thws.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>ER2024: Companion Proceedings of the 43rd International Conference on Conceptual Modeling: ER Forum</institution>
          ,
          <addr-line>Special Topics</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Safety Assessment</institution>
          ,
          <addr-line>Process Models, BPMN, Human-Robot Collaboration, Collaborative Robot</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Technical University of Applied Sciences Würzburg-Schweinfurt</institution>
          ,
          <addr-line>Schweinfurt</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2024</year>
      </pub-date>
      <fpage>28</fpage>
      <lpage>31</lpage>
      <abstract>
        <p>Future manufacturing scenarios increasingly rely on human-robot collaboration, where safety is a critical concern. To ensure safe collaboration in industrial automation, the underlying assembly process must be adequately considered. Therefore, we present a framework that uses graphically annotated process models to visualize safety hazards in collaborative assembly processes, providing experts with an easy-to-understand tool for their analysis.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>CEUR
ceur-ws.org</p>
    </sec>
    <sec id="sec-2">
      <title>1. Introduction</title>
      <p>CEUR
Workshop
Proceedings</p>
    </sec>
    <sec id="sec-3">
      <title>2. Related Work</title>
      <p>
        In recent years, the rise of cobots interacting with humans in shared environments has raised
safety concerns about HRC systems. In software and systems engineering, model-based
approaches aid in managing complex development. Daun et al. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] demonstrated the use of goal
models for early safety analyses of HRC systems. Awad et al. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] focused on model-driven risk
assessment to identify workplace hazards and estimate the impact of safety measures.
      </p>
      <p>
        Safety modeling in manufacturing, especially under the Industry 4.0 paradigm, is crucial
as failures can lead to significant harm [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Process models, particularly those based on the
BPMN 2.0 standard, have been proposed to model collaborative behaviors and ensure safety in
such interactions. Corradini et al. introduce an approach, which integrates formal verification
techniques into BPMN collaboration models to ensure software quality and safety, demonstrating
BPMN’s applicability in safety-critical contexts [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. Additionally, Corradini et al. propose
collaboration diagrams based on BPMN to model multi-robot collaboration, and highlight the
potential for extending these models to HRC [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
      </p>
      <p>
        The BPMN standard has also been integrated with other modeling techniques to enhance
safety management. For example, Mohammedi et al. developed a framework combining iStar
with BPMN to analyze trustworthiness and safety requirements in collaborative operations,
emphasizing how BPMN can be used to model responses to safety constraint violations [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
    </sec>
    <sec id="sec-4">
      <title>3. Using Process Models to support Safety Assessment in</title>
    </sec>
    <sec id="sec-5">
      <title>Human-Robot Collaboration</title>
      <p>
        Safety analysis is a critical and complex step in planning HRC assembly sequences. This
is particularly important as most hazards occur during process operation and maintenance
[
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. To ensure human safety, the process must be systematically analyzed in detail to prevent
overlooking any safety risks. The identification and severity of these risks significantly influence
the selection of appropriate mitigation strategies and determine whether the process is suitable
for close human-robot collaboration. Early identification of potential exclusion criteria in the
planning process is therefore highly beneficial. The use of BPMN can address this gap by
providing a detailed process analysis that captures these critical dimensions, thereby reducing
the likelihood of overlooking relevant safety risks.
      </p>
      <p>
        To improve safety analysis in HRC, the use of graphically annotated BPMN process models is
proposed. We adapt the security-oriented extension of BPMNs by Salnitri et al. [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] for safety
risks in the area of HRC. Specific safety risks are mapped to corresponding assembly steps
within the BPMN model, providing a detailed and systematic approach to analyzing safety. This
use of BPMN ensures that safety considerations are thoroughly integrated into the process
design, allowing for better identification and mitigation of potential risks.
      </p>
      <p>Table 1 shows graphical warning signs for eight common HRC safety risks that are used to
annotate the BPMNs. In addition, a multiple risks sign is introduced to indicate safety risks in
sub-processes of the BPMNs. Figure 1 shows the use of the BPMN process model to visually
highlight safety risks directly related to the process steps they might be triggered in.</p>
      <p>The example, shown in the figure, is taken from an assembly process for toy pickup trucks.</p>
      <p>The BPMN model provides a detailed representation of the collaborative assembly process. The
cobot initiates the process by picking and placing the load carrier, cabin, chassis and front axle
upside down in an assembly bracket. Meanwhile, the human operator prepares the axle holders
by inserting two screws in each holder. The operator then fixes the front axle with the prepared
axle holders with an electric screwdriver. This process is repeated for the back axle. The robot’s
ifve pick and place operations can be broken down further to assign risks to more specific
actions; they are therefore shown as sub-processes. ”Picks and places load carrier” shows an
example of the subdivision of the processes into the actions of reaching, grasping, bringing and
releasing, with the specific safety risks that can occur in each case.</p>
      <p>
        The warning signs embedded in the BPMN allow safety risks to be directly associated with
specific assembly steps and are easier for the user to understand than textual annotations [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ].
Due to the depicted process flow, the presented BPMNs can also be used to highlight successive
risks, which is particularly interesting when they influence each other. For example, in our toy
truck use case, a possible communication breakdown is immediately followed by the risk of
a collision between the operator and the robot. The lack of communication can significantly
increase the likelihood of such a collision.
      </p>
    </sec>
    <sec id="sec-6">
      <title>4. Conclusion</title>
      <p>This paper examines a systematic safety analysis for industrial HRC by integrating safety risks
into BPMN process models. Unlike other approaches that may only address specific aspects
of HRC, our approach integrates safety analysis from the early stages of development. Our
annotated BPMNs provide a structured notation that meticulously captures safety risks for each
task and the entire sequence, providing an easy-to-use tool for safety professionals.</p>
      <p>Our approach emphasizes using BPMN as a proactive tool for safety assessment. By visualizing
the process flow in BPMN, not only potential safety risks for specific steps, but also successive
risks become more apparent. This enables early identification and mitigation of risks in HRC,
improving the overall safety and reliability of the production process from the outset.</p>
      <p>In future work, we want to enhance the informative value of our annotation by emphasizing
the severity of a risk or a series of risks by employing a color-coding system. Furthermore, we
aim to determine if automated annotation is feasible for specific BPMN components, such as a
communication error for the message symbol.</p>
      <p>Picks and
places load
carrier
Holds back</p>
      <p>axle
Start pick and
place process</p>
      <p>Picks and
places cabin</p>
      <p>Picks and
places
chassis</p>
      <p>Picks and
places front
axle</p>
      <p>Holds front
axle</p>
      <p>Picks and
places back</p>
      <p>axle
Message received to
continue the process
Message received to
continue the process</p>
      <p>Picking and placing
all parts completed
Goes back to
initial
position</p>
      <p>Picks and places load carrier
Reaches for
load carrier</p>
      <p>Grasps load
carrier</p>
      <p>Brings load
carrier</p>
      <p>Releases load</p>
      <p>carrier</p>
      <p>No
Picks axle
holder</p>
      <p>Holds axle
holder</p>
      <p>Puts a screw
in each axle
holder slot</p>
      <p>Is there a
screw in
each slot?</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>A.</given-names>
            <surname>Wortmann</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Barais</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Combemale</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Wimmer</surname>
          </string-name>
          ,
          <article-title>Modeling languages in industry 4.0: an extended systematic mapping study</article-title>
          ,
          <source>Software and Systems Modeling</source>
          <volume>19</volume>
          (
          <year>2020</year>
          )
          <fpage>67</fpage>
          -
          <lpage>94</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>M.</given-names>
            <surname>Daun</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Manjunath</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. Jesus</given-names>
            <surname>Raja</surname>
          </string-name>
          ,
          <article-title>Safety analysis of human robot collaborations with grl goal models</article-title>
          ,
          <source>in: International Conference on Conceptual Modeling</source>
          , Springer,
          <year>2023</year>
          , pp.
          <fpage>317</fpage>
          -
          <lpage>333</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>R.</given-names>
            <surname>Awad</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Fechter</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. van Heerden</surname>
          </string-name>
          ,
          <article-title>Integrated risk assessment and safety consideration during design of hrc workplaces</article-title>
          ,
          <source>in: 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</source>
          , IEEE,
          <year>2017</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>10</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Liu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Xie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Chen</surname>
          </string-name>
          ,
          <article-title>A paradigm of safety management in industry 4.0</article-title>
          ,
          <string-name>
            <surname>Systems</surname>
            <given-names>Research</given-names>
          </string-name>
          <source>and Behavioral Science</source>
          <volume>37</volume>
          (
          <year>2020</year>
          )
          <fpage>632</fpage>
          -
          <lpage>645</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>F.</given-names>
            <surname>Corradini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Fornari</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Polini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Re</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Tiezzi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Vandin</surname>
          </string-name>
          ,
          <article-title>A formal approach for the analysis of bpmn collaboration models</article-title>
          ,
          <source>Journal of Systems and Software</source>
          <volume>180</volume>
          (
          <year>2021</year>
          )
          <fpage>111007</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>F.</given-names>
            <surname>Corradini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Pettinari</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Re</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Rossi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Tiezzi</surname>
          </string-name>
          ,
          <article-title>A bpmn-driven framework for multi-robot system development</article-title>
          ,
          <source>Robotics and Autonomous Systems</source>
          <volume>160</volume>
          (
          <year>2023</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>N. G.</given-names>
            <surname>Mohammadi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Heisel</surname>
          </string-name>
          ,
          <article-title>A framework for systematic analysis and modeling of trustworthiness requirements using i* and bpmn</article-title>
          , in: Trust, Privacy and Security in Digital Business: 13th International Conference, TrustBus
          <year>2016</year>
          , Porto, Portugal, September 7-
          <issue>8</issue>
          ,
          <year>2016</year>
          , Proceedings 13, Springer,
          <year>2016</year>
          , pp.
          <fpage>3</fpage>
          -
          <lpage>18</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>K.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Shin</surname>
          </string-name>
          , J.-Y. Lim,
          <article-title>Critical hazard factors in the risk assessments of industrial robots: causal analysis</article-title>
          and
          <source>case studies, Safety and health at work</source>
          <volume>12</volume>
          (
          <year>2021</year>
          )
          <fpage>496</fpage>
          -
          <lpage>504</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>M.</given-names>
            <surname>Salnitri</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Dalpiaz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Giorgini</surname>
          </string-name>
          ,
          <article-title>Designing secure business processes with secbpmn</article-title>
          ,
          <source>Software &amp; Systems Modeling</source>
          <volume>16</volume>
          (
          <year>2017</year>
          )
          <fpage>737</fpage>
          -
          <lpage>757</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10] D. Moody, The “physics”
          <article-title>of notations: toward a scientific basis for constructing visual notations in software engineering</article-title>
          ,
          <source>IEEE Transactions on software engineering 35</source>
          (
          <year>2009</year>
          )
          <fpage>756</fpage>
          -
          <lpage>779</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>