Обнаружение отказов и сбоев аппаратных средств

Степень безопасности при отказах и сбоях аппаратных средств определяется возможностью средств контроля адекватно оценить состояние технических средств в заданный промежуток времени. Ввиду высокой сложности микропроцессорных систем в качестве средств контроля необходимо применять как аппаратные, так и программные средства. Использование ПО как средства контроля правильности функционирования имеет свою специфику, которую надо учитывать при создании безопасных программно-управляемых систем.

Последовательный характер обработки команд программы приводит к необходимости чередования процедур основной программы с контрольными. В этом случае увеличивается период времени между возникновением неисправности и ее обнаружением. Аппаратная зависимость программных процедур контроля, т. е. использование для реализации основной программы и программ контроля одних и тех же технических средств, ставит под сомнение результаты работы контрольной программной процедуры, т. к. ошибки, искажающие основной алгоритм, искажают и алгоритм контрольной программы.

Поэтому программные методы контроля чаще всего дополняют аппаратные средства контроля и ориентированы на проверку результатов вычислений. Наиболее часто используемыми методами программного обнаружения отказов и сбоев аппаратных средств являются создание самопроверяемых программ и n -версионное программирование. Кроме того, n -версионное программирование позволяет обнаруживать и некоторые программные ошибки.