Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем

Abstract

У статті розглянуті проблеми створення стійкого до відмов програмного забезпечення для гарантоздатних бортових автономних комплексів довготривалого функціонування. Проведено аналіз сучасного стану проблеми. Описані різні методи створення відмовостійкого програмного забезпечення. Зроблені оцінки підходів N -версійного програмного забезпечення та моделі блоків відновлення. Приведений приклад конкретного проекту N -версійного програмного забезпечення.

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

In the paper the problems of creation of the fault-tolerant software for dependable computing systems are considered. The analysis of a modern status of a problem is carried out. The various methods of creation of the fault-tolerant software are described. The ratings of the approaches of the N -version software and model of recovery blocks are made. The example of the concrete project of the N -version software is given.