Моделі та методи синтезу інтелектуальної діагностичної інфраструктури розподілених комп'ютерних систем

Abstract

UA: Дисертаційна робота присвячена проблемам побудови та проектування діагностичної інфраструктури з інтелектуальними властивостями для розподілених комп'ютерних систем і багатопроцесорних систем управління та обробки даних. Досліджено та розроблено теоретичні основи, концепцію та архітектурно-структурну організацію ДІ-ІС, яка заснована на принципах раціонального управління і диспетчеризації режимами нормального функціонування, онлайнового тестового, функціонального діагностування і відновлення працездатності МПСОД. Запропоновано вирішення задачі діспетчерізації методами групової вибірки з індивідуальною сегментацією. Розроблено алгоритми диспетчеризації, які засновані на вирішенні задачі лінійного і нелінійного булевого програмування. Розроблена структура МП-розпізнавача (автомата з магазинною пам'яттю) і метод побудови діагностичних експериментів, що забезпечують ідентифікацію вхід-вихідних послідовностей і фазових портретів ОД. Розроблено та обгрунтовано методи проектування та структурного синтезу редукованих МПавтоматних моделей динамічних систем, які засновані на оцінюванні надмірності двовимірного евклідова простору на основі використання заходівентропії, введеної А. М. Колмогоровим. Розроблено методи синтезу перевірних тестів для мікроконтролерів з RISC архітектурою на основі використання функціональних моделей у вигляді графа реєстрових передач. Для діагностування ПМ і збоїв у МК розроблена марківська модель ПМ. Розроблено метод розрахунку числа повторень тестових послідовностей для виявлення ПН. Розроблено методи синтезу легкотестованих ітеративних обчислювальних мереж на клітинних автоматах і функціональних елементах, які застосовуються для реалізації модулів діагностичної інфраструктури та МПСОД на сучасній елементній базі ПЛІС. Розроблено методи синтезу перевірних послідовностей ІОМ з використанням циклічних відмінних і характеристичних символів автоматної моделі осередку мережі. Розроблено та обгрунтовано новий метод модифікації автоматної діаграми осередку ІОМ, яка не має відмінної послідовності і передбачає введення додаткового вхідного символу, а також використання кодів станів, що породжують гамільтонів цикл у послідовності переходів. Розроблено методи та процедури синтезу одновимірних і двовимірних ІОМ з розподіленим управлінням реконфігурацією.

EN: The object of the research is the synthesis 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-totest 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.