С целью расчета различных схем резервирования программно-технических средств структурными методами рассмотрены математические модели, определяемые законами распределения характеристик надежности элементов бортовой аппаратуры космических аппаратов Показана важность корректности представления закона распределения времени до отказа космических аппаратов. Поставлена задача разработки алгоритма нахождения в аналитическом виде функции распределения времени до отказа КА. Показана схема возможной реализации закона распределения при разработке алгоритма создания программного обеспечения. Предлагаемый алгоритм позволит повысить точность оценок ВБР и прогнозирования надежности КА.