Dynamic Verification of Process-Oriented Control Software by the Case of Crossroad Control

Abstract

Process-oriented programming is an approach for cyber-physical systems (CPS) software development. However, CPS software development requires verification tools in order to control the quality of CPS software. Dynamic verification is the most common approach for CPS software. The paper presents formal four-component model of dynamic verification of process-oriented CPS control software. The model includes a set of interacting hyperprocesses: plant simulator, test scripts management, automatic check of the algorithm reactions and model of verified software. Also we present numerical method for determining vector of verification results. The automatic check ensures continuous monitoring of CPS software behavior. The approach allows checking software behavior with different scripts, including emergency situations. We use the approach to check requirements for crossroad POP control software