Введение
1. Типовые структуры авионики 17
1.1. Функции авионики на борту летательного аппарата 17
1.2. Модели систем авионики 29
1.2.1. Модель конструкций 29
1.2.2. Модель сенсорной системы 33
1.2.3. Модель системы электропитания 39
1.2.4. Модели бортовой ЭВМ 44
1.2.5. Структуры программных пакетов 50
1.2.6. Межмодульные интерфейсы авионики 55
1.2.7. Модель бортовой кабельной сети 62
1.2.8. Модель интерфейса между оператором и авионикой 65
1.3. Обобщенная структура объектов авионики 68
1.4. Отказоустойчивость авионики с иерархической структурой 76
1.5. Выводы 82
2. Сети петри-маркова 84
2.1. Определение и способы задания сетей Петри-Маркова 84
2.1.1. Задание СПМ 86
2.1.2. Структурные аспекты СПМ 90
2.1.3. Процессы в СПМ 94
2.2. Основные свойства СПМ 97
2.3. Упрощение СПМ 100
2.4. Выполнение полушагов из непримитивных переходов 122
2.5. Сведение сети, инцидентной непримитивному переходу, к ЭППМ 128
2.6. Аппроксимация композиции плотностей законом распределения 142
2.7. СПМ как инструмент для имитационного моделирования 144
2.8. Выводы 151
3. Структурно-параметрические модели отказов 153
3.1. Параметрические отказы в системе 153
3.2. Структурные модели отказов в системе 166
3.2.1. Модель отказа одного из элементов 168
3.2.2. Модель отказов любых т элементов из У 172
3.2.3. Модель отказов т элементов из J, или одного из оставшихся К 184
3.2.4. Общая структура сети, моделирующей отказы 188
3.3. Выводы 190
4. Отказоустойчивость типовых технических решений авионики
4.1. Отказоустойчивость систем с пассивным резервированием 192
4.1.1. Типовая структура системы с пассивным резервированием 193
4.1.2. Структурно-параметрическая модель отказов в системе с пассивным резервированием
4.1.3. Временные характеристики системы с пассивным резервированием 205
4.1.4. Оценка эффективности пассивного резервирования 210
4.1.5. Пассивное резервирование при интенсивности отказов, не зависящих от величины нагрузки на элемент 218
4.2. Активное резервирование с переключением блоков 222
4.2.1. Системы с активным резервированием при нестационарных потоках отказов
4.2.2. Отказы системы с активным резервированием при стационарных потоках отказов
4.3. Активное резервирование с отключением отказавших элементов 229
4.3.1. Случай безотказной работы контролирующего устройства 230
4.3.2. Случай неработоспособности всей системы в результате отказа контролирующего устройства 230
4.3.3. Общая методика формирования СПМ для различных случаев отказов контролирующего устройства 234
4.4. Выводы 236
5. Отказы бортовых эвм авионики 238
5.1. Особенности отказов программного обеспечения 238
5.2. Отказы технических средств ЭВМ 245
5.2.1. Простейший случай контроля 249
5.2.2. Идентификация сбоев с контрольным просчетом 253
5.2.3. Идентификация отказов по методу "голосования" в автоматах с резервированием 257
5.2.4. Идентификация отказов по методу "голосования" в системе автоматов с контрольным просчетом 262
5.3. Выводы 269
6. Практика проектирования отказоустойчивой авионики 271
6.1. Требования к отказоустойчивости, вытекающие из условий эксплуатации бортовых измерительно-информационных комплексов 271
6.2. Технология реализации отказоустойчивости в бортовых ЭВМ 277
6.3. Перспективная система авионики 285
6.4. Параметры отказоустойчивости перспективного комплекса бортового оборудования
6.5. Методы отработки, сертификации и эксплуатации отказоустойчивой авионики 294
6.6. Выводы 297
7. Заключение 299
Литература 302
