Аннотация
This study aims to formulate requirements for models and programs of cyber-physical systems through an investigation of existing approaches to dynamic verification of control programs. Building on this research, we propose a formal model for dynamic verification of process-oriented control programs in cyber-physical systems. Additionally, our goal is to develop a software package based on the proposed methods and models. The research focuses on hyperprocesses, which involve multiple interacting processes with executable states. The complexity of the models being created and the prevalence of routine operations present challenges in applying formal methods to their verification. Neglecting the verification of process-oriented software poses significant risks in system development. Therefore, addressing this challenge involves research and development of dynamic software verification methods that combine testing and simulation techniques.