МЕТОДЫ И МОДЕЛИ ОЦЕНИВАНИЯ И ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ЛЕТАТЕЛЬНЫХ АППАРАТОВ : МЕТОДИ І МОДЕЛІ ОЦІНЮВАННЯ ТА ЗАБЕЗПЕЧЕННЯ ФУНКЦІОНАЛЬНОЇ БЕЗПЕКИ БОРТОВИХ ІНФОРМАЦІЙНО-КЕРУЮЧИХ СИСТЕМ ЛІТАЛЬНИХ АПАРАТІВ

Краткое описание

МИНИСТЕРСТВО ОБОРОНЫ УКРАИНЫ

ВОЕННЫЙ ИНСТИТУТ ТЕЛЕКОММУНИКАЦИЙ И ИНФОРМАТИЗАЦИИ НАЦИОНАЛЬНОГО ТЕХНИЧЕСКОГО УНИВЕРСИТЕТА УКРАИНЫ «КИЕВСКИЙ ПОЛИТЕХНИЧЕСКИЙ ИНСТИТУТ»

На правах рукописи

Кулинич Виктория Станиславовна

УДК 004.03

МЕТОДЫ И МОДЕЛИ ОЦЕНИВАНИЯ И ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ЛЕТАТЕЛЬНЫХ АППАРАТОВ

Специальность 05.13.06 - информационные технологии

Диссертация на соискание ученой степени кандидата технических наук

Научный руководитель Харыбин Александр Викторович кандидат технических наук

Полтава-2012

СОДЕРЖАНИЕ

СПИСОК УСЛОВНЫХ СОКРАЩЕНИЙ............................................................... ВВЕДЕНИЕ................................................................................................................ РАЗДЕЛ 1 АНАЛИЗ МОДЕЛЕЙ И МЕТОДОВ ОЦЕНИВАНИЯ И ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ЛЕТАТЕЛЬНЫХ АППАРАТОВ............................................................................................................ 1.1 Анализ свойства функциональной безопасности БИУС ЛА.......................... 1.1.1 Терминологические аспекты понятий «функциональная безопасность» и «риск» для БИУС ЛА............................................................................................. 1.1.2 БИУС ЛА как объект обеспечения функциональной безопасности........... 1.2 Анализ принципов построения современных вычислительных подсистем БИУС ЛА.................................................................................................................... 1.3 Анализ требований к готовности, полноте безопасности БИУС и безопасности ЛА в целом......................................................................................... 1.4 Анализ методологических подходов к обеспечению функциональной безопасности БИУС ЛА............................................................................................ 1.4.1 Анализ существующих методов и моделей оценивания функциональной безопасности БИУС ЛА............................................................................................ 1.4.2 Анализ методов оценивания надежности и риска элементов и подсистем БИУС ЛА.................................................................................................................... 1.4.3 Анализ методов обеспечения функциональной безопасности БИУС ЛА. 1.5 Постановка задач исследований........................................................................ 1.6 Выводы по разделу 1........................................................................................... РАЗДЕЛ 2 МОДЕЛИ И МЕТОД ОЦЕНИВАНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ЛЕТАТЕЛЬНЫХ АППАРАТОВ............................................................ 2.1 Модели функциональной безопасности БИУС ЛА......................................... 2.1.1 Структурная модель БИУС ЛА...................................................................... 2.1.2 Модель оценивания функциональной безопасности БИУС ЛА................. 2.1.3 Виртуализация архитектуры вычислительной системы БИУС ЛА............ 2.1.4 Континуальная модель функционирования вычислительного ядра БИУС ЛА в условиях отказов и восстановлений................................................... 2.2 Метод оценивания ФБ БИУС ЛА...................................................................... 2.2.1 Выбор и обоснование показателей оценивания ФБ БИУС ЛА................... 2.2.2 Виды отказов элементов БИУС ЛА и их критичность для функциональной безопасности................................................................................ 2.2.3 Анализ последствий отказов функциональных подсистем и оценивание ущерба........................................................................................................................ 2.2.4 Анализ критичности отдельных элементов БИУС ЛА с позиции функциональной безопасности................................................................................ 2.2.5 Последовательность оценивания ФБ БИУС ЛА........................................... 2.3 Пример использования предложенного метода оценивания функциональной безопасности БИУС ЛА.............................................................. 2.3.1 Моделирование БИУС ЛА.............................................................................. 2.3.2 Проведение анализа критичности отдельных элементов БИУС ЛА.......... 2.3.3 Анализ результатов применения метода оценивания ФБ БИУС ЛА и обоснование его достоверности............................................................................... 2.4 Выводы по разделу 2........................................................................................... РАЗДЕЛ 3 МЕТОД ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ЛЕТАТЕЛЬНЫХ АППАРАТОВ............................................................ 3.1 Подход к обеспечению функциональной безопасности БИУС ЛА на основе использования унифицированного вычислительного ядра...................... 3.2 Жизненный цикл безопасности БИУС ЛА....................................................... 3.3 Усовершенствованный метод обеспечения функциональной безопасности БИУС ЛА на различных этапах ЖЦ........................................................................ 3.3.1 Обеспечение функциональной безопасности БИУС ЛА на этапе проектирования......................................................................................................... 3.3.2 Обеспечение функциональной безопасности БИУС ЛА на этапе эксплуатации.............................................................................................................. 3.3.2.1 Алгоритм реализации метода обеспечения функциональной безопасности БИУС ЛА во время предполетной подготовки.............................. 3.3.2.2 Алгоритм реализации метода обеспечения функциональной безопасности БИУС ЛА в  полете........................................................................... 3.3.2.3 Алгоритм реализации метода обеспечения функциональной безопасности БИУС ЛА во время послеполетного обслуживания...................... 3.4 Выводы по разделу 3........................................................................................... РАЗДЕЛ 4  РАЗРАБОТКА ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ОЦЕНИВАНИЯ И ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ БОРТОВЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ЛЕТАТЕЛЬНЫХ АППАРАТОВ............................................................ 4.1 Разработка информационной технологии анализа и оценивания функциональной безопасности БИУС ЛА и ее инструментальная реализация.................................................................................................................. 4.2 Разработка информационной технологии обеспечения функциональной безопасности БИУС ЛА на этапе проектирования и ее инструментальная реализация.................................................................................................................. 4.3 Разработка концепции информационной технологии поддержки принятия решений по обеспечению функциональной безопасности БИУС ЛА на этапе эксплуатации.............................................................................................................. 4.4 Направления дальнейших исследований с целью обеспечения функциональной безопасности БИУС ЛА.............................................................. 4.5 Выводы по разделу 4........................................................................................... ВЫВОДЫ................................................................................................................... СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ................................................ Приложение А Результаты оценивания ФБ системы автоматического управления силовой установкой (САУСУ) БИУС Ан-148................................... Приложение Б Результаты оценивания ФБ противообледенительной системы (ПОС) БИУС Ан-148................................................................................................. Приложение В Результаты оценивания ФБ комплексной системы кондиционирования воздуха (КСКВ) БИУС Ан-148............................................. Приложение Г Результаты оценивания ФБ системы связного и вычислительного оборудования (ССВО) БИУС Ан-148....................................... Приложение Д Результаты оценивания ФБ комплексной системы электронной индикации и сигнализации (КСЭИС-148) БИУС Ан-148.............. Приложение Е Результаты оценивания ФБ системы автоматического управления полетом (САУ-148) БИУС Ан-148..................................................... Приложение Ж Результаты оценивания ФБ системы пожарной защиты (СПЗ) БИУС Ан-148............................................................................................................. Приложение И Результаты оценивания ФБ система штурвального управления (СШУ) БИУС Ан-148…....................................................................... Приложение К Результаты оценивания ФБ системы пилотажного и навигационного оборудования (СПНО) БИУС Ан-148........................................ Приложение Л Результаты расчета и анализа показателей риска и функциональной безопасности для различных вариантов архитектурного и структурного построения БИУС ЛА (подсистем)................................................. Приложение М  Акты внедрения.............................................................................

