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

• Published in: Математичні машини і системи
• Date: 2009
• Main Authors: Єфімова, Т.І., Мудла, Б.Г., Шалейко, О.М.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем математичних машин і систем НАН України 2009
• Subjects: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/47338
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем / Т.І. Єфімова, Б.Г. Мудла, О.М. Шалейко // Мат. машини і системи. — 2009. — № 4. — С. 200-209. — Бібліогр.: 12 назв. — укр.

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