Отладка ПО для ПЛК

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

Отыскивать ошибки как в любом другом программном обеспечении - поочередно исключать отдельные части алгоритма, находить места которые работают правильно, затем то что работает неправильно "разбирать" более подробно. Кстати ошибки могут быть и в имитаторе объекта, и в средствах наблюдения

TwinCAt это бренд наименование CoDeSys, адаптированного для ПЛК Beckhoff. Инструменты отладки здесь конечно шикарные, но к МЕТОДИКЕ отладки это не имеет отношения.

Понятно, что методика отладки ПО для ПЛК должна состоять из четко продуманной последовательности моделирования всех рабочих режимов и внештатных ситуаций. Ознакомиться с обшим решением такой задачи это мечта...

Мы можем попробовать объединить наш коллективный опыт:

1) Самим написать эмулятор оборудования и запустить его в том же ПЛК как параллельную задачу. Используйте визуализацию для эмулятора.

2) Четко выявить условия, при которых ошибка стабильно проявляется. Используйте логфайлы, трассировку значений переменных и мгновенную установку наборов значений переменных, моделирующих состояние системы (в CoDeSys Watch and Reciept manager).

3) Используте в ПО технику защитного программирования. Любая функция должна проверять получаемые данные на корректность. Обязательно четкий контроль использования и преобразования типов данных, свои обработчики деления на ноль, контроль индексов массивов, проверки корректности результатов, избыточные датчики и контроль непротиворечивости их данных и тп.

4) Испытания должны делать не те люди, кто писал ПО. Каждый новый человек постаравшись обязательно найдет ошибку.

5) После любого изменения ПО нужно пройти все пункты методики испытаний комплекса оборудования целиком.

...