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

E Degirmenci, YS Kırca, Ö Örnek, M Bulut… - Annual Conference …, 2023 - Springer
E Degirmenci, YS Kırca, Ö Örnek, M Bulut, S Kahraman, M Özkan, A Yazıcı
Annual Conference Towards Autonomous Robotic Systems, 2023Springer
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 …
Abstract
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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果