Повышение достоверности контроля цифровых компонентов в системах критического применения

Abstract

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