Miroshnik M. Models and Methods for the Synthesis of Intelligent Diagnostic Infrastructure of Distributed Computer Systems

The object of the research is thesynthesis of diagnostic infrastructure for fault-tolerant distributed computing systems. The theoretical and practical results are in the the development and justification of the vision of the intelligent diagnostic infrastructure modules signature monitoring microprocessor data processing systems that are easily tested. The novelty: Theoretical basis, concept, and architectural and structural organization of diagnostic infrastructure with intelligent properties have been investigated and developed. It is based on the principles of regional control and supervisory control of normal operation modes, online test, functional diagnosis as well as performance restoration of microprocessor data processing systems. Solutions for supervisory control problem using method of individual segmentation have been proposed. Supervisory control algorithms based on the solution of the problem of linear and nonlinear Boolean programming have been developed. The structure of microcomputerized pattern matcher and method of design of diagnostic experiments providing tagging of input and output sequences and phase patterns of objects under test have been developed. Methods for design and structural synthesis of reduced microprocessor automate dynamic systems models have been developed and established. Methods for synthesis of fault detection test for microcontrollers with RISC architecture based on using functional models in the form of register transfer diagram have been developed as well as the method of calculating the iteration count test sequence for detecting intermittent failures. Methods of synthesis of easy-to-test iterative computer networks on cellular automata and functional elements that are used for implementation of diagnosis infrastructure modules and microcomputer-based data processing systems on modern FPLD hardware components have been developed. Methods of synthesis of test sequences of iteration networks using recurrent distinctive and characterization symbols of the network cell automate model have been developed. New method of modification of the network cellular automata, which does not have a distinctive string, have been developed and established as well as methods and procedures of the synthesis of one-dimensional and two-dimensional networks with distributed configuration control. The degree of implementing: NAU "KhaI" (Kharkiv). «The Energouhet» (Kharkiv). GP "Planning and design engineering bureau of automation control systems for railway transport of Ukraine" (Kiev). The Institute of scintillation materials (Kharkiv). The range of application: in solving the complex problems associated with the development and design of the modules of diagnostic infrastructure with intelligent features to networks of cellular automata, which are adapted for implementation on PLIS  type of FPGA with an increase in the reliability of the test procedures, functional diagnosis and disaster recovery systems, microprocessor-based data without performance degradation and the need to save of time-consuming procedures for the generation of test generation and fault simulation.