The monograph examines the main components of the general diagnostic support of computing systems – concepts, models and methods. A general approach to their ordering and computer representation based on the use of the axiomatic method and the theory of formal systems is presented. The system of concepts, general diagnostic models and diagnostic methods are presented. Examples are given which interpret general models and methods. The knowledge base technology has been applied to represent all types of diagnostic software. The latter is represented in a computer as a family of intellectual reference books. As an illustration of the approach, the intellectual reference book on methods for diagnosing computer networks and its software implementation are described in detail.
The monograph is of interest to specialists in the field of reliability and diagnosis of computing systems, graduate students, researchers and teachers of relevant specialties. It may also be useful to specialists interested in applying the ideas of artificial intelligence in technical disciplines. References 134. Figers 44. Table 14.