Modeling and simulation of cyberattacks for resilient cyber-physical systems

Securing cyber-physical systems (CPS) is an active area of research. For example, manufacturing and military CPS have been traditionally designed without an emphasis on cybersecurity. This paper presents a model-based secure-by-design approach for modeling and simulating the cybersecurity aspects of CPS. We demonstrate our systematic approach by modeling several classes of cyberattacks that may affect the normal operations of CPS, and evaluate the impact of these attacks on the system through the use of simulation. We follow a functional modeling approach that may reduce the engineering effort and increase the quality of the developed system, while also increasing the resilience of the system when exposed to cyberattacks.