О диагностировании отказавших модулей и связей в цифровых системах с использованием модели БГМ

В цифровых системах возможны такие сочетания отказавших компонент (модулей и линий связи), потенциальные синдромы которых неразличимы для однократного диагностирования. С учетом особенностей модели БГМ сформированы логические функции, используемые для дешифрации реального синдрома. Разработана процедура последовательного диагностирования отказавших компонент. Определены требования к составу исправных компонент, выполнение которых обеспечивает получение правильных диагностических заключений. Приведены примеры использования процедуры, в которых эти требования выполняются в различной степени.