Open access
Aug 2026
Integrating Graphical and Formal Modelling to Analyse the Impact of Cyberattacks on Safety of Networked Control Systems
The proposed approach allows the designers to identify and visualize the safety requirements that become violated as a result of various cyberattacks, and relies on graphical modeling in SysML, HAZOP-based analysis of cyber threats, and formal modeling in Event-B.
Ehsan Poorhadi, Elena Troubitsyna
· Systems · 0 citations