6 10 19 19 20 23 29 31 34 35 40 42 45 48 50 50 51 51 58 61 66 66 68 68 69 71 74 79 80 87 91 93 93 99 105 105 127 127 130 140 141 143 143 150 154 163 164 166 171 188 203 216 226 235 244 255 263 282 299 320

СПИСОК УСЛОВНЫХ СОКРАЩЕНИЙ

ALARA	–	as low as reasonably applicable
CR	–	continuous redundancy
ETA	–	event tree analysis
FME(C)A	–	failure mode, effects and criticality analysis
FPGA	–	field programmable get array
FTA	–	fault tree analysis
HAZOP	–	hazard and operability
HW	–	hard ware
ICAO	–	International Civil Aviation Organization
MP	–	microprocessor
RBD	–	reliability block diagram
SAE	–	society of automotive engineers
SIL	–	safety integrity level
SR	–	sliding redundancy
SRG	–	group sliding redundancy
SW	–	soft ware
WR	–	without redundancy
АВП(К)О	–	анализ видов, последствий и критичности отказов
АОФБ	–	анализ и оценивание функциональной безопасности
АС	–	аппаратные средства
АУР	–	агрегат управления реверсивным устройством
БВУ	–	блок вычислительных устройств
БИУС	–	бортовая информационно-управляющая система
БКЗ	–	блок коммутации и запуска
БКР	–	блок коммутации и управления реверсом тяги
БПМВС	–	блок приема и выдачи сигналов
БПС	–	блок преобразования сигналов
БСКВ	–	блок системы контроля и вибрации
БСТО	–	бортовая система технического обслуживания
БУК	–	блок коммутации и запуска
БУР	–	бортовое устройство регистрации
БЦВК	–	бортовой цифровой вычислительный комплекс
ВБ	–	вычислительный блок
ВМ	–	вычислительный модуль
ВР	–	вычислительный ресурс
ВС	–	вычислительная система
ВСС	–	вычислительная система самолетовождения
ВУ	–	восстанавливающее устройство
ВЦ	–	бортовой вычислитель
ВЯ	–	вычислительное ядро
Д	–	датчик
ДБСКТ	–	синусно-косинусный трансформатор
ЖЦ	–	жизненный цикл
ИКВСП	–	информационный комплекс высотно-скоростных параметров
ИМ	–	исполнительный механизм
ИПСУ	–	индикатор параметров силовой установки
ИС	–	инструментальное средство
ИТ	–	информационная технология
ИУОДЭ	–	индикаторные устройства отображения данных экипажу
ИУС	–	информационно-управляющая система
КВД	–	компрессор высокого давления
КЗ	–	критичная задача
КНД	–	компрессор низкого давления
КПВ	–	клапан перезапуска воздуха
КСКВ	–	комплексная система электронной индикации и сигнализации
КСЭИС	–	комплексная система электронной индикации и сигнализации
ЛА	–	летательный аппарат
МАК	–	Межгосударственный авиационный комитет
МДУ	–	модуль двигательной установки
МКВ	–	механизм концевых включателей
МНРЛС	–	метеонавигационная радиолокационная станция
МРД	–	механизм автоматического перемещения рычагов управления
МФИ	–	многофункциональный индикатор
НТЗ	–	научно-техническая задача
ОПУ	–	оборудование, которое находится под управлением
ОС	–	операционная система
ОФБ	–	обеспечение функциональной безопасности
ПО	–	программное обеспечение
ПОС	–	противообледенительная система
ППР	–	поддержка принятия решений
ПС	–	программные средства
РУБП	–              &n

