Ricerc@Sapienza

A Cyber–Physical System (CPS) comprises physical as well as software subsystems. Simulation-
based approaches are typically used to support design and Verification and Validation (V&V)
of CPSs in several domains such as: aerospace, defence, automotive, smart grid and healthcare.
Accordingly, many simulation-based tools are available to support CPS design. This, on one
side, enables designers to choose the toolchain that best suits their needs, on the other side

The evolution of manufacturing systems into a smart factory brings advantages but also increased cyber-risks. This paper investigates the problem of intrusion detection and autonomous response to cyber-attacks targeting the control logic of industrial control applications for the smart factory. Specifically, we propose ASiMOV (Asynchronous Modular Verification), a self-protecting architecture for cyber–physical systems realizing a verifiable control application.