Короткий опис (реферат):
Обеспечение требуемого уровня функциональной безопасности критических инфраструктур (КИ) в значительной степени определяется параметрами отказоустойчивости программного модуля, используемого в контурах управления КИ (т.е. рассматривается программное обеспечение (ПО) критического приложения). Однако результаты анализа последствий наиболее крупных аварий и катастроф с участием различных инфраструктурных образований свидетельствуют о недооценивании влияния сбоев, отказов ПО критического приложения на ухудшение общего уровня надежности. Для устранения указанной проблемы предлагается использовать комплексный подход к оценке отказоустойчивости ПО, методологической основой которого является аналитико-стохастическое описание процессов функционирования и тестового контроля соответсвующего программного модуля.
