Статья посвящена проблеме проверки алгоритмов управления, созданных в рамках процесс-ориентированного подхода, на соответствие входным спецификациям. Представлена общая схема верификации алгоритма управления, приведены ее реализация в автоматизированном варианте и результаты практической апробации в проекте по автоматизации Большого солнечного вакуумного телескопа.
The article is devoted to the analysis of process-oriented control algorithms, on the correspondence to input specifications. Article presents the general scheme of verification of the control algorithm, its implementation in an automated form and the results of practical approbation of the approach in the project for the automation of the Large Solar Vacuum Telescope.