Исследуется математическая модель оценки времени работы программы в присутствии случайных сбоев. Для снижения влияния сбоев на время работы программы рассматривается известный метод контрольных точек. Основная цель состоит в получении формулы для функции распределения случайной величины времени работы программы и оценки квантили полученного распределения. Изучаются свойства математического ожидания случайной величины времени работы программы.