Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексовтезисы доклада