Список литературы

1. Безопасность полета летательного аппарата – одно из основных свойств авиационно-транспортной системы, формируемое на этапе её создания и эксплуатации. Результаты анализа данных об авиапроисшествиях за последние 10 лет свидетельствуют о значительном ухудшении состояния безопасности полетов, при этом причинами возникновения событий и инцидентов в гражданской авиации приблизительно в 70% случаев являются ошибки экипажей и диспетчеров управляющих воздушным движением ЛА. Это приводит к тому, что разработчики воздушных судов стараются автоматизировать всё большее число функций по управлению самолетом на различных этапах полета, возложив их на бортовые информационно-управляющие системы ЛА, которые непосредственно являються автоматизированными системами обработки информации и управления критического применения. Это в свою очередь приводит к необходимости разработки теоретических и практических основ построения и внедрения информационных технологий для создания гарантоспособных систем сбора, обработки, сохранения информации и управления. Термин «гарантоспособность» для автоматизированных систем обработки информации и управления критического применения (в том числе на БИУС ЛА) определяет повышение ответственности за безопасность ЛА и, следовательно, повышение требований к надежности, а также к функциональной безопасности (ФБ) таких систем.

Летательный аппарат является критическим объектом, управление которым осуществляет бортовой эргатический комплекс, состоящий из БИУС и членов экипажа. В своем составе БИУС ЛА содержит системы, которые отвечают за выполнение различных функций, невыполнение которых может привести к возникновению аварийной или катастрофической ситуации с негативными последствиями, а, следовательно, и к определенному ущербу.

Поэтому в диссертации поставлена и решена актуальная научно-техническая задача разработки и совершенствования моделей и методов оценивания и обеспечения функциональной безопасности бортовых информационно-управляющих систем ЛА, являющиеся основой для информационных технологий анализа, оценивания и обеспечения заданного (максимально возможного) уровня функциональной безопасности БИУС ЛА на различных этапах их жизненного цикла.

2. Впервые получен метод оценивания функциональной безопасности БИУС ЛА, который, в отличие от существующих, учитывает структурную надежность соответствующих подсистем БИУС ЛА и функциональную критичность ее отдельных элементов для выполнения функций безопасности этих систем, что позволяет получить качественную и количественную оценки указанного свойства.

3. Получила дальнейшее развитие модель оценивания функциональной безопасности БИУС ЛА, основанная на функциональном и архитектурном описании, учитывающая, в отличие от существующих, распределение информационных потоков между элементами системы и позволяющая проводить анализ производительности вычислительной подсистемы и оценивание показателей надежности и функциональной безопасности БИУС ЛА в целом.

4. Усовершенствован метод обеспечения функциональной безопасности БИУС ЛА на различных этапах жизненного цикла, базирующийся на использовании модели и метода оценивания функциональной безопасности БИУС ЛА с реконфигурируемым вычислительным ядром, позволяющий оптимизировать проведение реконфигурации информационно-вычислительных и информационно-управляющих процессов отдельных подсистем по результатам оперативного контроля функциональной безопасности соответствующих функционально-информационных потоков и обеспечить заданный или максимально возможный уровень данного свойства БИУС ЛА.

