Знайдено документів: 1
Інформація × Реєстраційний номер 0224U032264, 0120U000212 , Науково-дослідна робота Назва роботи Моделі, методи та засоби створення та аналізу відмовостійких, надійних і безпечних систем критичного застосування: оцінка можливості продовження періоду експлуатації з допустимими значеннями ризиків Назва етапу роботи Розробка теоретичних основ створення гарантоздатних комп’ютерних систем (ГКС) Керівник роботи Федухін Олександр Вікторович, Дата реєстрації 28-08-2024 Організація виконавець Інститут проблем математичних машин і систем НАН України Опис етапу Були досліджені різноманітні уразливості КС, які є загрозою інформаційної безпеки, розглянуто питання використання N-версійного програмування з метою виявлення і уникнення похибок проектування в програмному забезпеченні будь-якої системи. Удосконалено атрибутивну модель гарантоздатності КС. Виконано розгорнуту декомпозицію атрибутивної моделі на атрибути, метрики і критерії оцінки рівня реалізації окремих характеристик. Вперше, завдяки одержаній атрибутивній моделі та на основі метричного підходу розроблено оригінальні методи кількісного оцінювання рівня гарантоздатності КС.  Опис продукції Автори роботи Бєгун Василь Васильович Муха Артем Андрійович Редковська Марина Миколаївна Сеспедес Гарсія Наталя Василівна Сеспедес Гарсія Патрик Давидович Стрельніков Валерій Павлович Стрельніков Валерій Павлович Федухін Олександр Вікторович Додано в НРАТ 2024-10-01 Закрити
НДДКР ОК
Керівник: Федухін Олександр Вікторович. Моделі, методи та засоби створення та аналізу відмовостійких, надійних і безпечних систем критичного застосування: оцінка можливості продовження періоду експлуатації з допустимими значеннями ризиків. (Етап: Розробка теоретичних основ створення гарантоздатних комп’ютерних систем (ГКС)). Інститут проблем математичних машин і систем НАН України. № 0224U032264
Знайдено документів: 1

Оновлено: 2026-03-19