Методи оцінки та забезпечення необхідного рівня технічної безпеки роботи спеціалізованих багатопроцесорних систем управління

Скорочена інформація про документ
dc.contributor.advisorРоманкевич, О. М.
dc.contributor.advisorRomankevych, Oleksiy
dc.contributor.advisorРоманкевич, А. М.
dc.contributor.departmentКафедра системного програмування і спеціалізованих комп'ютерних систем
dc.contributor.facultyФакультет прикладної математики
dc.contributor.researchgrantorНаціональний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського»
dc.date.accessioned2019-09-24T11:44:57Z
dc.date.available2019-09-24T11:44:57Z
dc.date.issued2017
dc.description.abstractenPurpose of the work is design of methods and means for determination of transition’s probability of reconfigurable multiprocessor system (MS) aimed to control the complex objects. This transition can lead to dangerous state. Also as result of the work is enhance of system functioning results’ veracity. During exploitation due to the processors’ failures MS can went into dangerous state (that is state when is only one (any) of control functions can not be realized and without of those the control object went into dangerous state). The methods to design the probabilities of existence of such in two directions, when the set of control system’s dangerous state vectors is known and when it is not. Methods are based on implementation of statistic experiments with behavior of MS under failure flow. Relevant formulas are obtained and theoretic justification is given. The method of organization of processors’ mutual testing in MS for 3- and 4-fault-tolerant n-processor MS is proposed. Firstly in world practice the number of testing processors is lesser then the number of allowed faults. The method is based on new constructive-regular diagnostic graph and next analysis of results. It is shown that whole the number of mutual tests is no more than 2n+2 and is lesser then of ones for known methods. For implementation of statistic experiments a source of state MS’ vectors is needed. A specific circuit of pseudorandom binary vectors’ generator is proposed. The circuit corresponds to all needed requirements in particularly it must be high speeded, equal weighted and controllable. To analyze consequences of failures the probabilities models of signals values on the outputs are proposed. A property of the model proposed is the possibility to comprehensively take into account both the distortions on the device' inputs and the failures within the device. The models take the digital devices structure into account and the physical essence of the data distortion. Based on the models the methods for reduction of calculations volume of the functioning of computer devices validity and the methods for devices optimization in order to increase its functioning validity.uk
dc.description.abstractruЦелью работы является разработка методов и средств определения вероятности перехода реконфигурируемой многопроцессорной системы (МС) управления сложным объектом в опасное состояние и повышение достоверности результатов работы системы. В процессе эксплуатации по мере выхода из строя процессоров МС может перейти в опасное состояние (состояние, когда не может быть реализована хотя бы одна из функций управления, без которой объект управления переходит в опасное состояние). Предложены методы расчета вероятности появления такой ситуации в двух направлениях: когда множество векторов опасных состояний системы управления известно и когда - нет. Методы основаны на выполнении статистических экспериментов с моделями поведения МС в потоке отказов. Выведены соответствующие формулы, дано их теоретическое обоснование. Предложен метод организации взаимного тестирования процессоров в МС для 3- и 4-отказоустойчивых n-процессорных МС Впервые в мировой практике число тестирующих процессоров менее числа допустимых отказов. Метод основан на новом конструктивно-регулярном диагностическом графе и последующем анализе результатов. Показано, что общее число взаимопроверок не превышает величины 2n+2, что в несколько раз меньше известных методов. Для выполнения статистических экспериментов необходим источник векторов состояния МС. Предложена конкретная схема генератора псевдослучайных двоичных векторов, отвечающая всем необходимым требованиям, в частности, генератор должен быть быстродействующим, равновесным и управляемым. Для анализа последствий сбоев предложены модели вероятностей значений сигналов на выходах цифровых устройств. Свойством предложенной модели является возможность комплексного учета как искажений на входах устройства, так и сбоев в самом устройстве. Модели учитывают структуру цифровых устройств и физическую природу искажений данных. На основе моделей предложены методы уменьшения объема вычислений достоверности функционирования компьютерных устройств и методы оптимизации устройств с целью повышения достоверности их функционирования.uk
dc.description.abstractukМетою роботи є розробка методів та засобів визначення ймовірності переходу реконфігуровної багатопроцесорної системи (БС) управління складним об’єктом у небезпечний стан та підвищення вірогідності результатів роботи системи. Під час експлуатації помірі виходу з ладу процесорів БС може перейти у небезпечний стан ( стан, коли не може бути реалізована хоч би одна з функцій управління, без якої об’єкт управління переходить у небезпечний стан). Запропоновано методи розрахунку ймовірності виникнення такої ситуації у двох напрямках: коли множина векторів небезпечних станів системи відома та коли – ні. Методи базуються на виконанні статистичних експериментів з моделями поведінки БС у потоку відмов. Виведено відповідні формули, дано їх теоретичне обґрунтування. Запропоновано метод організації взаємо тестування процесорів у БС для 3- та4-відмовостійких n-процесорних БС. Верше у світовій практиці число тестуючи процесорів менше числа відмов, що допускається. Метод базується на новому конструктивно-регулярному діагностичному графі та подальшому аналізі результатів. Показано, що загальна кількість взаємоперевірок не перевищує величини 2n+2, що декілька разів менше відомих методів. Для виконання статистичних експериментів необхідно мати джерело векторів стану БС. Запропонована конкретна схема генератора псевдовипадкових двійкових векторів, що відповідає всім необхідним вимогам, зокрема генератор повинен бути швидкодіючим, рівноваговим та керованим. Для аналізу наслідків збоїв запропоновані моделі ймовірностей значень сигналів на виходах цифрових пристроїв. Властивістю запропонованої моделі є можливість комплексного врахування як спотворень на входах пристрою, так і збоїв у самому пристрою. Моделі враховують структуру цифрових пристроїв та фізичну природу спотворень даних. На основі моделей запропоновано методи зменшення обсягу обчислень достовірності функціонування комп’ютерних пристроїв та методи оптимізації пристроїв з метою підвищення достовірності їх функціонування.uk
dc.format.page6 с.uk
dc.identifier.govdoc0115U000323
dc.identifier.other2808
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/29430
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectбагатопроцесорні системиuk
dc.subjectсамодіагностуванняuk
dc.subjectвідмовостійкістьuk
dc.subjectоцінювання безпекиuk
dc.subjectпоказники достовірності функціонуванняuk
dc.titleМетоди оцінки та забезпечення необхідного рівня технічної безпеки роботи спеціалізованих багатопроцесорних систем управлінняuk
dc.title.alternativeMethods of evaluation and guarantee of technical security’s required level for specialized multiprocessor control systems’ functioninguk
dc.title.alternativeМетоды оценки и обеспечения необходимого уровня технической безопасности работы специализированных многопроцессорных систем управленияuk
dc.typeTechnical Reportuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
2017_2808.pdf
Розмір:
204.22 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Анотовані описи завершених науково-дослідних робіт КПІ ім. Ігоря Сікорського
Анотовані описи звітів про НДР (СПСКС)