5. Достоверность полученных результатов подтверждается корректностью и обоснованностью допущений, принимаемых при разработке структурных схем и аналитических моделей оценивания надежности и функциональной безопасности, исходя из принципов, правил, норм проектирования и эксплуатации БИУС ЛА и экспериментальных данных по видам и характеристикам отказов устройств, входящих в их состав; сходимостью аналитических результатов оценивания ФБ критичных подсистем БИУС ЛА и результатов полученных с помощью ПС; результатами практического использования разработанных моделей и методов при проектировании и испытаниях БИУС ЛА и БИУС боевых корабельно-авиационных комплексов.

6. Практическое значение полученных результатов заключается в том, что заключается в том, что основные положения диссертации реализованы в виде расчетных моделей, инженерных методов, алгоритмов оценивания и обеспечения функциональной безопасности, которые являются инструментарием информационных технологий оценивания и обеспечения ФБ БИУС ЛА:

‑ разработана программная реализация метода и соответствующей информационной технологии анализа и оценивания ФБ БИУС ЛА, которая учитывает архитектурную неоднородность подсистем БИУС ЛА, уровень функциональной критичности их отдельных элементов, а также учитывающая реальную структурно-топологическую схему выполнения вычислительных процессов и обработки информации в функциональной подсистеме;

‑ разработана программная реализация метода и соответствующей информационной технологии обеспечения ФБ БИУС ЛА на этапе проектирования, которая позволяет в интерактивном режиме выделять наиболее критичные элементы подсистем БИУС ЛА и прогнозировать изменение показателей ФБ при реконфигурации архитектурного и структурного построения системы в целом или их отдельных подсистем.

Применение указанных инструментальных средств позволило повысить обоснованность и достоверность принятых конструкторских решений при проектировании подсистемы управления воздушным движением ЛА в корабельной ближней зоны бортовой информационно-управляющей системы и в результате этого повысить на 18,4-24% уровень безотказности и на 7-11% уровень ФБ её отдельных критичных подсистем и БИУС в целом.

7. Результаты диссертационной работы могут быть использованы:

- при моделировании, анализе, оценивании и обеспечении функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов, кораблей, ИУС атомной энергетики, железнодорожного транспорта, телекоммуникационных систем критического применения и др.;

- при проведении научно-исследовательских и опытно-конструкторских работ по разработке перспективных БИУС ЛА и отдельных их элементов;

- при изучении дисциплин, включающих разделы, посвященные моделированию и исследованию свойства функциональной безопасности БИУС ЛА в высших учебных заведениях Украины.

8. Полученные научные и практические результаты использовались:

– при оценке функциональной безопасности на этапах эскизного и рабочего проектирования, изготовления и заводских испытаний бортовой информационно-управляющей системы изделия «Бумеранг» в ООО «Телекарт-Прибор» (г. Одесса);

– при подготовке курсов «Воздушное судно», «Электрооборудование воздушных судов», «Авионика», «Радиооборудование» в учебном процессе Государственной летной академии Украины (г. Кировоград);

– при подготовке учебных дисциплин «Компьютерные системы», «Надежность и отказоустойчивость компьютерных систем и сетей», «Методы и средства компьютерных информационных технологий» в учебном процессе Полтавского национального технического университета им. Юрия Кондратюка;

– при оценивании функциональной безопасности на этапе проектирования отдельных подсистем БИУС ЛА и типов авиационных приборов в рамках работ по программам и планам модернизации и проектирования самолетов Ан-140, Ан-148 (и его модификаций – Ан-158, Ан-168, Ан-178), Ан-70 и Ту-214 в НТ СКБ «ПОЛИСВИТ» ГНПП «Объединение Коммунар» (г. Харьков);

– при подготовке отчета по НИР, выполненного в Полтавском национальном техническом университете им. Юрия Кондратюка.

9. Исследования в рамках направления, развитию которого посвящена данная работа, могут быть продолжены с целью усовершенствования и дополнения предложенного методологического аппарата анализа, оценивания и обеспечения функциональной безопасности БИУС ЛА.

В частности такими частными направлениями исследований и соответствующими научно-техническими задачами могут быть следующие:

-            обобщение и всесторонний анализ статистических данных о причинах отказов, приводящих БИУС ЛА в аварийное или катастрофическое состояние, влекущее за собой ущерб;

-            совершенствование правил определения нормированного показателя ущерба при отказе тех или иных функций, связанных с безопасностью БИУС ЛА;

-            детализация процедур объективного разделения процесса выполнения функций на отдельные критические задачи, выполняемые элементами подсистем ИУС данного класса;

-            разработка новых или совершенствование существующих моделей функционирования вычислительного ядра БИУС ЛА и оценка их эффективности;

