Введение
Глава 1. Математические модели и алгоритмы обеспечения надежности интегрированных вычислительных комплексов систем управления летательными аппаратами 15
1.1. Анализ методов оценки надежности интегрированных вычислительных комплексов 15
1.2. Математические модели и последовательность оценки надежности вычислительных комплексов с учетом избыточности 21
1.3. Задача оптимального резервирования элементов интегрированных вычислительных комплексов 24
1.4. Оптимизация систем бортового управления дискриминационным методом 28
1.5. Выводы по главе 1 и постановка задачи исследования 32
Глава 2. Методы оценки и прогнозирования способов повышения надежности интегрированных вычислительных комплексов систем управления летательными аппаратами 35
2.1. Анализ и синтез оптимальных законов управления самолетами с помощью принципа динамического программирования 35
2.2. Способы повышения надежности комплексных систем управления 45
2.3. Математические методы прогнозирования перспективности комплексных систем управления по основным показателям качества 56
2.4. Выводы по главе 2 66
Глава 3. Способы и техническая реализация интегрированных комплексов систем управления летательными аппаратами с повышенной надежностью 68
3.1. Способы построения комплексных систем управления летательными аппаратами 70
3.2. Системы автоматического управления летательными аппаратами 80
3.3. Выводы по главе 3 107
Глава 4. Методы и модели полунатурных испытаний интегрированных вычислительных комплексов систем управления летательными аппаратами 109
4.1. Применение методов автоматизированного моделирования при полунатурных испытаниях вычислительных комплексов систем управления ПО
4.2. Выбор вычислительных процедур и тактов интегрирования дифференциальных уравнений полета летательного аппарата и составление структурных схем комплексной системы автоматического управления 121
4.3. Выводы по главе 4 137
Глава 5. Стендовые и летно-конструкторские испытания интегрированных комплексов систем управления летательными аппаратами 140
5.1. Стендовые испытания систем управления авиационными комплексами 140
5.2. Применение мобильного отладочного стенда при летно-конструкторских испытаниях систем управления 148
5.3. Повышение достоверности оценок надежности комплексных систем управления на основе теоремы Байеса с использованием данных летных испытаний 156
5.4. Выводы по главе 5 160
Глава 6. Методы оценок надежности программного обеспечения интегрированных вычислительных комплексов систем управления летательными аппаратами 162
6.1. Математические модели оценки надежности программного обеспечения и способы отладки рабочих программ 162
6.2. Методы разделения классов случайных ошибок в программном обеспечении 172
6.3. Формирование алгоритмов резервирования и контроля вычислительных комплексов систем управления 180
6.4. Оценка интенсивности отказов на основе построения графов состояний 187
6.5. Выводы по главе 6 191
Глава 7. Методы и критерии автоматического тестирования программного обеспечениясистем управления летательных аппаратов наоснове эталонной модели 193
7.1. Технология тестирования программного обеспечения методов сравнения с эталонной моделью 193
7.2. Методика и критерии выбора воздействий при тестировании программного обеспечения методом сравнения с эталонной модели 203
7.3. Критерии автоматической оценки результатов тестирования 217
7.4. Проверка формирования параметров предельных режимов полета алгоритмами СОС системы управления КСУ-35 226
7.5. Выводы по главе 7 237
Выводы 240
Список литературы
