Возвращаясь к OWEN LOGIC, очень актуально, это из области искусства программирования или разработки принципиальных схем,-наличия всевозможных блокировок,в случае отказов входов(или неправильных ,нештатных действиях оператора) не допустить на выходах,взаимо исключающих состояний.Назад-вперед,нагрев-охлаждение,пуск-стоп,и.т.д.
С целью упрощения процесса разработки логики работы реле и исключения блокировок по входам,предлагаю ввести понятие "взаимо исключающие выходы" реле(блокировка по выходам).Что означает -неприкаких состояниях входов
не допускать одновременное срабатывание заданных выходов,и эта процедура выполняется на программном уровне ,в этом случае- автоматически.
Ведь в процессе симуляции человек исходит из того что у него все исправно,и перебирать все возможные комбинации входов(256мax) ЕМУ НЕ охота,а потом маленький взрывчик получается.Данная процедура повысит живучесть системы,и упростит программирование.Кроме того,
можно вывести сигнал на сигнализацию ,при срабатывании блокировки по выходам-функциональная диагностика.