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

Abstract

Дисертацію присвячено теоретичному обґрунтуванню й новому вирішенню актуального наукового завдання розроблення та удосконалення моделей, методів і засобів оцінювання функційної безпечності одно- і багатоверсійних інформаційно-керуючих систем на програмовних платформах з урахуванням розширеної номенклатури одиничних та множинних дефектів та їх комбінацій та зниження залежності від помилок аналізу експертів.

The dissertation is devoted to improving the completeness and credibility of safety assessment of information and control systems (ICSs) implemented on programmable logic platforms and used in safety-critical applications.