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

Об'єкт дослідження - процеси функціонування інформаційно-управляючих систем (ІУС) критичного використання в умовах виникнення відмов апаратних і програмних компонент. Метою дослідження є підвищення надійності та функціональної безпеки ІУС критичного використання шляхом удосконалення методів і засобів оперативного контролю та відновлення працездатності. При проведенні досліджень використалися методи системного аналізу, теоретико-множинного та імовірнісного опису, теорії марковських процесів. Науковими результатами є: 1) вперше одержано теоретико-множинна й імовірнісна моделі оцінки функціональної безпеки інформаційно-управляючих систем, які базуються на урахуванні розширеної класифікації станів і помилок засобів контролю та управління критичними об'єктами; 2) удосконалено метод оперативного відновлення працездатності відмовобезпечних ІУС на основі розробки уніфікованих процедур діагностування і реконфігурації; 3) дістало подальшого розвитку метод оцінки та вибору процедур відновлення відмовобезпечних ІУС на основі їх ранжирування за показниками готовності та швидкодії. Ступінь упровадження - галузева. Запропоновані моделі, методи, інженерні методики, схемотехнічні та програмні засоби утворюють ядро прикладної інформаційної технології, що дозволяє автоматизувати процеси прийняття рішень щодо обґрунтування вимог до надійності та функціональної безпеки, вибору варіантів відмовобезпечних структур ІУС.