Аннотация:
Рассматривается самодиагностика без ремонта на системном уровне для многопроцессорных (модульных) вычислительных систем при множественных устойчивых неисправностях и при использовании ненадежных тестов. Выделена группа моделей тестирования, представляющих системы с полными ненадежными тестами. Формально обосновано отношение включения между моделями ненадежных тестов, дающее возможность объединять модели в группы с одинаковыми диагностическими свойствами. Доказаны утверждения, позволяющие выполнять сравнительный анализ диагностических свойств систем, использующих разные модели ненадежных тестов. Выявлена взаимосвязь между отношением включения и известным представлением связи между синдромом и порождающими его образами неисправностей в виде булевых функций. Показана эффективность использования булевой алгебры для сравнительного анализа диагностических свойств систем с разными моделями тестирования, и для разработки алгоритмов локального самодиагностирования.
Статья представлена к публикации членом редколлегии:П. П. Пархоменко
Образец цитирования:
Ю. К. Димитриев, “О концептуальной основе сравнительного анализа и решения задач самодиагностики многопроцессорных систем для разных моделей ненадежного тестирования”, Автомат. и телемех., 2015, № 7, 150–164; Autom. Remote Control, 76:7 (2015), 1260–1270
\RBibitem{Dim15}
\by Ю.~К.~Димитриев
\paper О концептуальной основе сравнительного анализа и решения задач самодиагностики многопроцессорных систем для разных моделей ненадежного тестирования
\jour Автомат. и телемех.
\yr 2015
\issue 7
\pages 150--164
\mathnet{http://mi.mathnet.ru/at14261}
\elib{https://elibrary.ru/item.asp?id=24339975}
\transl
\jour Autom. Remote Control
\yr 2015
\vol 76
\issue 7
\pages 1260--1270
\crossref{https://doi.org/10.1134/S0005117915070115}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000357651500011}
\elib{https://elibrary.ru/item.asp?id=23991940}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84937605076}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at14261
https://www.mathnet.ru/rus/at/y2015/i7/p150
Эта публикация цитируется в следующих 3 статьяx:
Alexei M. Romankevich, Kostiantyn V. Morozov, Vitaliy A. Romankevich, Lecture Notes on Data Engineering and Communications Technologies, 134, Advances in Computer Science for Engineering and Education, 2022, 363
I.V. Asharina, “Issues of organizing computations in multicomputer systems with the software-controlled failure- and fault-tolerance. Part II”, EJSI, 2021, no. 7 (115)
Ю. К. Димитриев, “Необходимые и достаточные условия t-диагностируемости многопроцессорных вычислительных систем для разных моделей ненадежного тестирования, полученные с помощью теоретико-графовой модели системы”, Автомат. и телемех., 2016, № 6, 145–158; Yu. K. Dimitriev, “Necessary and sufficient conditions for t-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model”, Autom. Remote Control, 77:6 (2016), 1060–1070