Пошук академічних текстів

Інформація × Реєстраційний номер 0225U000305, (0120U000212) , Науково-дослідна робота Назва роботи Моделі, методи та засоби створення та аналізу відмовостійких, надійних і безпечних систем критичного застосування: оцінка можливості продовження періоду експлуатації з допустимими значеннями ризиків Назва етапу роботи Розробка інноваційних проектів ГКС та впровадження результатів досліджень Керівник роботи Федухін Олександр Вікторович, Дата реєстрації 09-01-2025 Організація виконавець Інститут проблем математичних машин і систем Національної академії наук України Опис роботи Систематизація сучасних наукових знань в галузі термінології, методології та теорії гарантоздатних КС, розробка теоретичних основ і прикладних методів створення та аналізу гарантоздатних комп'ютерних засобів і систем високого рівня надійності та безпеки для критичних технологій та інфраструктур, розробка інформаційної технології оцінки ризиків небажаних подій та можливості подовження терміну служби систем і обладнання Опис етапу РЕФЕРАТ Звіт про НДР: 348 с., 94 табл., 62 рис., 1 додаток, 222 джерела. ГАРАНТОЗДАТНІСТЬ, ЗАЛИШКОВИЙ РЕСУРС, ВІДМОВОСТІЙКІСТЬ, АТРИБУТИВНА МОДЕЛЬ, DN-, DM –РОЗПОДІЛ ВІДМОВ, НАДІЙНІСТЬ, КРИТИЧНА ІНФРАСТРУКТУРА, БЕЗПЕКА, ВІДМОВОБЕЗПЕКА, РИСК-ОРІЕНТОВАНИЙ ПІДХІД Об’єкт дослідження: інформаційні технології у створенні різноманітних систем обробки інформації, включаючи системи автоматизації управління обладнанням та технологічними процесами, методи і методики розрахунку залишкового ресурсу та строку експлуатації об’єктів, методологія ризик-орієнтованого підходу управління безпекою об’єктів підвищеної небезпеки та критичних інфраструктур. Мета роботи: створення комплексного підходу до рішення проблеми забезпечення безпеки об’єктів підвищеної небезпеки та критичних інфраструктур, включаючи розробку методів інжинірингу гарантоздатних комп’ютерних систем, методів розрахунку залишкового ресурсу та оцінювання можливості продовження строку експлуатації об’єктів, розробка ризик-орієнтованого підходу щодо управління безпекою. Методи дослідження та розробки: при розробці та дослідженні гарантоздатних комп’ютерних систем та розрахунку залишкового ресурсу різноманітних об’єктів використовується методологія оцінювання надійності на засаді нового математичного апарату в межах ймовірносно – фізичного підходу до теорії надійності. Розробка методологічної основи інформаційної технології безпеки на основі ризик-орієнтованого підходу використовує ймовірнісне структурно-логічне моделювання небезпечних об’єктів, що враховує фактори техногенного та природного походження, включаючи вплив людського чинника. Основний науковий та практичний результат: Розроблено нові методи інжинірингу комп’ютерних систем на основі використання квазімісткових структур, методи розрахунку рівня гарантоздатності технічних засобів і програмного забезпечення з використанням атрибутивної моделі гарантоздатності, методики оцінки залишкового ресурсу об’єктів критичного використання та встановлення регламентовано  Опис продукції Автори роботи Бєгун Василь Васильович Гедзь Олександр Володимирович Муха Артем Андрійович Редковська Марина Миколаївна Сеспедес Гарсія Наталя Василівна Сеспедес Гарсія Патрик Давидович Скрипнікова Ольга Олександрівна Стрельніков Валерій Павлович Додано в НРАТ 2025-01-09 Закрити