Integrating Graphical and Formal Modelling to Analyse the Impact of Cyberattacks on Safety of Networked Control Systems
Over recent years, the number of cyberattacks on safety-critical systems, including railways, has been rapidly increasing. To analyze the impact of cyberattacks on safety, we need to create methods supporting a systematic and rigorous analysis of system behavior in the presence of cyber threats. In this paper, we propo...