Комплексные модели анализа и обеспечения отказоустойчивости бортовых вычислительных систем

Оглавление
ВВЕДЕНИЕ
ГЛАВА 1. МЕТОДЫ АНАЛИЗА ГАРАНТОСПОСОБНОСТИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
1.1. Анализ гарантоспособности вычислительных систем.
1.1.1. Угрозы гарантоспособности вычислительных систем
1.1.2. Атрибуты гарантоспособности вычислительных систем
1.1.3. Способы достижения гарантоспособности вычислительных систем
. Оценка надежности вычислительных систем
1.2.1. Сравнительные оценки надежности вычислительных систем
1.2.2. Вероятностные оценки надежности вычислительных систем
1.2.3. Внесение неисправностей
1.3. Математическая модель оценки надежности вычислительных систем.
1.4. Выводы
ГЛАВА 2. КОМПЛЕКСНЫЕ МОДЕЛИ ОТКАЗОУСТОЙЧИВОСТИ ВС
2.1. Выбор числа процессоров.
2.2. Методы, использующие программную и аппаратную избыточности
. Интегрированные модели надежности мультипроцессорной ВС с несколькими версиями программ
2.3.1. Описание модели
2.3.2. Оценка надежности различных вариантов построения системы.
2.3.3. Анализ влияния сбоев на надежностные характеристики систем.
2.3.4. Влияние программной избыточности на поведения системы
2.3.5. Зависимость надежности системы от интенсивностей ошибок ПО и отказов аппаратуры.
2.3.6. Зависимость надежности системы от вероятности обнаружения сбоев второго элемента трех элементной системы.
2.4. Выводы
ГЛАВА 3. АЛГОРИТМЫ ГОЛОСОВАНИЯ И МОДЕЛИ ПОСТРОЕНИЯ РЕШАЮЩИХ БЛОКОВ
3.1. Учет характеристик средств контроля в случае резервирования.
. Методы голосования.
. Исследование характеристик решающих блоков.
3.3.1. Возможности реализации рассмотренных алгоритмов .
3.4. Выводы
ГЛАВА 4. АНАЛИЗ МЕТОДОВ ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ ВС
4.1. Методы обеспечения устойчивости к программным сбоям.
4.1.1. Блоки восстановления
4.1.2. Ывариантное программирование
4.1.3. Ысамопроверяемое программирование
4.2. Анализ методов обеспечения отказоустойчивости.
4.2.1. Анализ блоков восстановления
.2. Анализ Ысамопроеряемого программирования
4.2.3. Анализ Ивариантного программирования
4.2.4. Сравнение вариантов программ БВ, ЫВП и СПП.
4.3. Анализ надежности отказоустойчивых систем
4.3.1. Критерии структурирования отказоустойчивых систем
4.4. Выводы.
ОБЩИЕ ВЫВОДЫ
СПИСОК ЛИТЕРАТУРЫ