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