Elena Troubitsyna

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 o...