Кулинич В. С. Методи і моделі оцінювання та забезпечення функціональної безпеки бортових інформаційно-керуючих систем літальних апаратів

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