Введение
Глава I. Методы аналюа гарантоспособности вычислительных систем 12
1.1Анализ гарантоспособности вычислительных систем 12
1.1.1 Угрозы гарантоспособности вычислительных систем 12
1.1.2. Атрибуты гарантоспособности вычислительных систем » 16
1.1.З. Способы достижения гарйнтоспособности вычнслительных систем 17
2. Оценка надежности вычислительных систем 26
1.2.1 Сравнительные оценки надежности вычислительных систем 27
1.2.2. Вероятностные оценки надежности вычислительных систем 28
1.2.3. Внесение неисправностей 29
1.3- Математическая модель оценки надежности вычислительных систем 30
1.4. Выводы , 35
Глава 2, Комплексные модели отказоустойчивости ВС 37
2.1. Выбор числа процессоров 37
2.2. Метедьі, ишольз)тощие пртіраммную и аш 41
2.3. Интегрированные модели надежности мультипроцессорной ВС с несколькими версиями программ 48
2.3.1. Описание модели 48
2.3.2. Оценка надежности различных вариантов построения системы 53
2.3.3. Анализ влияния сбоев на надежностные характеристики систем 54
2.3.4. Влияние программной избыточности на поведения системы 56
2.3.5. Зависимость надежности системы от интенсивностей ошибок ПО и отказов аппаратуры, 58
2-3,6. Зависимость надежности системы от вероятности обнаружения сбоев второго элемента трех элементной системы 60
2.4-Выводы 66
Глава 3. Алгоритмы голосования и модели построения решающих блоков , 67
З.1 Учет характеристик средств контроля в случае резервирования 67
3.2. Методы голосования 68
3.3. Исследование характеристик решающих блоков — 77
3-3.1. Возможности реализации рассмотренных алгоритмов 84
3.4. Выводы 86
Глава 4. Анализ методов обеспечения отказоустойчивости ВС
4,1 Методы обеспечения устойчивости к программным сбоям 88
4,1.1 Блоки восстановления 88
4 1.2. N-вариантное программирование - 91
4.1,3. N-самопроверяемое программирование 92
4.2. Анализ методов обеспечения отказоустойчивости 93
4.2.1. Анализ блоков восстановления 94
4.2.2. Анализ N-самопроеряемого программирования 97
4.2.3. Анализ N-вариантного программирования 100
4.2.4. Сравнение вариантов программ БВ, 1ЧВП и ЫСПП 102
4.3. Анализ надежности отказоустойчивых систем 105
4.3 1- Критерии структурирования отказоустойчивых систем 105
4.4. Выводы 110
Общие выводы 112
Список литературы 114
