CONSTRUCTIVE METHOD FOR RESOLVING MULTIPLE ACCESS CONFLICTS IN PROCESS-ORIENTED PROGRAMS
D. A. Permiashkin, V. E. Zyubin
Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
Keywords: industrial programming, parallel programs, process-oriented programming, process-oriented languages
Abstract
This paper is devoted to the problem of increasing the fault tolerance of control PLC programs developed on the basis of the process-oriented approach. This paper considers the problem of multiple access conflicts that arise in process-oriented programs when implementing mutually exclusive operations on a separate actuator. The causes of such conflicts are analyzed, and a modification of the mathematical model of a process-oriented program is proposed, which allows elimination of such conflicts in a constructive manner. The resolution of the considered class of conflicts, on the one hand, increases the fault tolerance of control programs and, on the other hand, has no side effects, thus, eliminating the need to change the general structure of the program. To implement the modified model, an extension of the syntax of the poST language is proposed.
|
