3 research outputs found
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
Human-Robot Collaboration is increasingly prominent in peo-
ple's lives and in the industrial domain, for example in manufacturing
applications. The close proximity and frequent physical contacts between
humans and robots in such applications make guaranteeing suitable levels
of safety for human operators of the utmost importance. Formal veri-
cation techniques can help in this regard through the exhaustive explo-
ration of system models, which can identify unwanted situations early in
the development process. This work extends our SAFER-HRC method-
ology with a rich non-deterministic formal model of operator behaviors,
which captures the hazardous situations resulting from human errors.
The model allows safety engineers to rene their designs until all plausi-
ble erroneous behaviors are considered and mitigated