В монографии рассматриваются основные составляющие общего диагностического обеспечения вычислительных систем – понятия, модели и методы. Излагается общий подход к их упорядочению и машинному представлению, основанный па использовании аксиоматического метода и теории формальных систем. Представлены системы понятий, общих диагностических моделей ВС и методов диагностирования. Приводятся примеры, интерпретирующие общие модели и методы. Применена технология баз знаний для представления всех видов диагностического обеспечения. Последнее представляется в ЭВМ в виде семейства интеллектуальных справочников. В качестве иллюстрации подхода подробно описывается интеллектуальный справочник по методам диагностирования вычислительных сетей и его программная реализация.
Монография представляет интерес для специалистов в области надёжности и диагностирования вычислительных систем, аспирантов, научных сотрудников и преподавателей соответствующих специальностей. Она может быть также полезна специалистам, интересующимся применением идей искусственного интеллекта в технических дисциплинах. Библиогр.134 назв. Ил. 44. Табл. 14.