Главная – Журналы – Автометрия 2025 номер 5

Работа посвящена проблеме повышения отказоустойчивости управляющих программируемыми логическими контроллерами программ, разрабатываемых на базе процесс-ориентированного подхода. Рассматривается проблема конфликтов множественного доступа, которые возникают в процесс-ориентированных программах при реализации взаимоисключающих операций над отдельным исполнительным органом. Анализируются причины таких конфликтов, и предлагается модификация математической модели процесс-ориентированной программы, которая позволяет конструктивно устранять такие конфликты. Разрешение рассматриваемого класса конфликтов, с одной стороны, повышает отказоустойчивость управляющих программ, а с другой - не имеет побочных эффектов и тем самым исключает необходимость изменять общую структуру программы. Для реализации модифицированной модели предлагается расширение синтаксиса языка poST.