Введение
ГЛАВА 1. Характеристика и особенности комплекса программ АСУ реального времени 10
1.1. Основные этапы разработки комплекса программ АСУ реального времени 10
1.2. Проблема надежности программ, основные понятия 17
1.3. Классификация методов обеспечения надежности программ 25
1.4. Постановка задачи отладки и контроля комплекса программ АСУ реального времени 36 Выводы 46
ГЛАВА 2. Формализация описания требований (спецификаций) и разработка модели комплекса программ АСУ реального времени 47
2.1. Формализация описания требований (спецификаций) к комплексу программ АСУ реального времени 47
2.2. Разработка модели комплекса программ АСУ реального времени 60
2.3. Анализ ошибок и отказов в программах, функционирующих в реальном времени 81
2.4. Формулировка задачи распределения временных ресурсов на отладку и оперативный динамический контроль комплекса программ АСУ реального времени 97
Выводы 109
ГЛАВА 3. Разработка алгоритмов анализа комплекса програми АСУ реального времени 110
3.1. Разработка алгоритма анализа требований (спецификаций) к комплексу программ АСУ реального времени 110
3.2. Разработка алгоритма построения функционала надежности комплекса программ АСУ реального времени 119
3.3. Разработка алгоритма решения задачи распределения временных ресурсов на отладку и оперативный динамический контроль комплекса программ АСУ реального времени 126 Выводы 137
ГЛАВА 4. Экспериментальное исследование модели и алгоритмов 138
4.1. Описание программного обеспечения аппаратно-программного комплекса автоматизации эксперимента в реальном масштабе времени с расчетными, имитационными и физическими моделями 138
4.2. Экспериментальное исследование программного обеспечения аппаратно-программного комплекса автоматизации эксперимента в реальном масштабе времени с расчетными, имитационными и физическими моделями 150
4.3. Инженерная методика распределения временных ресурсов на отладку и оперативный динамический контроль исследуемого программного обеспечения 165
Выводы 175
Заключение 176
Список литературы 179
Приложение 185
