Царев Р. Ю. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надежности

Царев Р. Ю., Штарик А. В., Штарик Е.Н. МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ. АЛГОРИТМЫ ГОЛОСОВАНИЯ И ОЦЕНКА НАДЁЖНОСТИ Монография......Page 1 ОГЛАВЛЕНИЕ......Page 4 ВВЕДЕНИЕ......Page 6 1.1. Программный компонент систем управления и обработки информации......Page 8 1.2. Надёжность функционирования программного обеспечения......Page 10 1.3. Мультиверсионное программирование как методология проектирования отказоустойчивого программного обеспечения систем управления и обработки информации......Page 18 2. АЛГОРИТМЫ ГОЛОСОВАНИЯ В МУЛЬТИВЕРСИОННОМ ПРОГРАММНОМ ОБЕСПЕЧЕНИИ......Page 23 2.1. Алгоритмы голосования, основанные на сравнении выходных данных......Page 24 2.2. Алгоритмы с принятием решения вне зависимости от схожести выходных данных......Page 36 3.1. Неоднозначность принятия решения в алгоритмах голосования согласованным большинством......Page 40 3.2. «Склеивание» подмножеств выходных данных......Page 50 3.3. Оценка результатов голосования......Page 56 3.4. Несовместность разбиенийв алгоритмах с минимизацией......Page 59 3.5. Выбор значения l-сечения в нечётких алгоритмах......Page 60 3.6. Комплексное применение алгоритмов голосования в мультиверсионном программном обеспечении......Page 63 4.1. Программа NVX......Page 71 4.2. Программа NVX-m......Page 76 5. МОДЕЛИ И МЕТОДЫ ОЦЕНКИ НАДЁЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ......Page 79 5.1. Модель анализа на этапе дизайна архитектуры программного обеспечения......Page 80 5.2. Анализ надёжности программного обеспечения на фазе кодирования......Page 82 5.3. Анализ надёжности программного обеспечения на фазе тестирования системы......Page 83 5.4. Модель оценки транзакционной надёжности объектно-ориентированного программного обеспечения......Page 84 5.5. Универсальная модель оценки надёжности объектно-ориентированного мультиверсионного программного обеспечения с распределенной архитектурой......Page 85 6.1. Система SMR......Page 87 6.2. Результаты применения системы SMR......Page 91 ЗАКЛЮЧЕНИЕ......Page 99 БИБЛИОГРАФИЧЕСКИЙ СПИСОК......Page 101 Приложение......Page 110