Formal Verification of Safety and Security Properties in Industry 4.0 Applications
AM Hosseini, T Sauter… - 2023 IEEE 28th …, 2023 - ieeexplore.ieee.org
With the advent of Industry 4.0 (I4. 0) systems, ensuring the safety and security of these
systems' design has become a paramount concern for stakeholders. One concern is the …
systems' design has become a paramount concern for stakeholders. One concern is the …
An Augmented Reality Interface for Safer Human-Robot Interaction in Manufacturing
With the adaptation of Industry 4.0 and emerging ideas of Industry 5.0, the manufacturing
industry is shifting back towards human-centered production. In these scenarios …
industry is shifting back towards human-centered production. In these scenarios …
Integrating Security into Industrial Control System Architecture Based on IEC 42010
AM Hosseini, T Sauter… - 2024 IEEE 29th …, 2024 - ieeexplore.ieee.org
Industrial Control Systems (ICS) are increasingly becoming targets for cybercriminals
seeking ransom or aiming to cause disruptive chaos because of the potentially devastating …
seeking ransom or aiming to cause disruptive chaos because of the potentially devastating …