Программист

О5 25 (спасибо SCBist за прикольный вариант). На предыдущих страницах уже объясняли:
1) Каскад есть надстройка над ЭЦ. Система программно проверяет логику отдаваемых команд, но даже если ей “сорвёт крышу” и система погонит кучу всяких команд – ЭЦ это не выполнит! Безопасность строится на реле!!!
2) Если бы Каскаду не доверяли, то не было бы по Украине более 100 постов под ДЦ. Поставьте себя на место Ш дороги: Вы бы подписали договор на установку удаленного управления станцией на главном ходу, со скоростном движении? По ветке тысячи людей за сутки проезжают, а это вам не отшиб цивилизации где 2 пары поездов в сутки. Это Вам не вагон с трубами завалить! Я думаю, зад подставлять никто не хочет, и эти люди думали что делают.
Добавлю немного с Вашего позволения:
А насчет доказательства функциональной безопасности: возвращаемся на n страниц назад! ЛЮБАЯ МИКРОСХЕМА ИМЕЕТ СИМЕТРИЧНЫЙ ОТКАЗ!!! Доказать ее безопасность невозможно! Можно только говорить о определенной доле вероятности безотказной работы в НОРМАЛЬНЫХ условиях эксплуатации. И еще как доказать функциональную безопасность программы?! Почему вы думаете что компилятор, которым компилировалась программа, не имеет ошибок? Или докажите безопасность Windows которую некоторые используют для МПЦ (РПЦ). Техническая база в Украине не готова для подобной сертификации!