При разработке всяких простеньких щитков управления (насосы, вентиляция и т.п.) возникает желание смоделировать
схему на компьютере, дабы убедиться в её правильной работе и отсутствии глюков, правильном срабатывании индикации режимов...
Сейчас я это делаю в программе Proteus.
Програмка конечно хорошая и мощная, но вот заточена несколько под другие задачи.

Может кто знает специализированные программки для визуальной симуляции релейной логики?
Поиски по инету ни к чему не привели.

Сам искал, не нашел. На релейной логике сейчас уже схемы не собирают. Везде используют контроллеры.
Можно взять софт для программирования любого контроллера, ввести свою схему в виде "лестничных диаграмм", потом запустить в этом софте симулятор. Подойдет самый простейший "LOGO Comfort".

контроллер, это конечно хорошо, но далеко не всегда оправдано.
Есть масса задач, где смысла нет использовать контроллер.
Например управление вентсистемой, включающей в себя заслонки воздуховодов, одноступенчатый канальный нагреватель и собственно вентилятор.
Нужно лишь позаботиться о том, чтобы вентилятор не включался при закрытой заслонке, а нагреватель не включался при выключенном вентиляторе и обеспечить правильную последовательность действий при включении и отключении этой системы нажатием на 1 кнопку. Зачем сюда городить контроллер, когда с этим прекрасно справляются 2-3 релюшки? И по цене выигрыш на порядок.
Более того, щиты с релейной автоматикой могут собрать обыкновенные электромонтажники прямо на месте, а вот для программирования и отладки контроллерных автоматов придётся привлекать (и соответственно оплачивать) сторонние организайции.
Кроме того, релейная логика сама по себе проста, тупа и надёжна как стальной лом, чего нельзя сказать о контроллерах.
Так что в большинстве простых задач целесообразно использовать релюшки.

Студентам делал решение задачек на EWB (им эту программы впихивают). Но она больше на электронику ориентирована, у реле там один контакт, приходилось кучку в параллель рисовать. Вообщем крайне не понравилась. Сам рисую релейную логику, а через время проверяю логическим путем так ошибочки выплывают (через время- лучше конечно что бы кто-то другой незамыленным оком проверил, но его обычно нет) А если технологически идет последовательность операций то вообще из релюшек составляю последовательность этапов поэтапно, а внутри этапа уже что-то включается (кстати также и программировал в РКС). Эта технология оработана и хорошо себя зарекомендовала с 80-х годов. Сейчас подсел на релюшки relpol со светодиодами и модулями ограничения перенапряжений.

Все-таки лестничные диаграммы в ПЛК работают не так, как живые релюшки. То, что будет работать в ПЛК, не будет работать в релейке и наоборот. У языка LD очень много ограничений на соединения.

В Proteusе (практика показала) не очень хорошо как-то релейки моделировать... Может новый EWB, который называется NI Multisim 10, поможет?

Мультисим пробовал. Если выражаться мягко- абсолютно не приспособленная вещь для данных целей.
Может конечно он требует каких-либо особенных настроек, но именно работа релле в нём моделируется отвратительно.
Не работали, или работали не правильно даже проверенные и воплощённые в железе схемы.
В конце концов обнаружилось, что релюхи в мультисиме могут оставаться в том положении, в котором они остались после последнего запуска. Т.е. не переходят в исходное состояние. Так-же очень легко их контакты случайно переключить в другое состояние при редактировании схемы, или соединений.
Пробовал на лицензионной версии.

В Протеусе использую только анимированные модели. Даже сделал модель электропривода с концевыми выключателями, немного извратившись над моделью аналогового энкодера...
Вобщем пока из всего протеус показывает наиболее стабильный и ожидаемый результат, и не вносит в работу своих глюков.
Минус- там в анимированных моделях релюшки максимум с двумя группами переключающих контактов.
Может со временем с СДК разберусь, да своих релюшек наделаю.

http://www.veppa.com/ может пригодится. Схемы, правда, только простенькие получаются.

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