Розроблено моделі, методи та інструментальні засоби оцінювання якості та забезпечено функціональну безпеку людино-машинних інтерфейсів інформаційно-керуючих систем (ЛМІ ІКС) із використанням Safety Case методології. Вперше запропоновано метод оцінювання якості ЛМІ, який базується на процедурах аналізу повноти та узгодженості вимог до інтерфейсів, що дозволяє підвищити повноту оцінювання і знизити ризики, пов'язані з людським фактором. Удосконалено модель якості ЛМІ ІКС шляхом розширення, деталізації та ранжування оцінюваних характеристик інтерфейсів, що дозволяє підвищити повноту оцінювання. Удосконалено марковську модель готовності ІКС з урахуванням можливих дефектів ЛМІ, що дозволяє підвищити точність оцінювання надійності та функціональної безпеки систем. Розвинено метод оцінювання безпеки ЛМІ на основі комплексування FME(C)A та HAZOP, що дозволяє оцінювати ризики небезпечного функціонування систем. Розроблено інструментальні засоби для оцінювання якості ЛMI ІКС.

• Орєхова Анастасія Олександрівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"