Многовариантное программирование и его применение

Приводится обзор многовариантного программирования (включая программирование с блоками восстановления), предназначенного для систем обработки информации и управления в реальном масштабе времени, операционных систем и ряда других. Рассматриваются методы повышения отказоустойчивости и уровня правильности программ, а также методы улучшения их функциональных характеристик. Анализируются результаты экспериментальных исследований. Вводится классификация отказоустойчивых вычислительных систем с их программным обеспечением по признакам идентичной и неидентичной избыточности разных типов.