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