Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System

DEĞİRMENCİ E., KIRCA Y. S., ÖRNEK Ö., Bulut M., Kahraman S., ÖZKAN M., ...Daha Fazla

Proceedings of the 24th Annual Conference Towards Autonomous Robotic Systems, TAROS 2023, Cambridge, İngiltere, 13 - 15 Eylül 2023, cilt.14136 LNAI, ss.126-137 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 14136 LNAI
  • Doi Numarası: 10.1007/978-3-031-43360-3_11
  • Basıldığı Şehir: Cambridge
  • Basıldığı Ülke: İngiltere
  • Sayfa Sayıları: ss.126-137
  • Anahtar Kelimeler: Robot Operating System, Robotic Systems, Runtime Verification, Safety, Security Attacks
  • Eskişehir Osmangazi Üniversitesi Adresli: Evet

Özet

Robotic systems are increasingly integrated into various industries, including manufacturing, transportation, and healthcare. So, it is essential to identify the vulnerabilities of these systems and take precautions. These systems are vulnerable to cyber-attacks compromising their safety and operations. In this study, we developed an integrated runtime verification for the safety and security of an industrial robot inspection system. Runtime verification is a lightweight technique that involves evaluating the behaviour of a system at runtime. The developed runtime verification system is named MARVer. In the experiments, firstly, the runtime verification is independently for safety and security using MARVer-R. Then, integrated runtime verification is realized to monitor the effects of security attacks on safety. The experiments are evaluated in a TRL5 laboratory environment designed for quality inspection of automotive-body-in-white. Our study highlights the importance of verifying safety and security at runtime.