И.И. Тихий, В.В. Кашковский "Обоснование выбора параметров диагностической модели вычислительной системы" 5. <...> УДК 004.052.32 И.И. Тихий, В.В. Кашковский (Иркутское высшее военное авиационное инженерное училище) E-mail: tiviv@irk.ru ОБОСНОВАНИЕ ВЫБОРА ПАРАМЕТРОВ ДИАГНОСТИЧЕСКОЙ МОДЕЛИ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ Исследована зависимость различимости синдромов от вида и мощности отказовых ситуаций и параметров мо дели диагностирования вычислительных систем с использованием структур взаимоконтроля. <...> Ключевые слова: интегрированные комплексы бортового оборудования, вычислительные системы, самодиагностирование, диагностические модели, структуры взаимоконтроля, син дром, отказовые ситуации, диагностический граф. <...> Метод самодиагностирования многомашинных распределенных вычислительных систем с исполь зованием структур взаимоконтроля (СВК) [1] пред полагает определение технического состояния вы числительных систем (ВС) по результатам взаимных тестовых проверок рабочими модулями системы (под модулем понимается в общем случае отдельная ЭВМ) состояния друг друга, при этом сохраняется возможность получения достоверного диагноза да же при наличии в структурах взаимоконтроля отка завших модулей. <...> Процесс определения состояния системы S со стоящей из n модулей, описывается диагностиче ской моделью (ДМ), которая включает в себя систему оценивания результатов rij hij модулями i модулей j Контроль. <...> 2010 элементарных проверок , и диагностический граф И.И. Тихий, В.В. Кашковский "Обоснование выбора параметров диагностической модели вычислительной системы" GG V E a (, ), где множество вершин V – множество модулей i E – множество связей (, ),vv системы,in , а множество дуг vv Vij jn a1, ,vVi по которым передаются проверки от модуля i дулю j ij ,, a1, , кмо t – диагностируемость, означающая максимальное для данной ДМ числоtG . <...> Важной характеристикой метода является a() отказавших модулей в ВС, при котором возможно получение <...>