AlexBi (26.05.2016 12:13, просмотров: 127) ответил Алехин Александр на нет, по ГОСТу это совершенно другой документ.
Для неизвестных недоработок применяют: сторожевой таймер, перехват аппаратных исключений процессора (обращение по невыровненному адресу, обращение за пределы памяти, переполнение стека, переполнение/деление на ноль и другие вычислительные исключения, MMU и т.п.), периодический контроль целостности данных, допустимости, не противоречивости (возможно добавление избыточности), применение проверенных компиляторов, использование проверенных библиотек, написание кода в соответствии с каким-то признанным стандартом (на слуху MISRA, но может еще что-то есть), разделение ПО на ответственное и не очень, разделение физически на разные процессоры, реализация аппаратных ограничений, защищающих от фатальных последствий при "сумашествии" ПО.
Проверить совсем все в современных системах не возможно теоретически, успешное прохождение испытаний по ТУ не гарантирует что нет какой-то комбинации или последовательности входных сигналов, которые будут обработаны не корректно.
)