Вероятность успешного выполнения заданной процедуры — вероятность того, что при возникновении запроса будет успешно выполнена совокупность операций, составляющая -ю процедуру.
[ГОСТ 24.701-86. Единая система стандартов автоматизированных систем управления. Надежность автоматизированных систем управления. Основные положения]