Verification of Large Scale Control Systems with Hybrid Digital Models and Digital Twins

The paper deals with the problem of the design of digital twins of cyberphysical systems of an Industry 4.0 concept. It analyses and compares properties of models in application to the modeling of digital and physical component of a cyberphysical system. A hybrid model that includes virtual machines and emulators and some real hardware is recommended for the purposes of testing and verification of complex cyberphysical system. The importance of single timescale maintaining within the computer models is emphasized. The real case a hybrid model created for integration tests and cybersecurity researches is described. The achievements and drawbacks of the implemented model are discussed.