Виртуальный контроллер ИСУБ АРБИТР на Linux позволяет полностью отделить разработку, тестирование и приёмку прикладного ПО РСУ и ПАЗ от сроков физической поставки контроллерного оборудования. В результате работы по программированию и отладке выполняются задолго до работ на аппаратной части, что радикально сокращает сроки и стоимость пусконаладки, снижает риски ошибок (особенно в функциях безопасности) и даёт заказчику проверенный продукт к моменту монтажа оборудования на объекте.
В проектах АСУ ТП и ПАЗ на опасных производственных объектах, отнесённых к значимым объектам критической информационной инфраструктуры, стандартный жизненный цикл включает следующие этапы: размещение заказа на ПТК, производство и поставка оборудования, сборка и тестирование шкафов, проведение FAT, монтаж на объекте и пусконаладочные работы.
Разработка прикладного программного обеспечения, а именно:
- конфигурации РСУ,
- логики ПАЗ,
- матрицы причинно-следственных связей,
- мнемосхем АРМ оператора,
- регламентов сигнализации
как правило привязана к появлению физической платформы и начинается тогда, когда основной резерв времени в графике проекта уже израсходован.
Стоимость устранения ошибок в прикладном ПО возрастает на порядок с каждой пройденной фазой проекта:
- ошибка, найденная при разработке, стоит инженерных часов;
- та же ошибка, найденная на ПНР, — сдвига пусковых операций;
- ошибка, найденная при эксплуатации, — внепланового останова.
Возможность развёртывания виртуального контроллера ИСУБ АРБИТР на платформе Linux снимает привязку программной части проекта к поставке аппаратной. Реальная разработка ППО начинается не после поставки контроллерного оборудования, а сразу после утверждения базовых проектных решений.
Что представляет собой виртуальный контроллер ИСУБ АРБИТР
Виртуальный контроллер — это штатная исполнительная среда контроллера ИСУБ АРБИТР, выполняющаяся под управлением операционной системы Linux: на инженерной рабочей станции, в виртуальной машине. Принципиальное свойство решения — функциональная идентичность целевому контроллеру, а не приблизительная имитация его поведения:
- Единый прикладной код. Проект, разработанный и оттестированный на виртуальном контроллере, переносится на целевую аппаратуру без переписывания, перекомпиляции «под другую платформу» и повторной адаптации алгоритмов. Используются те же библиотеки функциональных блоков, включая блоки, предназначенные для применения в контурах ПАЗ.
- Единая инженерная среда. Конфигурирование, компиляция, загрузка, онлайн-отладка, форсирование переменных, трассировка, ведение версий проекта выполняются в ARBITR.DS — так же, как для физического контроллера.
- Единая модель исполнения. Сохраняются фиксированный цикл сканирования, детерминированная последовательность «ввод → расчёт → вывод», механизмы обработки меток времени и порядок формирования журнала событий.
- Масштабируемость стенда. На одном сервере одновременно разворачивается несколько экземпляров: практически весь проектный комплект контроллеров установки, включая резервированные пары, объединённые в виртуальную сеть. Это позволяет отрабатывать не только логику отдельного контроллера, но и межконтроллерный обмен, схемы резервирования и сценарии отказа сети.
Развёртывание выполняется на отечественных операционных системах, включённых в единый реестр российского ПО, что соответствует требованиям импортозамещения и политике перехода объектов КИИ на доверенные программно-аппаратные комплексы. Целевой платформой для промышленной эксплуатации при этом остаётся ПАК ИСУБ АРБИТР (регистрация в Реестре российской промышленной продукции № 10623276; регистрация в Реестре Минцифры России, номер реестровой записи 25718).
Верификация и валидация прикладного ПО системы ПАЗ
Жизненный цикл системы безопасности по ГОСТ Р МЭК 61511-1 предусматривает верификацию результатов на каждой фазе и валидацию системы в целом, причём объём и глубина испытаний прикладного ПО прямо влияют на остаточную вероятность систематических отказов — той составляющей, которая не устраняется резервированием аппаратуры и не улучшается заменой датчиков. Виртуальный контроллер обеспечивает воспроизводимую испытательную среду, в которой:
- Покрывается матрица «причины–следствия». Каждая строка отрабатывается как отдельный тест-кейс, включая одновременные и последовательные комбинации причин, проверку логики голосования, приоритетов, обходов и условий деблокирования. На физическом стенде такой объём испытаний ограничен временем и стоимостью подачи сигналов.
- Обеспечивается регрессионное тестирование. После любого изменения логики полный набор тест-кейсов повторяется, что исключает типовую проблему поздних этапов проекта, когда исправление одной блокировки нарушает работу смежной.
- Формируется доказательная база. Журналы событий, тренды и протоколы прогонов виртуального контроллера являются штатным приложением к отчётным документам по верификации прикладного ПО и к материалам расчёта и верификации SIL.
Сценарии применения на этапе эксплуатации и модернизации
- Расширение и реконструкция установки. Новые контуры и блокировки проверяются на копии действующей конфигурации; в рабочую систему загружается уже верифицированное изменение.
- Аудит и реинжиниринг ПАЗ, продление назначенного срока службы АСУ ТП. Восстановление фактической логики, сопоставление её с проектной документацией и с актуальной матрицей причины-следствия, выявление неактуальных уставок.
- Миграция с устаревших ПТК. Перенесённая логика прогоняется на одинаковых наборах входных данных параллельно со старой конфигурацией, что упрощает процесс миграции.
- Расследование нештатных ситуаций. Аварийная последовательность воспроизводится по архиву событий, что позволяет разделить причины: отказ первичного преобразователя, ошибка логики, ошибка оператора, или фактическое отклонение технологического режима.
- Обучение и повышение квалификации. Непрерывная подготовка новых специалистов службы АСУ ТП на приближенной к реальной конфигурации объекта, без доступа к промышленной системе.
Результат для предприятия
- сокращение критического пути проекта — разработка, тестирование и приёмка прикладного ПО выведены из последовательной цепочки и выполняются задолго до поставки оборудования;
- снижение зависимости графика от сроков поставки комплектующих и производственного цикла шкафов;
- сокращение продолжительности и стоимости пусконаладочных работ за счёт переноса отладки на инженерный этап;
- снижение стоимости исправления ошибок — дефект, устранённый на стадии разработки, обходится несопоставимо дешевле того же дефекта, обнаруженного на ПНР или в эксплуатации;
- повышение полноты верификации функций безопасности и снижение вклада систематических отказов прикладного ПО в общую вероятность отказа контура ПАЗ;
- наличие постоянного дублирующего стенда для управления изменениями, проверки обновлений и отработки инцидентов на значимом объекте КИИ без затрат на дублирующий комплект аппаратуры;
- снижение совокупной стоимости владения за жизненный цикл системы.
Виртуальный контроллер в составе ИСУБ АРБИТР меняет логику построения графика проекта АСУ ТП: программная часть перестаёт быть заложником поставки оборудования. Заказчик получает возможность начать реальную, а не подготовительную работу над прикладным ПО в тот момент, когда сформированы проектные решения, — и подойти к пуску с проверенной логикой, отлаженным интерфейсом и обученным персоналом.
По вопросам развёртывания виртуального контроллера, организации виртуальных заводских испытаний (vFAT), построения дублирующего стенда действующей системы и технической консультации обращайтесь: isub_arbitr@szma.com