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