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

Інформація × Реєстраційний номер 0218U000981, 0117U004458 , Науково-дослідна робота Назва роботи Розробка математичного забезпечення для програмного засобу аналізу функціональної безпечності та надійності програмно-апаратних систем відповідального призначення Назва етапу роботи Керівник роботи Волочій Богдан Юрійович, Дата реєстрації 06-03-2018 Організація виконавець Національний університет "Львівська політехніка" Опис етапу Розроблено метод визначення компонент структурно-автоматних моделей на основі опорного графа станів та метод модифікації структурно-автоматних моделей для використання закону розподілу Ерланга в дискретно-неперервних стохастичних моделях поведінки відмовостійких систем. Удосконалено: метод визначення мінімальних січень на основі графа станів та переходів; метод валідації структурно-автоматних моделей; метод побудови опорного графа станів на основі базових подій. Розроблено надійнісні моделі відмовостійкої системи з версійно-структурним резервуванням для отримання функції готовності та відмовостійкої системи з мажоритарною конфігурацією {3 із 5}. Розроблено: методику синтезу відмовостійких складних систем відповідального призначення із заданим рівнем безпечності; методику розроблення структурно-автоматних моделей відмовостійких систем; методику використання методу модифікації структурно-автоматних моделей для використання закону розподілу Ерланга. Опис продукції Математичне забезпечення для розроблення програмного засобу аналізу функціональної безпечності та надійності програмно-апаратних систем відповідального призначення. Автори роботи Ільків Анастасія Олегівна Бобало Юрій Ярославович Волочій Богдан Юрійович Волочій Сергій Богданович Змисний Михайло Михайлович Кулик Ігор Володимирович Мандзій Богдан Андрійович Мащак Андрій Володимирович Муляк Олександр Володимирович Озірковський Леонід Деонісійович Федасюк Дмитро Васильович Шкілюк Олександр Петрович Яковина Віталій Степанович Додано в НРАТ 2020-04-02 Закрити