Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots

The consideration of safety and security assessments in robotic systems is increasingly crucial due to their inherent interdependence. Incorrectly configured or improperly deployed systems become vulnerable to security threats, which can directly impact safety. Given that security vulnerabilities often lead to safety hazards, identifying and mitigating potential vulnerabilities becomes essential for maintaining overall safety. In this paper, we propose a model-based approach specifically tailored to industrial robotics. Our approach integrates safety and security engineering with formal verification techniques to ensure the reliability of robotic systems. We demonstrate the effectiveness of our approach through a practical case study in the manufacturing robotics domain, emphasizing how safety and security concerns align with traditional system design and analysis phases.