Введение
1 Программный комплекс критичных по надежности встраиваемых систем управления реального времени 11
1.1 Отказоустойчивые системы управления для различных классов АБО 11
1.2 Анализ жизненного цикла разработки программных комплексов критичных по надежности встраиваемых систем управления реального времени 19
1.3 Модели надежности программного обеспечения 27
1.4 Анализ надежностных характеристик программного комплекса встраиваемых систем управления 40
1.5 Исследование методов повышения надежности программного обеспечения 49
Выводы 73
2 Типовая структура встраиваемой системы управления реального времени 76
2.1 ОСРВ как основа встраиваемой системы управления реального времени 76
2.2 Блочно-модульная структура встраиваемой системы управления реального времени 81
2.3 Механизм очередей для межпотокового обмена данными в ОСРВ 92
2.4 Модификация стандартных компонентов ОСРВ для разработки мультиверсионной среды исполнения 96
2.5 Определение типовых программных интерфейсов в архитектуре встраиваемых систем управления реального времени 100
Выводы 109
3 Комбинированный селективный алгоритм компоновки состава мультиверсионного программного комплекса 111
3.1 Модель «дерева сбоев» 111
3.2 Модель «дерева сбоев» для системы с t/(n-1) алгоритмом принятия решения 119
3.3 Программная реализация модели «деревьев сбоев» 122
3.4 Модель корректности 130
3.5 Программная реализация модели корректности 134
Выводы 138
4 Выбор алгоритма голосования для блока принятия решения мультиверсионной среды исполнения 141
4.1 Базовые алгоритмы голосования 142
4.2 Модификации существующих алгоритмов голосования 147
4.3 Программная реализация имитационной среды для сравнительного анализа и выбора алгоритмов голосования 149
4.4 Результаты моделирования 154
Выводы 163
5 Практическая реализация инструментальных средств повышения отказоустойчивости программных комплексов систем управления реального времени 164
5.1 Имитационная среда выбора методологии повышения отказоустойчивости системы с программной избыточностью 164
5.2 Практическая реализация мультиверсионной среды исполнения реального времени 172
5.3 Деэвтрофикационная модель предсказания времени наработки на отказ 177
Выводы 181
Заключение 184
