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

Інформація × Реєстраційний номер 0218U007104, 0117U004458 , Науково-дослідна робота Назва роботи Розробка математичного забезпечення для програмного засобу аналізу функціональної безпечності та надійності програмно-апаратних систем відповідального призначення Назва етапу роботи Керівник роботи Волочій Богдан Юрійович, Дата реєстрації 08-01-2019 Організація виконавець Національний університет "Львівська політехніка" Опис етапу Проведено огляд сучасних методик реалізації FMEA/FMECA аналізу, які є автоматизованими в існуючих програмних комплексах. Здійснено розвиток теоретичних засад оцінювання показників функціональної безпечності програмно-апаратних систем відповідального призначення за допомогою методу простору станів. Розроблено методику визначення показників безпечності експлуатації відмовостійких систем з мажоритарною структурою. Розроблено математичне та програмне забезпечення для автоматизації процесу розроблення структурно-автоматних моделей відмовостійких програмно-апаратних систем. Розробленно і верифіковано моделі надійності програмного забезпечення з урахуванням недосконалого відлагодження на основі функції зусиль тестування. Розроблено метод прогнозування тривалості виконання програмного коду з урахуванням впливу зовнішніх та внутрішніх факторів. Здійснено розроблення веб-системи для візуалізації надійнісних моделей, представлених у вигляді графу великої розмірності. Опис продукції Розроблені прототипи програмних засобів дають змогу здійснювати розробку та проводити надійнісний аналіз дискретно-неперервних стохастичних моделей відмовостійких програмно-апаратних систем, а також візуалізувати їх у вигляді графа станів та переходів. Автори роботи Ільків Анастасія Олегівна Бобало Юрій Ярославович Волочій Богдан Юрійович Волочій Сергій Богданович Змисний Михайло Михайлович Кулик Ігор Володимирович Мащак Андрій Володимирович Муляк Олександр Володимирович Озірковський Леонід Деонісійович Федасюк Дмитро Васильович Чопей Ратібор Степанович Шкілюк Олександр Петрович Яковина Віталій Степанович Якубенко Василь Миколайович Додано в НРАТ 2020-04-02 Закрити