Рассмотрена проблема оценки надежности бортовых систем космического аппарата. Неопределённость условий принятия решений по конструктивным доработкам обусловила использование методов стохастического программирования. Результаты доработок предложено оценивать с помощью модели в виде Марковского процесса с доходами по критериям: вероятность безотказной работы бортовых систем и убытки от наступления каждого отказа.
Предложенный механизм является средством количественной и качественной оценок надежности и эффективности конструктивных доработок не резервируемых, резервируемых, невосстанавливаемых, восстанавливаемых средств с несколькими уровнями работоспособности. Он позволяет исследовать влияние на надежность таких факторов проектирования как способы и степень резервирования, а также восстановления и контроля.