-            совершенствование и/или разработка новых методов оценивания и обеспечения функциональной безопасности БИУС ЛА на основе новых моделей вычислительного ядра БИУС ЛА;

-            детализация и систематизация методологических подходов к прогнозированию изменения уровня функциональной безопасности ВЯ, функционирующего в условиях отказов и восстановлений;

-            развитие концепции ПО, раелизующего информационную технологию поддержки принятия решений по обеспечению ФБ БИУС ЛА на этапе эксплуатации, проработка указанной концепции для конкретных типов ЛА с проведением оценивания целесообразности его внедрения.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1.           Авиакатастрофы. Статистика. [Электронный ресурс]: Моя энциклопедия. – Режим доступа: http://vikylinka.livejournal.com/1729.html. 2.           Авиационные правила. Ч. 25. Нормы летной годности самолетов транспортной категории. – М.: МАК: ОАО «АВИАИЗДАТ», 2004. – 236 с. 3.           Акимов В.А. Надежность технических систем и техногенный риск / [В.А. Акимов, В.Л. Лапин, В.М. Попов, В.А. Пучков, В.И. Томаков, М.И. Фалеев]. – М.: ЗАО ФИД «Деловой экспресс», 2002. – 368 с. 4.           Акимов В.А. Основы анализа и управления риском в природной и техногенной сферах / В.А. Акимов, В.В. Лесных, H.H. Радаев. – М.: Деловой экспресс, 2004. – 352 с. 5.           Активная система безопасности полетов. Реальность и перспективы. [Электронный ресурс]. – Режим доступа: http://www.rusys.ru/index.phtml-aid=5050502.htm. 6.           Ан-148. [Электронный ресурс]. – Режим доступа: http://www.airwar.ru/ /enc/aliner/an148.html. 7.           Анализ видов, последствий и критичности отказов. Основные положения: ГОСТ 27.310-95. – [Введен 1997-01-01] – М.: Изд-во стандартов, 1996. – 20 с. – (Межгосударственный стандарт). 8.           Анцелович Л.Л. Надежность, безопасность и живучесть самолета: Учебник для студентов вузов, обучающихся по спецальности «Машиностроение» /Л.Л. Анцелович. – М.: «Машиностроение», 1985. – 296 с. 9.           Асідех Фатхі Алі. Моделі та методи підвищення надійності інформаційно-управляючих систем критичного застосування з використанням багатоканального дублювання: автореф. дис. на здобуття наук. ступеня канд. техн. наук: спец. 05.13.06 «Автоматизовані системи управління та прогресивні інформаційні технології»/ Асідех Фатхі Алі. – Харків, 2005. – 20 с. 10.      Бабаков М. Ф. Анализ и обеспечение надежности электронной аппаратуры при проектировании: Учебное пособие / М.Ф. Бабаков. – Харьков: Нац. аэрокосмический ун-т «ХАИ», 2002. – 100 с. 11.      Бабешко Е.В. Возможности совместного использования современных методов анализа отказов систем, важных для безопасности / Е.В. Бабешко, В.С. Харченко // Радіоелектронні і комп’ютерні системи. – 2009. – № 6 – С. 60-64. 12.      Бабешко Е.В. Многоэтапный анализ надежности и безопасности информационно-управляющих систем / Е.В. Бабешко, О.А. Ильяшенко, В.С. Харченко // Радіоелектронні і комп’ютерні системи. – 2010. – № 7 – С. 283-287. 13.      Безопасность атомных станций: Информационные и управляющие системы / [М.А. Ястребенецкий, В.Н. Васильченко, С.В. Виноградская, В.М. Гольдрин, Ю.В. Розен, Л.И. Спектор, В.С. Харченко]; под ред. М.А. Ястребенецкого. – К.: Техніка, 2004. – 472 с. 14.      Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения / Под ред. Харченко В.С. – Министерство образования и науки Украины, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2011. – 641 с. 15.      Безопасность полетов: учеб. для вузов гражд. авиации / Р.В. Сакач, Б.В. Зубков, М.Ф. Давиденко. – М.: Транспорт, 1989. – 239 с. 16.      Бородавка Н.П. Методы и информационная технология разработки компонентных функциональных структур для обеспечения живучести бортовых информационно-управляющих систем: дисс. на соиск. уч. степени кандидата техн. наук: 05.13.06 / Бородавка Наталья Петровна. – Харьков, 2007. – 179 с. 17.      Браславский Д.А. Приборы и датчики летательных аппаратов / Д.А. Браславский. – М.: Машиностроение, 1970. – 392 с. 18.      Бурдонов И.Б. Операционные системы реального времени / И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко. – М.: Ин-т системного программирования РАН, 2006. – 98 с. – (Препринт / Института системного программирования РАН). 19.      Бусленко Н.П. Моделирование сложных систем / Н.П. Бусленко. – М.: Наука, 1968. – 355 с. 20.      Воробьев В.Г. Комплексы цифрового пилотажно-навигационного оборудования. Часть 1. Комплекс стандартного цифрового пилотажно-навигационного оборудования самолета Ил-96-300: Учебное пособие / В.Г. Воробьев, В.П. Зыль, С.В. Кузнецов. – М.: МГТУ ГА, 1998. – 140 с. 21.      Галуненко А.В. Вычислительная система самолетовождения ВСС-100 / А.В. Галуненко, В.А. Годунов, В.В. Грошев, В.П. Панин, Стрелков В. Т.// Мир авионики. – 2005. – № 2. – С. 48-50. 22.      Гапанович В.А. Построение и использование матриц рисков в системе управления рисками на железнодорожном транспорте/ В.А. Гапанович, И.Б. Шубинский, А.М. Замышляев // Надежность. – 2011. – № 4. – С. 56-68. 23.      Головир В.О. Моделі, метод та інформаційна технологія розробки багатоверсійних інформаційно-керуючих систем на базі автоматів з програмованою логікою: автореф. дис. на здобуття наук. ступеня канд. техн. наук: спец. 05.13.06 «Автоматизовані системи управління і прогресивні інформаційні технології» / В.О. Головир. – Харьків: Національний аерокосмічний університет ім. М.Е. Жуковського «ХАІ», 2007. – 20 с. 24.      Додонов А.Г. Живучесть информационных систем / А.Г. Додонов, Д.В. Ландэ. – Киев: Наукова думка, 2011. – 256 с. 25.      Доклад Межгосударственного авиационного комитета: «Состояние безопасности полетов в гражданской авиации государств - участников соглашения о гражданской авиации и об использовании воздушного пространства в 2011 г.» [Электронный ресурс]. – Режим доступа: http://www.mak.ru/russian/info/doclad_bp/ 2011/bp11-2.pdf. 26.      Дружинин Г. В. Надежность автоматизированных систем / Г.В. Дружинин. – М.: Энергия, 1977. – 536 с. 27.      Зайченко Ю.П. Исследование операций. – 6 изд., перераб. и доп. / Ю.П. Зайченко. – К.: Издательский Дом «Слово», 2003. – 688 с. 28.      Информатика: Учебник / Под ред. Н.В. Макаровой. – М.: Финансы и статистика, 1998. – 768 с. 29.      Ирадж Эльяси Комари. Метод оптимального выбора средств снижения критичности отказов по результатам FME(C)A-анализа / Ирадж Эльяси Комари, А.В. Горбенко // Радіоелектронні і комп’ютерні системи. – 2009. – № 7 – С. 100-105. 30.      Катаев О.В. Об одном подходе к построению отказоустойчивых бортовых многопроцессорных вычислительно-управляющих систем / О.В. Катаев // Исскуственный интеллект. – 2008. – № 4. – С. 538-544. 31.      Комплексы бортового оборудования самолетов и вертолетов. Типы функциональных связей. Виды и уровни электрических сигналов: ГОСТ 18977-79. – [Введен 1980-01-01]. – М.: Государственный комитет СССР по стандартам, 1979. – 8 с. 32.      Костерев В.В. Надежность технических систем и управление риском: учебное пособие / В.В. Костерев. – М.: МИФИ, 2008 – 280 с. 33.      Кулинич В.С. Информационные технологии анализа, оценивания и обеспечения функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов на этапе их проектирования / В.С. Кулинич // Системи управління, навігації та зв’язку. – 2012. – Вип. 3 (23). – С. 172-179. 34.      Кучерявый А.А. Бортовые информационные системы. Курс лекций / Под ред. В.А. Мишина, Г.И. Клюева. – Ульяновск: Изд-во Ульяновского гос. техн. университета, 2004. – 504 с. 35.      Лачинов О.Л. Конструкция и летная эксплуатация ВС Ту-204. Конспект лекций / О.Л. Лачинов. – Ульяновск: Изд-во Ульяновского высшего авиационного училища гражданской авиации, 1999. – 101 с. 36.      Леонтьев Е. А. Надежность экономических информационных систем. Учеб. пособие / Е.А. Леонтьев. – Тамбов: Изд-во Тамб. гос. техн. ун-та, 2002. – 128 с. 37.      Липаев В.В. Функциональная безопасность программных средств / В.В. Липаев. – М.: Синтег, 2004. – 348 с. 38.      Макаров Н.Н. Системы обеспечения безопасности функционирования бортового эргатического комплекса: теория, проектирование, применение / Под ред. В.М. Солдаткина. – М.: Машиностроение – Полет, 2009. – 760 с. 39.      Марусенко В.С. Конструкция и летная эксплуатация самолета Ан-26. Учебное пособие / В.С. Марусенко, В.М. Теслюк, Ю.И. Титоренко. – Балашов: Изд-во Краснодарского военного авиационного института, 2003. – 249 с. 40.      Менеджмент рисков. Методы оценки рисков: ГОСТ Р ИСО/МЭК 31010-2011. – [Введен 2011-12-01] – М.: Стандартинформ, 2012. – 176 с. – (Национальный стандарт Российской Федерации). 41.      Менеджмент риска. Руководство по менеджменту надежности: ГОСТ Р 51901.3-2007 (МЭК 60300-2:2004). – [Введен 2008-01-09] – М.: Стандартинформ, 2008. – 108 с. – (Национальный стандарт Росийской Федерации). 42.      Менеджмент риска. Руководство по применению методов анализа надежности: ГОСТ Р 51901.5-2005 (МЭК 60300-3-1:2003). – [Введен 2005-09-30] – М.: Стандартинформ, 2005. – 48 с. – (Национальный стандарт Российской Федерации). 43.      Менеджмент риска. Структурная схема надежности и булевы методы: ГОСТ Р 51901.14-2007 (МЭК 61078:2006). – [Введен 2007-12-27] – М.: Стандартинформ, 2008. – 23 с. – (Национальный стандарт Российской Федерации). 44.      Менеджмент риска. Термины и определения: ГОСТ Р 51897-2002. – [Введен 2002-05-30] – М.: ИПК Изд-во стандартов, 2002. – 7 с. – (Национальный стандарт Российской Федерации). 45.      Методы определения соответствия гражданских самолетов требованиям НЛГС. Глава М. 2. Определение соответствия общим требованиям к летной годности. – М.: Изд-во Министерства авиационной промышленности СССР, 1986 – 285 с. 46.      Надежность в технике. Основные понятия. Термины и определения: ГОСТ 27.002-89. – [Введен 1990-07-07] – М.: Изд-во стандартов, 1989. – 20 с. 47.      Надійність техніки. Аналіз надійності. Основні положення: ДСТУ – 2861-94. – [Чинний від 1996-01-01] – К.: Держстандарт України, 1995. – 35 с. – (Національний стандарт України). 48.      Неймарк М.С. Метод приведения – метод определения полного перечня функциональных отказов технической системы / М. С. Неймарк, Л. Г. Цесарский // Проблемы безопасности полетов : обзор. информация. – 1994. – №2. – С. 35-43. 49.      Неймарк М.С. Определение степени опасности функциональных отказов по методу «достраивания событий» / М. С. Неймарк, Л. Г. Цесарский // Проблемы безопасности полетов: обзор. информация. – 1995. – №1. – С. 37-45. 50.      Новожилов Г.В. Безопасность полета самолета. Концепция и технология / Г.В. Новожилов, М.С. Неймарк, Л.Г. Цесарский. – М.: Машиностроение, 2003. – 144 с. 51.      Новожилов Г.В. Обеспечение безопасности полета гражданских самолетов. Концепция и технология / Г. В. Новожилов, М. С. Неймарк, Л.Г. Цесарский // Полет. – 2002. – №10. – С. 4-13. 52.      Надежность и живучесть систем связи / [Б.Я. Дудник, В.Ф. Овчаренко, В.К. Орлов и др.]; под ред. Б.Я. Дудника. – М.: Радио и связь, 1984. – 216 с. 53.      Орлов А.И. Экспертные оценки. Учебное пособие / А.И. Орлов. – М., 2002. – 31 c. 54.      Отказобезопасные информационно–управляющие системы на программируемой логике / [Е.С. Бахмач, А.Д. Герасименко, В.А. Головир, А.А. Сиора, В.В. Скляр, В.И. Токарев, В.С. Харченко]; под ред. В.С. Харченко, В.В. Скляра. – Нац. аэрокосмический ун-т «ХАИ», НПП «Радий», 2008. – 380 с. 55.      Половко А.М. Основы теории надежности. – 2-е изд., перераб. и доп. / А.М. Половко, С.В. Гуров. – СПб.: БХВ-Петербург, 2006. – 704 с. 56.      Поночовний Ю.Л. Моделі та методи забезпечення надійності інформаційних систем з урахуванням процесів оновлення програмних засобів. – автореф. дис. на здобуття. наук. степеня канд. техн. наук: спец. 05.13.06 «Автоматизовані системи управління і прогресивні інформаційні технології» / Ю.Л. Поночовний – Харків, 2006. – 20 с. 57.      Похил В.С. Аналіз підходів до контролю й забезпечення функціональної безпеки бортових інформаційно-керуючих систем авіації / В.С. Похил // Системи управління, навігації та зв’язку. –2010. – Вип. 3 (15). – С. 115-121. 58.      Похил В.С. Информационная технология и методы обеспечения функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов / В.С. Похил // Автоматика – 2010: 17 міжнар. конф. з автоматичного управління, 27-29 верес. 2010 р.: тези доповідей. – Харків: ХНУРЕ, 2010. – Том 2. – С. 63-64. 59.      Похил В.С. Информационная технология обеспечения функциональной безопасности информационно-управляющих систем критического применения / В.С. Похил, Я.В. Балашова // Системний аналіз. Інформатика. Управління (САІУ-2011): II Всеукраїнська наук.-практ. конф., 10–11 берез. 2011 р.: тези доповідей. – Запоріжжя: КПУ, 2011. – С. 160-162. 60.      Похил В.С. Модели и методы обеспечения функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов на разных этапах их жизненного цикла / В.С. Похил // Системи управління, навігації та зв’язку. – 2011. – Вип. 2 (18). – С. 142-151. 61.      Похил В.С. Метод анализа и оценивания функциональной безопасности авиационных бортовых информационно-управляющих систем / В.С. Похил, А.В. Харыбин // Радіоелектронні й комп'ютерні системи. – 2009. – № 5 (39). – С. 70-76. 62.      Похил В.С. Метод забезпечення функціональної безпеки бортових інформаційно-керуючих систем літальних апаратів на етапі їх експлуатації / В.С. Похил // Системи озброєння і військова техніка. – 2010. – Вип. 3 (23). – С. 68-74. 63.      Похил В.С. Метод оценивания функциональной безопасности информационно-управляющих систем бортовой авионики / В.С. Похил // Інформаційні технології та комп’ютерна інженерія: міжнар. наук.-практ. конф., 19-21 трав. 2010 р.: тези доповідей. – Вінниця: ВНТУУ, 2010. – С. 243-244. 64.      Похил В.С. Методы анализа, оценивания и обеспечения функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов на основе функционально-архитектурного моделирования / В.С. Похил, А.В. Харыбин // Радіоелектронні і комп’ютерні системи. – 2012. – Вип. 6 (58). – С. 281-285. 65.      Похил В.С. Методы оценивания и обеспечения функциональной безопасности бортовых информационно-управляющих систем летательных аппаратов / В.С. Похил, А.В. Харыбин // Радіоелектронні і комп’ютерні системи. – 2010. – Вип. 7 (48). – С. 278-282. 66.      Похил В.С. Подход к обеспечению функциональной безопасности бортовых информационно-управляющих систем авиации / В.С. Похил // Сучасні інформаційні технології в управлінні та професійній підготовці операторів складних систем: V міжнар. наук.-практ. конф., 27-28 жовт. 2010 р.: тези доповідей. – Кіровоград: ДЛАУ, 2010. – С. 69-71. 67.      Похил В.С. Удосконалений метод аналізу й оцінювання функціональної безпеки бортових інформаційно-керуючих систем повітряного судна / В.С. Похил // Системи озброєння і військова техніка. – 2010. – Вип. 2 (22). – С. 136-142. 68.      Похил В.С. Удосконалений метод та інформаційна технологія забезпечення функціональної безпеки бортових інформаційно-керуючих систем авіації на етапі проектування / В.С. Похил // Наука і техніка Повітряних Сил Збройних Сил України. – 2010. – Вип. 2 (4). – С. 65-70. 69.      Приложение 8 к Конвенции о международной гражданской авиации. Летная годность воздушных судов. – Изд. 11-ое. – Международная организация гражданской авиации (ИКАО), 2010. – 226 с. – (Международные стандарты и рекомендуемая практика). 70.      Проектирование гражданских самолетов: Теории и методы / [И.Я. Катырев, М.С. Неймарк, В.М. Шейнин и др.]; под ред. Г.В. Новожилова. – М.: Машиностроение, 1991. – 672 с. 71.      Пятин А.И. Динамика полета и пилотирование самолета Ту-154. Учебное пособие / А.И. Пятин. – М.: Воздушный транспорт, 1994. – 192 с. 72.      Розенберг Е.Н. Методы и модели функциональной безопасности технических систем: Монография / Е.Н. Розенберг, И.Б. Шубинский. – М.: ВНИИАС, 2004. – 188 с. 73.      Руководящий технический материал авиационной техники. Обмен информацией двуполярным кодом в оборудовании летательных аппаратов: РТМ 1495-75 – М.: НИИСУ, 1975. – 68 с. 74.      Рябинин И.А. Надежность и безопасность структурно-сложных систем / И.А. Рябинин. – М.: Политехника, 2000. – 248 с. 75.      Самолет Ан-148-100. Стандартная спецификация. – К.: АНТК им. Антонова, 2004. – 490 с. 76.      Самолет Ту-154Б. Руководство по эксплуатации и техническому обслуживанию. Книга 1. Руководство по летной эксплуатации. – М: ОАО «Туполев», 2005. – 148 с. 77.      Сапожников В.В. Сертификация и доказательство безопасности систем железнодорожной автоматики / В.В. Сапожников, Вл.В. Сапожников, В.И. Талалаев – М.: Транспорт, 1997. – 288 с.