Да, надо. НИИ ТМ этим и занят ;)

tyubik добавил 11.02.2017 в 13:26
Очень показательно становление Alstom на рынке СЦБ у себя во Франции 40 лет назад. Поищите информацию, довольно занятно.

А почему бы и нет - если эти реле не выполняют функции обеспечения безопасности движения?
Есть же у нас станция с релейной ЭЦ на реле не первого класса надежности, у которых фронтовые контакты из обычного серебра! И все зависимости - на этих реле!
И, мне думается, если бы эта станция родилась лет так тридцать-сорок назад, у этой системы могли быть очень хорошие перспективы. Тогда, разумеется.

Есть затруднения тезисно описать исполнение применяемых контроллеров?
Насколько мне известно, в СЦБ никогда не было так, чтобы никто досконально не знал как оно работает.

А кто-нибудь может чётко, кратко (лаконично) сформулировать принципы построения безопасных систем?!

Хороший документ, но в нём рассматриваются построение релейных схем.
Чём отличается построение релейных схем по условию соблюдения безопасности от бесконтактных?

Построение бесконтактных схем - это не совсем корректный термин.
По моему мнению необходимо оперировать понятием "Требования". А требования известны всем: недопускать опасный отказ, однократный отказ должен быть обнаружен.

Как я вижу вся проблема заключается в симметричности отказа.
Чем хороши реле 1 класса надёжности, тем что обладают несимметричным отказом с вероятностью не более 10 в минус 12 степени. При определённых принципах построение схемотехники несимметричность распространяется на весь узел или всю схему.
К сожалению, бесконтактные элементы не обладают свойством несимметричности отказа, а отсюда начинаются проблемы со схемотехникой построения безопасных схем!

Для интересующихся: в И-310-07 "Применение контролируемых реле СЦБ" есть подробная информация по использованию таких реле.

Требования требованиями-это хорошо. А почему не использовать аппарат теории алгебры логики для анализа электрических схем построенных на релейных элементах? Тем самым минимизировать возможные ошибки, упростить и даже возможно повысить надежность работы электрических схем.

Это Вы о релейных схемах? Зачем? Какой в этом смысл?

Насколько мне известно, в центре по сертификации, у О.А. Наседкина такой программный продукт есть! Могу ошибаться.
Думаю, что релейные схемы достаточно легко формализуются алгеброй логики, а если это так, то можно написать софт, который будет проверять на безопасность!

Просто инженер АиТ добавил 13.02.2017 в 14:18
Правильно, релейные схемы - это вчера! Более правильно издать сборник технических решений построения безопасных схем на бесконтактных элементах, чтобы было проще проводить проверку на безопасность (за неё надо платить не малые деньги, а это может тормозить развитие ЖАТ)!
Я вспоминаю как развивалось программирование. В самом начале мы писали на ассемблере, потом появился "С", чтобы было легче и быстрее писать, далее "С++", чтобы легче соблюдать архитектуру ПО, далее мощные среды программирования и т.д.
Тоже самое надо сделать со схемотехникой ЖАТ, зачем постоянно создавать велосипед!

Не кажется, что это два совершенно противоположных тезиса?
:)
в одном сообщении.

Интересно, а как эта задача решается у "других"?
У атомщиков например, или в оборонке?

Думаю в оборонке несколько лучше, т.к. это гос. предприятие и нет "знаю как" между различными разработчиками внутри этой системы.
У нас же повсюду "знаю как"! Хотя, как я считаю, как правило там нет ничего такого из "знаю как", просто достойное инженерное решение и коммерческий интерес.