Integrated Safety–Security Modelling in Digital Substations
A unified framework for co-modelling based on mathematics is adopted, which integrates the four aspects of dependency analysis by graph, system methods based on state modelling, attacker-defender optimization and temporal logic verification, and a cyber–physical interaction model incorporating the cascading failures and attack propagation.