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

Інформація × Реєстраційний номер 0220U000292, 0115U000035 , Науково-дослідна робота Назва роботи Розробка теоретичних основ і прикладних методів створення комп'ютерних засобів і систем з гарантованою надійністю та безпекою для критичних технологій і інфраструктур Назва етапу роботи Керівник роботи Федухін Олександр Вікторович, Дата реєстрації 28-01-2020 Організація виконавець Інститут проблем математичних машин і систем НАН України Опис етапу В роботі викладено подальший розвиток теорії забезпечення гарантоздатності КС та вирішені наступні актуальні наукової задачі. 1. На основі проведеного аналізу сучасних проблем створення гарантоздатних комп'ютерних систем (ГКС), зроблено висновки про необхідність застосування комплексного підходу до їх вирішення на платформі нової відмовостійкої структури. 2. Удосконалено атрибутивну модель гарантоздатності КС (АМГКС) шляхом введення до складу моделі атрибут достовірність, що визначає ймовірність отримання достовірного результату в ході проведення обчислень. 3. Виконано розгорнуту декомпозицію АМГКС на атрибути, метрики і критерії оцінки рівня реалізації окремих характеристик. 4. Вперше АМГКС дозволила розробити оригінальну методологію кількісного оцінювання рівня гарантоздатності КС. 5. Вперше запропоновано експертний та два аналітичних метода кількісної оцінки вагових коефіцієнтів метрик деякого довільного атрибуту гарантоздатності КС. 6. Вперше на основі метричного підходу розроблено оригінальна скалярна математична модель кількісного оцінювання загального рівня гарантоздатності КС. 7. Вперше завдяки розгляду АМГКС, як сукупності атрибутів з їх метричними кількісними показниками, розроблено процедуру порівняльної оцінки КС з боку досягнутого рівня гарантоздатності різних варіантів їх виконання в процесі проектування. Сформульовано вимоги до програмного забезпечення відмовостійких КС та доведено можливість досягнення високого ступеня захищеності керуючих програм завдяки використанню методів попередження, виявлення та забезпечення стійкості до помилок. 8. Вперше запропоновано новий клас двоканальних КС з квазімістковою структурою (КМС) та можливістю її реконфігурації при відмовах складових частин. Результати моделювання засобами пакету програм RELIABmod також підтверджують, що як у випадку невідновлювальної, так і у випадку відновлювальної КМС її ЙБР зростає зі збільшенням кількості дубльованих вузлів, з яких складається структура. 9. Розроблено методи дослідження надійності КС за результатами випробувань в умовах малої статистики відмов. Проведено аналіз перетворень інформації в управлінні ризиками, розроблено структури інформаційних систем з безпеки потенційно небезпечних об'єктів, проаналізовано інформаційні технології в забезпеченні безпеки життєдіяльності в сучасних умовах міжнародної напруженості. 10. Розроблено технологію управління життєвим циклом КС з розвиненоїю зовнішньою інфраструктурою. Опис продукції Науково-технічна продукція виконана у вигляді звіту, що вміщує результати досліджень за даною темою Автори роботи Бєгун Василій Васильович Муха Артем Редковська Марина Миколаївна Сеспедес Гарсія Наталія Василівна Сеспедес Гарсія Патрик Давидович Стрельніков Валерій Павлович Стрельніков Павло Валерійович Фідаров Тамерлан Зелімханович Федухін Олександр Вікторович Ярошенко В'ячеслав Миколайович Ященко Віталій Олександрович Додано в НРАТ 2020-04-02 Закрити