Эффективность применения избыточности для повышения надежности комплексов программ

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

Для реализации стратегий резервирования программ необходима временная избыточность. При этом временная избыточность используется в основном для оперативного контроля состояния данных и вычислительного процесса, а также для автоматического восстановления при возникновении отказовых ситуаций. Резерв времени для выполнения этих операций можно считать достаточным независимо от числа предыдущих отказов, времени на их устранение и наработки на отказ. Кроме того, суммарное время восстановления работоспособности обычно не ограничено.

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

* определить совокупные затраты на контроль, на работу при необнаруженном искажении и на восстановление, обеспечивающие заданную вероятность обнаружения отказовой ситуации при исполнении программ;

* определить основные показатели надежности функционирования программ в зависимости от совокупных затрат на оперативный контроль и восстановление;

* оптимизировать суммарные затраты на отладку программ и оперативную защиту от искажений для обеспечения заданной надежности функционирования комплекса программ.

При решении последней задачи источниками искажений предполагаются только невыявленные ошибки в программах.