|
Єфімова, Т. І. Відмовостійкість програмного забезпечення гарантоздатних комп'ютерних систем [Текст] / Т. І. Єфімова, Б. Г. Мудла, О. М. Шалейко // Математичні машини і системи. – 2009. – № 4. – С. 200-209.
У статті розглянуті проблеми створення стійкого до відмов програмного забезпечення для гарантоздатних бортових автономних комплексів довготривалого функціонування. Проведено аналіз сучасного стану проблеми. Описані різні методи створення відмовостійкого програмного забезпечення. Зроблені оцінки підходів N-версійного програмного забезпечення та моделі блоків відновлення. Приведений приклад конкретного проекту N-версійного програмного забезпечення. |