Algorithmic Conflict Detection in Process-Oriented Programs

Microcontrollers are the main devices which control manufactures and different industrial processes in the modern world. These microcontrollers, represented by programmable logic controllers, execute programs with an enormous number of parallel processes linked by numerous shared real-world sensors and actuators. One of the current requirements for the manufactures is a high fault tolerance, and the ideas from Industry 4.0 force the minimal acceptable tolerance to the new heights. There are several algorithms and program paradigms which try to achieve that by removing all non-deterministic behaviour. One of them is process-oriented programming which was proposed at IA&E SB RAS. The paradigm was used in large-scale projects and proves its effectiveness for the domain. But the question of how to check whenever this is enough remains. This paper proposes an algorithm which allows for the developer to check their programs for the possible conflicts between processes and then solve those issues during the development processes.