Самодиагностируемые многомодульные системы: некоторые оценки тестирования

Статья посвящена оценкам некоторых параметров самодиагностируемой вычислительной системы. Речь идет об $N$-модульных системах с коммутируемым диагностическим графом и моделью Препарата–Метца–Чена. Получены верхние оценки для следующих параметров: $h\leq N+2t$, где $h$ – число элементарных тестовых проверок, достаточных для идентификации состояний всех модулей системы, $t$ – число реально неисправных модулей в системе; $z=]\log T[$, где $z$ – число тактов диагностического эксперимента над СВС, позволяющее идентифицировать исправный модуль, $T$ – допустимое число неисправных модулей в самодиагностируемой вычислительной системе. Предложен алгоритм синтеза диагностического графа самодиагностируемой вычислительной системы.