MARVer: a Tool for Verification of Robotic System’s Safety

EasyChair Preprint no. 8799

Abstract

Robotic system developers generally perform the safety verification of the developed systems with testing methods based on their experience. However, robotic systems have become more autonomous and complex, with the need to make production processes more flexible. In this case, there is a need for formal and automated verification tools to make the safety verification of the robotic systems more reliable, least dependent on the human factor, and less workload. With this motivation, this paper presents a tool developed for safety verification for robotic systems. The Model Aided Runtime Verification Tool (MARVer) employs model-checking and runtime verification methods combinatory making the verification process more formal, predictable, and repeatable manner as well as increasing the scope of verification. An experiment was conducted on an automated robotic inspection cell for the quality control of automotive body-in-white (ROKOS).

Keyphrases: model checking, Robotics, runtime verification, Verification and Validation

@Booklet{EasyChair:8799,
  author = {Zekeriyya Demirci and Metin Özkan and Muhammed Talha Şahin and Hüseyin Can Ergün and Ahmet Yazıcı},
  title = {MARVer: a Tool for Verification of Robotic System’s Safety},
  howpublished = {EasyChair Preprint no. 8799},

  year = {EasyChair, 2022}}