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