Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications

摘要

Human-Robot Collaboration is increasingly prominent in peo-udple's lives and in the industrial domain, for example in manufacturingudapplications. The close proximity and frequent physical contacts betweenudhumans and robots in such applications make guaranteeing suitable levelsudof safety for human operators of the utmost importance. Formal veri-udcation techniques can help in this regard through the exhaustive explo-udration of system models, which can identify unwanted situations early inudthe development process. This work extends our SAFER-HRC method-udology with a rich non-deterministic formal model of operator behaviors,udwhich captures the hazardous situations resulting from human errors.udThe model allows safety engineers to rene their designs until all plausi-udble erroneous behaviors are considered and mitigated.