Реєстраційний номер
0215U003268,
0110U001005
, Науково-дослідна робота
Назва роботи
Розробка теоретичних засад створення та дослідження живучих гарантоздатних систем керування на основі ймовірнісно-фізичного підходу
Назва етапу роботи
Керівник роботи
Федухін Олександр Вікторович,
Дата реєстрації
22-01-2015
Організація виконавець
Інститут проблем математичних машин і систем НАН України
Опис етапу
Вперше введено нове поняття - атрибутивна модель гарантоздатності комп'ютерних систем (АМГКС), розроблено комплекс атрибутів і метрик АМГКС і методи їх оцінювання. Проаналізовано перелік основних факторів, що впливають на рівень живучості КС, запропоновано комплекс кількісних оцінок живучості систем. Проведено класифікація безпечних структур КС, сформульовані переваги і недоліки кожної структури і вказані сфери їх застосування. Розроблено нові пакети програм RELIABmod, GARANTmod. для статистичного моделювання надійності систем та комплексного забезпечення гарантоздатності КС при проектуванні. Розроблено та впроваджено у практику оригінальну методику сертифікації програмних засобів за показниками якості. Розроблено теоретичні основи створення живучої гарантоздатної КС на базі рецепторно - ефекторних нейронних зростаючих мереж та штучного інтелекту, методи створення живучих, високонадійних інтелектуальних комп'ютерних систем та електронного мозку роботів. Розроблено риск - орієнтований підхід щодо оцінки рівня безпеки критичних систем та інфраструктур. Основою роботи є систематизація сучасних наукових знань в галузі термінології, методології та теорії гарантоздатних комп'ютерних систем (КС), розробка теоретичних основ і прикладних методів створення гарантоздатних комп'ютерних засобів і систем високого рівня надійності, живучості та безпеки для критичних технологій та інфраструктур. Теоретичне і практичне значення отриманих результатів полягає у тому, що всі вони можуть бути безпосередньо втілені в процеси розробки та побудови реальних складних комп'ютерних систем у різних галузях науки і техніки.
Опис продукції
Науковий звіт, що вміщує результати досліджень
Автори роботи
А.І. Сухомлин
А.А. Сіра
Ар.А. Муха
В.В. Казімір
В.В.Бєгун
В.Г. Сербін
В.М. Ярошенко
В.О. Ященко
В.П. Пасько
В.П.Стрельніков
В.Ф. Грєчанінов
М.М. Редковська
Н.В. Сеспедес Гарсія
О.В. Федухін
О.М. Шалейко
П.В. Стрельніков
Т.І. Єфімова
Т.З Федаров
Додано/оновлено в НРАТ
2020-04-02
