Пришлось столкнутся с использованием реле, контакторов и автоматов в системах автоматизации. Как проверить работоспособность такой схемы автоматически. Workbench электрику не включает. Компас, автокад с пометкой электрик классно для подсчета проводов и составления спецификаций. но и они релейку не проверяют.
__________________
Не так страшен зверь, как его боятся
Как то проверял такое дело в CircuitMaker'е. Там конечно не чистый Ladder и с некоторыми условностями. Но симулировал. Не помню были ли там реле времени/таймеры. Можно конечно заменить катушки реле и их контакты логическими схемами, но при интерпретации возможно появление ошибок, что сильно понижает ожидаемую правдивость симуляции.
автоматическая проверка релейной логики
