Определение состава программ в специальном программном обеспечении автоматизированных систем пожаровзрывобезопасности объектов

Рассмотрены единичные программные системы (ЕПС) автоматизированных систем пожаровзрывобезопасности (АСПВБ) объектов. Дано одно из возможных математических определений программ ЕПС и их характеристик. Проведена оценка количества формул в специальном программном обеспечении (СПО) АСПВБ и автоматизированных систем управления технологическими процессами в целом. Описан процесс поиска унификатора в ЕПС на множестве формул СПО АСПВБ. Показано, что для его определения необходимо провести разбиение ЕПС на базовые группы функциональности, представляющие собой неделимые на части элементы.