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

• Veröffentlicht in: Математичні машини і системи
• Datum: 2009
• Hauptverfasser: Єфімова, Т.І., Мудла, Б.Г., Шалейко, О.М.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2009
• Schlagworte: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/47338
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем / Т.І. Єфімова, Б.Г. Мудла, О.М. Шалейко // Мат. машини і системи. — 2009. — № 4. — С. 200-209. — Бібліогр.: 12 назв. — укр.

У статті розглянуті проблеми створення стійкого до відмов програмного забезпечення для гарантоздатних бортових автономних комплексів довготривалого функціонування. Проведено аналіз сучасного стану проблеми. Описані різні методи створення відмовостійкого програмного забезпечення. Зроблені оцінки підходів 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.