Visual PLC Runtime

Visual PLC включает собственную среду исполнения для промышленных контроллеров.

Среда исполнения обеспечивает:

• поддержку широкого набора промышленных протоколов;
• детерминированное выполнение программ;
• разделение логики и ввода-вывода (PDI);
• безопасные обновления логики;
• интеграцию со SCADA, OPC-серверами и модулями УСО.

Поддержка IEC 61131-3 как инженерного стандарта

Visual PLC поддерживает разработку логики по стандарту IEC 61131-3:

• Structured Text (ST)
• Function Block Diagram (FBD)
• Ladder Diagram (LD)
• Sequential Function Chart (SFC)

Независимо от языка, логика приводится к единому внутреннему представлению, что обеспечивает:

• целостность проекта;
• единые правила анализа и тестирования;
• совместимость с симуляцией и SCADA.

Единый версионируемый проект

PLC-логика сопровождается как инженерный артефакт:

• хранится в Git вместе со спецификацией, тестами и связями;
• имеет полную историю изменений;
• поддерживает безопасные откаты и анализ отличий между версиями.

Это позволяет сопровождать проекты с длительным жизненным циклом без накопления неконтролируемых изменений.

Встроенные симуляции и тестирования

Тестирование выполняется в двух взаимодополняющих слоях:

• проверка соответствия спецификации и проекта;
• тестирование логики в режиме эмуляции;

Visual PLC включает встроенный контур тестирования, позволяющий проверять корректность логики до внедрения без использования реального оборудования.

Проверка соответствия спецификации и проекта

PLC-логика автоматически сопоставляется с формализованной спецификацией проекта:

• вычисляется покрытие спецификации реализацией;
• выявляются отсутствующие, дублирующиеся и избыточные элементы;
• обнаруживаются циклические зависимости и структурные ошибки.

Результат — объективная оценка полноты и корректности логики еще на инженерном этапе.

Тестирование логики в режиме эмуляции

Поведение PLC-логики проверяется через специализированный тестовый фреймворк:

• проект запускается в рантайме в режиме эмуляции;
• тесты пишутся как ST-программы;
• тестовый фреймворк подключается к проекту через OPC-клиент;
• входные переменные управляются тестами, проверяется реакция логики.

Такой подход позволяет выполнять:

• нагрузочное и стресс тестирование;
• регрессионное тестирование;
• проверку изменений после модификаций в той же инженерной среде, где разрабатывается логика.