Введение
1. Мультиверсионное программное обеспечение как способ повышения надёжности информационно-управляющих систем 9
1.1. Программный компонент систем управления и обработки информации 9
12. Надежность функционирования программного обеспечения 13
1.2,1- Надежностная характеристика программного модуля , 13
12,2. Обеспечение надежности программ с помощью введения избыточности 19
1.3. Мультиверсионное программирование как методология проектирования отказоустойчивого программного обеспечения систем управления и обработки информации 23
Выводы 28
2. Алгоритмы голосования в мультиверснонном программном обеспечении 30
2.1. Алгоритмы голосования, основанные на сравнении выходных данных 32
2.1 Л. Неформализованные алгоритмы голосования 33
2.1.2. Формализованные алгоритмы голосования 49
22. Алгоритмы с принятием решения вне зависимости от схожести выходных данных 50
2.2.1. «Максимально вероятное» голосование (MLV) 51
2.2.2, Усреднённое голосование 54
Выводы 54
3. Специфика применении алгоритмов голосования в мультиверснонном программном обеспечении информационно-управляющих систем 56
3Л. Неоднозначность принятия решения в алгоритмах голосования согласованным большинством 56
3.2. «Склеивание» подмножеств выходных данных 71
33. Оценка результатов голосования 78
ЗА Несовместность разбиений в алгоритмах с минимизацией 82
3.5. Выбор значения Х-сечения в нечётких алгоритмах 85
3.6Г Комплексное применение алгоритмов голосования в мультиверснонном программном обеспечении 89
Выводы 97
4. Программная реализация результатов работы 99
4.1. Программа NVX 99
4ЛЛ. Особенности программы 100
4Л.2. Взаимодействие с исполняемыми версиями 101
4Л.З. Общая схема работы программы 103
4.1.4. Обобщенная схема работы версии 104
4.1.5. Требования к разработке версий 105
4.2. Программа NVX-m 106
Заключение 109
Список использованных источников * 112
