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

Інформація × Реєстраційний номер 0413U004741, Кандидатська дисертація На здобуття к.т.н. Дата захисту 27-06-2013 Статус Запланована Назва роботи Методи і моделі оцінювання та забезпечення функціональної безпеки бортових інформаційно-керуючих систем літальних апаратів Здобувач Кулинич Вікторія Станіславівна, Керівник Харибін Олександр Вікторович Опонент Вартанян Василь Михайлович Опонент Волковий Андрій Володимирович Опис Об'єкт дослідження: процеси оцінювання і забезпечення функціональної безпеки бортових інформаційно-керуючих систем (БІКС) літальних апаратів (ЛА). Мета - підвищення функціональної безпеки БІКС ЛА на основі моделей, методів та інформаційних технологій оцінювання та забезпечення заданого або максимально можливого рівня функціональної безпеки БІКС. Методи дослідження: принципи системного аналізу, методи теорії графів, апарату математичної логіки, теорії ймовірності, методи аналізу видів, наслідків та критичності відмов, принципи теоретико-множинного опису, математичного моделювання. Теоретичні та практичні результати: розроблені моделі та методи оцінювання і забезпечення функціональної безпеки БІКС ЛА можуть бути використані при створенні інформаційних технологій для застосування їх в інформаційно-керуючих системах критичного застосування. Наукова новизна: вперше одержано метод оцінювання функціональної безпеки БІКС ЛА, дістала подальший розвиток модель оцінювання функціональної безпеки БІКС ЛА, удосконалено метод забезпечення функціональної безпеки БІКС ЛА на різних етапах життєвого циклу. Впровадження: результати впроваджені у ТОВ "Телекарт-Прилад" (м. Одеса) і НТ СКБ "ПОЛІСВІТ" ДНВП "Об'єднання Комунар" (м. Харків), використовуються в навчальних процесах Державної льотної академії України (м. Кіровоград) і Полтавського національного технічного університету ім. Юрія Кондратюка. Сфера використання: створення та застосування автоматизованих систем переробки інформації й управління критичного застосування. Дата реєстрації 2013-06-27 Додано в НРАТ 2020-04-04 Закрити