Запропоновано модифіковану таксономічну схему гарантоздатності з урахуванням факторів еволюції комп'ютерних систем (зміни функціональних вимог, вимог до гарантоздатності та характеристик середовища), а також операційного циклу і рівнів забезпечення відмовостійкості. Узагальнено таксономію багатоверсійних обчислень в гарантоздатних системах і проаналізовано методи її оцінки. Визначено поняття самоеволіціонуючої системи. Проаналізовано деякі еволюційні аспекти технологій, що використовуються при побудові гарантоздатних комп'ютерних систем. Ключові слова: гарантоздатність, багатоверсійні обчислення, таксономія, операційний цикл відмовостійкості, еволюція, самоеволюціонуючі системи
