Сoncept of Cyber Immunity of Industry 4.0

The article presents the development of the concept of cyber immunity to protect the Industry 4.0 critical information infrastructure and the theory of self-healing machine computing. The specified theory is based on the results of the scientific-applied sections of biological and cybernetic immunology. In the developed concept it was taken into account that the neutralization of malicious influences should not lead to a denial of service for the entire system and to a loss of the functional semantics of calculations. Using interrelated probative, verification and testing programming, a model for restoring functional program specifications was developed. It was developed with separation by levels: semantic (functional, logical and algebraic models are defined to determine the base of functionally-logic specifications of programs); syntactic (defined models to form automatic machines for the detection and neutralization of malicious influences); semantically syntactic (models are defined for applying the simplest forms of program calculation semantics based on graphical, schematic, and network representations). In order to prove the correctness of functional semantics of the "cleared" calculations, a mathematical apparatus of the similarity theory and calculation dimensions were developed. The п-converter was identified; this operator allows forming the required "passports" of trusted computations in the conditions of disturbances. Calculations with "antibodies" are represented by regular schemes in the system of algorithmic algebras of V. M. Glushkov. A semantically controlled translator based on formal automata with abstract memory was developed for the interpretation of the input program of the trusted computations and type of actions.