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

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

Государственное предприятие Научно-исследовательский технологический институт приборостроения Г осударственного космического агентства Украины

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

ЗАСУХА Сергей Алексеевич

УДК 629.7.05 + 004.05

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

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

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

Научный руководитель: Замирец Николай Васильевич, доктор технических наук, профессор

Цей примірник дисертації ідентичний за змістом тим, що надані до спеціалізованої вченої ради Д64.062.01.

Вчений секретар

спеціалізованої вченої ради___________ М.О. Латкін

Харьков-2013








 

СОДЕРЖАНИЕ

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

ВВЕДЕНИЕ                                                                                                                                 10

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

1.1                                                                                                                                                                                                                                                                                                             Анализ требований к характеристикам информационно-управляющих систем современных и перспективных космических аппаратов и комплексов                                                    18

1.2                                                                                                                                                                                                                                                                                                             Анализ требований к характеристикам бортовых и наземных информационно-управляющих систем космических аппаратов Украины и других стран                                                             22

1.2.1       Обзор требований национальной и международной нормативной базы

к функциональной безопасности ИУС КА                                                                          23

1.2.2       Обзор требований национальной и международной нормативной базы

к надежности и готовности ИУС КА                                                                                     25

1.2.3                                                                                                                                                                                                                                                                                                      Анализ факторов, влияющих на безотказность, готовность и срок службы ИУС КА             26

1.2.4                                                                                                                                                                                                                                                                                                      Анализ факторов, влияющих на стоимость разработки и сопровождения программного обеспечения ИУС КА                                                                                                                                                 28

1.3       Анализ методов и средств верификации программного обеспечения информационно-управляющих систем космических аппаратов на разных этапах жизненного цикла 29

1.3.1       Обзор национальной и международной нормативной базы верификации ПО ИУС КА       30

1.3.2                                                                                                                                                                                                                                                                                                      Выбор подхода к верификации ПО ИУС КА                                                                                                    34

1.3.3                                                                                                                                                                                                                                                                                                      Анализ уровней и этапов верификации ПО ИУС КА на разных этапах жизненного цикла                    35

1.3.4                                                                                                                                                                                                                                                                                                      Анализ методов верификации ПО ИУС КА                                                                                                       37

1.4             Постановка научной задачи и обоснование методики исследований 38

1.4.1                                                                                                                                                                                                                                                                                                      Общая научная задача (вербальная и формальная постановка)                                                                 39

1.4.2                                                                                                                                                                                                                                                                                                      Частные задачи исследований                                                                                                                             41

1.4.3                                                                                                                                                                                                                                                                                                      Анализ структурной схемы ИУС КА, предусматривающей оперативную верификацию и обновление ПС                                                                                                                                                       42

1.4.4                                                                                                                                                                                                                                                                                                      Анализ математического аппарата и обоснование методики исследований                            43

Выводы по разделу 1                                                                                                                45

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

2.1                                                                                                                                                                                                                                                                                                             Классификация функций информационно-управляющих систем космических аппаратов по уровню критичности                                                                                                                                                       48

2.2                                                                                                                                                                                                                                                                                                             Этапы и операции верификации программных средств                                                                  50

2.2.1                                                                                                                                                                                                                                                                                                      Этапы создания и применения ИУС КА.                                                                                                            50

2.2.2                                                                                                                                                                                                                                                                                                      Множество операций верификации                                                                                                            51

2.2.3                                                                                                                                                                                                                                                                                                      Операции верификации этапа разработки                                                                                              52

2.3                                                                                                                                                                                                                                                                                                             Цели верификации информационно-управляющих систем космических аппаратов          55

2.3.1                                                                                                                                                                                                                                                                                                      Общее множество целей верификации                                                                                              55

2.3.2                                                                                                                                                                                                                                                                                                      Множество целей верификации в полете                                                                                                  56

2.3.3       Графическая интерпретация функций с учетом целей верификации и

их теоретико-множественное описание                                                                              58

2.4             Сценарии оперативной верификации и типы моделей готовности информационно-управляющих систем космических аппаратов

2.4.1       Сценарии верификации и работы при выявлении дефекта

2.4.2       Показатели готовности и затрат

2.4.3       Основные типы моделей

2.5             Оценка исходных параметров информационно-управляющих систем космических аппаратов с оперативной верификацией и обновлением программных средств

2.5.1       Оценка параметров безотказности аппаратных средств

2.5.2       Оценка параметров безотказности программных средств

2.5.3       Оценка параметров восстанавливаемости аппаратных и программных средств

2.5.4       Оценка параметров процедур обслуживания и оперативной верификации аппаратных и программных средств

Выводы по разделу 2

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

3.1             Базовая однофрагментная модель готовности информационно- управляющих систем космических аппаратов без учета проведения обновлений и оперативной верификации (МГ-1.0)

3.2             Модель готовности информационно-управляющих систем космических аппаратов с учетом роста интенсивности проявления дефектов (МГ-1.1)

3.3             Модель готовности информационно-управляющих систем космических аппаратов с учетом уменьшения интенсивности проявления дефектов за счет ограничения программных функций (МГ-2.1)

3.4                                                                                                                                                                                                                                                                                                             Модель готовности информационно-управляющих систем космических аппаратов с учетом уменьшения интенсивности проявления дефектов за счет коррекции программного кода (МГ-2.2)        87

3.5                                                        &nbs

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

ВЫВОДЫ

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

В диссертации поставлена и решена актуальная научно­техническая задача разработки моделей, метода и информационной технологии обеспечения готовности ИУС КА с оперативной верификацией и обновлением программных средств. Главными результатами проведенных исследований являются модели сценариев оперативной верификации ИУС КА, которые учитывают критичность функций, возможности проведения верификации и обновления ПС в полете и математические модели готовности ИУС космических аппаратов с учетом выявления и устранения проектных дефектов, а также обновления ПС в процессе их применения.

2.                  Впервые разработаны модели сценариев оперативной верификации ИУС космических аппаратов, которые в отличие от известных учитывают критичность функций, возможности проведения верификации и обновления ПС в полете, что позволяет сформировать множество моделей готовности ИУС и вариантов их организации (раздел 2). Применение данных моделей дает возможность снизить затраты времени на разработку моделей готовности ИУС на 5-15%.

3.                  Усовершенствованы математические модели готовности ИУС космических аппаратов с учетом выявления и устранения проектных дефектов, а также обновления ПС в процессе их применения, что позволяет повысить точность оценивания показателей готовности и сформулировать рекомендации по выбору значений входных параметров для обеспечения требуемого уровня готовности системы (раздел 3). Оценивание готовности ИУС КА с учетом изменения интенсивностей отказов ПС позволяет повысить точность оценивания коеффициента готовности на 5-7%.

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

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

6.                  Практическое значение полученных результатов заключается в том, что основные научные положения диссертации реализованы в виде расчетных моделей, инженерных алгоритмов, а также соответствующих программных средств, которые образуют прикладную информационную технологию оценивания и обеспечения готовности ИУС КА с оперативной верификацией и обновленим ПС. Разработаны программные реализации аналитических и имитационных моделей готовности двухканальной одноверсионной ИУС с учетом накопления дефектов (МГ1.1), ограничения функций, программный код которых содержит выявленные дефекты (МГ2.1, МГ3.1); устранения проектных дефектов после их обнаружения (МГ2.2), устранения дефектов при обновлении программных функций (МГ2.3) оперативной верификации и устранения проектных дефектов (МГ3.2, МГ3.3, МГ4.1, МГ4.2). Использование этих моделей в информационной технологии поддержки решений при многоэтапной верификации и обновлении ПС ИУС в процессе применения КА позволит снизить затраты времени на разработку моделей готовности ИУС, повысить точность оценивания функции готовности ИУС на начальных этапах на 5-7%, а также снизить вероятность неготовности ИУС КА вследствие невозможности устранения дефектов в 1,7­

2,2       раза.

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

-                     при моделировании и оценивании готовности ИУС КА и др.;

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

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

8.                  Полученные научные и практические результаты использовались при выполнении проектов по теме «Сич-2» в Национальном центре управления и испытаний космических средств (акт внедрения от 21.08.2012 г.) и Научно-производственном предприятии «Хартрон - ЮКОМ» (акт

внедрения от 15.08.2012 г.); при выполнении научно-исследовательских опытно-конструкторских работ по темам «Технолог»,                                                                           «Ионосат» в

Государственном предприятии «Научно-исследовательский техноло­гический институт приборостроения» (акт внедрения от 07.08.2012 г.).; при изучении дисциплин «Методы исследования и моделирование в компьютерных системах и сетях» и «Надежность и отказоустойчивость компьютерных систем» в учебном процессе Национального аэрокосмического университета им. Н. Е. Жуковского «Харьковский авиационный институт» (акт реализации от 11.06.2012); в 3 отчётах по НИР.

9.     Дальнейшими путями совершенствования методов теоретико­множественного описания состояний и функций, моделирования и оценивания готовности ИУС КА могут быть:

-                     разработка и совершенствование моделей функциональной и информационной безопасности ИУС КА с учетом проведения ОКВ и устранения дефектов;

-                     усовершенствование МГ ИУС с учетом возможности внесения новых дефектов при проведении ОКВ;

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

CПИCOК ИCПOЛЬЗOBАHHЫX ИCTOЧHИКOB

1.                                                                            Теоретические основы проектирования информационно-

управляющих систем космических аппаратов [Текст] / B.B. Кульба, Е.А. Mикpин, Б.B. Павлов, B.H. Платонов; под ред. Е.А. Mикpинa; Ин-т проблем упр. им. BA. Трапезникова РАК - M.: Шука, 2006. - 579 с.

2.                 Безопасность критических инфраструктур: математические и инженерные методы оценки и обеспечения [Текст] / под ред. B.C. Харченко - Харьков: Haц. аэрокосм. ун-т «ХАИ». - 2011. - 603 с.

3.                                                                            Ястребенецкий     M. А. Безопасность атомных станций:

Информационные и управляющие системы [Текст] / MA. Ястребенецкий,

B.             H. Bacильчeнко, C.B. Bиногpaдcкaя и др. - К.: Техніка. - 2004.- 472 с.

4.                 Функциональное моделирование. Meтодологии IDEF0 [Текст] - К.: Meтa Технология, 1993. - 156 с.

5.                                                                            Харченко B. C. Гарантоздатність комп’ютерних систем: проблеми

та результати [Текст] /                             B. C. Харченко // Авіаційно-космічна техніка і

технологія. - 2005. - № 7 (23). - C. 352-357.

6.                 Харченко B. C. Гаратноспособность и гарантоспособные системы: элементы методологии [Текст] / B. C. Харченко // Радіоелектронні і комп’ютерні системи. - 2006. - № 5. - C.7-19.

7.                 Basic Concepts and Taxonomy of Dependable and Secure Computing [Текст] / A.Avizienis, J.-C.Laprie, B.Randell, C.Landwehr // IEEE Trans. On Dependable and Secure Computing. - 2004. - Vol. 1. - N 1. - P. 11-33.

S. Харченко B. C. Meтоды моделирования и оценки качества и надежности программного обеспечения [Текст] / B.C. Харченко, B.B. Cкляp, O.M. Тарасюк - Харьков: Шц. аэрокосмический ун-т «Харьк. авиац. ин-т». -

2004.       - 159 с.

9.           ДСТУ 2S60-94. Haдiйнicть техніки. Терміни та визначення [Текст]; чинний від 1996-01-01 - К.: Держстандарт України, 1995 - 92 с.

10.             Cмит Д. Функциональная безопасность [Текст]: Простое

руководство по применению стандарта МЭК 61508 и связанных с ним стандартов / Д.Смит, К. Симпсон - М.: Издательский Дом «Технологии»,

2004.   - 208 с.

11.             Оценка и обеспечение качества программных средств космических систем [Текст] / В.С. Харченко, В.В. Скляр, С.А. Засуха и др.; под ред.

B.                С. Харченко, Б.М. Конорева. - Харьков: Национальное космическое агентство Украины, Государственный центр регулирования качества, Нац. аэрокосмический ун-т им. Н.Е Жуковского «ХАИ», 2007. - 244 с.

12.              CASE-оценка критических программных систем. В 3-х томах. Том

2.     Надежность [Текст] / О.Н. Одарущенко, В.С.Харченко, С.А. Засуха и др.; под ред. В.С. Харченко. - Харьков: Нац. аэрокосмический ун-т им. Н.Е. Жуковского «ХАИ», 2012. - 292 с.

13.            Риск-анализ аварий ракетно-космических комплексов: 2000 годы. [Текст]: В кн. Безопасность критических инфраструктур: математические и инженерные методы анализа и обеспечения / А.В.Горбенко, В.С.Харченко,

C.                А.Засуха, О.М.Тарасюк; под ред. В. С. Харченко. - Харьков: Нац. аэрокосмический ун-т «ХАИ», 2011. - С. 551-573.

14.            Разработка нормативных требований к программному обеспечению космических систем в Украине: проблемы и пути гармонизации с европейскими стандартами [Текст] / Б.М.Конорев, С.А.Засуха, Л.П. Семенов и др. // Сб. научных трудов НАН Украины, Институт проблем моделирования в энергетике им. Г.Е. Пухова. Спец. выпуск. Том 2. - Киев,

2005.    - С. 11-18.

15.            Методология оценки качества и функциональной безопасности критического программного обеспечения элементов космических систем [Текст] / Б.М.Конорев, С.А.Засуха, Л.П.Семенов, В.С.Харченко, Г.Н. Чертков // Зб. наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАНУ. Спец. випуск. - Том 2. - Київ: ІПМЕ, 2005. - С. 72-78.

16.             Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів

[Текст] / В.С.Харченко, М.В.Замирець, С.О.Засуха, Ю.Л. Поночовний // Авіаційно-космічна техніка і технологія. - Харків: Нац. аерокосмічний ун-т ім. М.Є. Жуковського «ХАІ». - 2011. - №6-83. - С. 81-95.

17.             Харченко В. С. Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Цели, сценарии и модели [Текст] / В.С.Харченко, Н.В. Замирец, С.А. Засуха // Системи обробки інформації. - Харків: Харківський університет Повітряних Сил. - 2011. - Вип.8 (98). - C. 135-139.

18.             Засуха С. А. Модель готовности двухканальной информационно- управляющей системы космического аппарата с оперативной верификацией программных средств [Текст] / С.А.Засуха, Ю.Л.Поночовный // Наука і техніка Повітряних Сил Збройних Сил України. - 2011. - Вип.2 (6). - C. 144­149.

19.             Засуха С. А. Исследование влияния временных параметров обновления программных средств на готовность двухканальной информационно-управляющей системы космического аппарата [Текст] / С. А. Засуха // Зб. наукових праць Харківського університету Повітряних Сил. - 2011. - Вип. 3 (29). - C. 131-135.

20.             Безпека ракетно-космічної техніки та надійність комп’ютерних систем: 2000-2009 рр. [Текст] / А.В.Горбенко, С.О.Засуха, В.І.Рубан, О.М.Тарасюк, В.С. Харченко // Авіаційно-космічна техніка і технологія. - Харків: Нац. аэрокосмический ун-т им. Н.Е Жуковского «ХАИ». - 2011. - № 1(78). - С. 9-20.

21.             Засуха С. А. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев [Текст] / С.А. Засуха, Ю.Л.Поночовный, В.С.Харченко // Вісник Харківського національного університету. Серія «Математичне моделювання. Інформаційні технології. АСУ». - 2012. - №1015. - С. 131-147.

22.             Поночовный Ю. Л. Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата [Текст] / Ю.Л.Поночовный, C.A.3acyxa, B.C. Харченко // Радіоелектронні та комп'ютерні системи. -2012. - №7(59). - C. 41-47.

23.             Засуха C.A. Задачи оперативной верификации и коррекции дефектов и функций систем обработки информации непилотируемых космических аппаратов [Текст] / C.A. Засуха // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління: матеріали Першої науково-технічної конференції. Харків - Київ, 13-14 грудня 2010 року. - Харків, 2010. - C. 54-55.

24.             Safety of Rocket-Зрасе Engineering and Reliability of Computer Control Systems and Software: 2000-2009 Yrs. [Текст] / A.Gorbenko, V.Kharchenko, O.Tarasyuk, S.Zasukha // Proc. of First International Workshop “Critical Infractructure Safety and Security (CrlSS-DESSERT’11) May 11-13 2011 in Kirovograd Ukrain. - 2011. - P. 79-93.

25.             Харченко B. C. Методология оперативной верификации программного обеспечения для космических систем [Текст] / B.C.Харченко,

C.                                          A.3acyxa, Ю.Л. Поночовный // Труды Научно-технической конференции с международным участием. Харьков, 24-27 апреля 2012 г. - Харьков: ХНУ им. В.Н. Каразина. 2012. - C. 463-466.

26.             Ponochovniy Y. L. Research of two-channel information-managing system availability simulation models of space vehicle [Текст] / Y.Ponochovniy,

S.Zasukha, V. Kharchenko // Programme and Abstarcts of the 6th International Conference Dependable Systems, Services and Technologies (DESSERT’12), May 25-28, 2012, Ukraine, Sevastopol. - 2012. - Р. 29.

27.             The Imbedded Markovian Models of Computer Systems Taking into Account a Variation of Failure and Recovery Rates [Текст] / V.Kharchenko, O.N.Odarushchenko, O.B.Odarushchenko, Y.Ponochovniy, E.Zaitseva, S.Zasukha // Proc. of 7th International Workshop Digital Technologies, Zilina Slovakia, November 11-12, 2010. - 4 p.

28.             Либман Ж. О ядерной безопасности [Текст] / Ж. Либман - Институт по ядерной и радиационной безопасности (Франция), 1997.- 690 с.

29.             Economics of High Availability for Telecommunications Systems [Текст]. - Washington: Intel Corporation (www.intel.com), 2001. - 16 p.

30.             Lutz R. Empirical Analysis of Safety-Critical Anomalies During Operations [Текст] / R.Lutz, I.Mikulski // IEEE Transactions on Software Engineering.- 2004.- Vol. 30, n 3.- P. 172-180.

31.             Липаев B.B. Функциональная безопасность программных средств [Текст] / B.B. Липаев. - М.: Синтег. - 2004. - 348 с.

32.             Липаев B.B. Обеспечение качества программных средств. Методы и стандарты [Текст] / B.B. Липаев. - М.: Синтег. - 2001. - 380 с.

33.             ДСТУ 3524-97. Проектна оцінка надійностй складних систем з урахуванням технічного і програмного забезпечення та оперативного персоналу [Текст]; чинний від 1998-01-01 - K., Держстандарт України, 1997. - 20 с.

34.                                                                                                                                                                                                   Галузева система управління якістю. Гарантоздатність програмно- технічних комплексів критичного призначення. [Текст]:      Настанова

Національного космічного агентства України СОУ-Н НКАУ 0060:2010 / Харченко B.C. (наук. керівник розробки). - 2011. - 60 с.

35.             Галузева система управління якістю. Bимоги до функціональної безпеки програмного забезпечення програмно-технічних комплексів критичного призначення. [Текст]: Настанова Національного космічного агентства України СОУ-Н НКАУ 0058:2009 / Харченко B.C. (наук. керівник розробки). - 2009. - 57 с.

36.             Галузева система управління якістю. Методи оцінки показників якості програмного забезпечення програмно-технічних комплексів критичного призначення. [Текст]: Настанова Національного космічного агентства України СОУ-Н НКАУ 0031:2007 / Конорев Б.М. (наук. керівник розробки). - 2007. - 127 с.

37.                             Галузева система управління якістю. Процеси життєвого циклу програмного забезпечення програмно-технічних комплексів критичного призначення.      [Текст]:         Настанова Національного космічного агентства

України СОУ-Н НКАУ 0061:2011/ Харченко B.Q (наук керівник розробки). - 2011. - 123 с.

3S.    Галузева система управління якістю. Bepифiкaцiя програмного забезпечення програмно-технічних комплексів критичного призначення. [Текст]: Шстанова Державного космічного агентства України COУ-H ДКАУ (проект) / Харченко B.C. (наук. керівник розробки). - 2011. - S0 с.

39.             Bender Marc. Positioning Verification in the Context of Software/System Certification [Текст] / Marc Bender, Tom Maibaum, Mark Lawford, Alan Wassyng // Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011). - Necastle-upon- Tyne/ - 2011. - 15 p.

40.             Инварианто-ориентированная оценка качества программных средств космических систем [Текст] / под ред. БМ. Конорева, B.C. Харченко - Харьков: Ha^ аэрокосм. ун-т «ХАИ», 2009. - 223 с.

41.             Abrial J.-R. Formal Methods for Industrial Applications. LNCS 1165. [Текст] / J.-R. Abrial (ed.) - Springer . - 1996. - 523 p.

42.             Бабаков M. Ф. Meтоды машинного моделирования в проектиро­вании электронной аппаратуры [Текст]: Учеб. пособие / M. Ф. Бабаков, АЗ. Попов - Харьков: Шц. аэрокосмический университет «ХАИ», 2002. - S9 с.

43.             Бабаков M. Ф. Maтeмaтичecкиe модели электронных аппаратов и систем [Текст]: Учеб. пособие / M. Ф. Бабаков, А. B. Попов, M. И. Луханин - Харьков: Ha^ аэрокосмический университет «ХАИ», 2003. - 109 с.

44.             ДСТУ 2S61-94. Haдiйнicть техніки. Аналіз надійності. Ocновнi положення [Текст]; чинний від 1996-01-01 - К., Держстандарт України, 1995. - 35с.

45.             Кемени Дж. Конечные цепи Mapковa [Текст]: пер. с англ. / Дж.Кемени, Дж. ^елл - M.: Шука, 1970.— 271 с.

46.             Bолков Л. И. Управление эксплуатацией летательных комплексов [Текст]: учеб. пособ. / Л.И. Bолков - M.: Bbi^aa Школа, 19S1. - 36S с.

47.             Дружинин Г. B. Процессы технического обслуживания автомати­зированных систем [Текст] / T.B. Дружинин - M.: Энергия, 1973. - 226 с.

4S. Бабаков M. Ф. Анализ и обеспечение надежности электронной аппаратуры при проектировании [Текст]: учебное пособие / M^. Бабаков - Харьков: ХАИ, 2002. - 100 с.

49.             Харченко В.С. Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно- управляющих комплексов [Текст] / В.С. Харченко, О.Н. Одарущенко, Е.Б. Одарущенко // Радіоелектронні і комп’ютерні системи. - 2006. - Вип. 5(17). -

С.   62-70.

50.             Одарущенко О.Н. Применение численных методов для решения жестких систем линейных дифференциальных уравнений в задачах оценки надежности обслуживаемых систем [Текст] / О.Н. Одарущенко, Е.Б. Одарущенко, Ю.Л. Поночовный // Авиационно-космическая техника и технология. - Харьков: Нац. аэрокосмический ун-т „ХАИ”, 2002. - Вып.35. - С. 187-191.

51.             Черкесов Г. Н. Надежность аппаратно-программных комплексов [Текст]: учебное пособие / Г.Н. Черкесов - СПб.: Питер, 2005. — 479 с.

52.             Military handbook [Текст]: Electronic reliability design handbook: MIL-HDBK-338B. - Washington: DoD, 1998. - 1046 p.

53.             Gray J. Why do computers stop and what can be done about it [Текст] / J. Gray // Reliability in Distributed Software and Database Systems. - 1986. - Vol.1, №4. - P. 3-12.

54.             Lyu M.R. Handbook of Software Reliability Engineering [Текст] / M.R. Lyu - Washington: McGraw-Hill Company, 1996. - 805 p.

55.             Пальчун Б. П. Оценка надежности программного обеспечения [Текст] / Б. П. Пальчун, Р. М. Юсупов- СПб.: Наука, 1994. - 84 с.

56.             Холстед М. Начала науки о программах [Текст] пер. с англ. / М. Холстед - М.: Финансы и статистика, 1981.- 128 с.

57.             Шнейдерман Б. Психология программирования [Текст] / М. Холстед, / Б. Шнейдерман- М.: Радио и связь, 1984. — 304 с.

58.             Полонников Р. И. Методы оценки показателей надежности программного обеспечения [Текст] / М. Холстед, / Р. И. Полонников, А. В. Никандров - СПб.: Политехника, 1992. - 78 с.

59.             Кокс Д. Теория восстановления [Текст] / Д.Кокс, Р.Смит - М.: Сов. радио, 1967. - 278с.

60.             Analysis and Implementation of Software Rejuvenation in Cluster

Systems [Текст] / K. Vaidyanathan, R. E. Harper, S. W. Hunter and K. S. Trivedi // ACM SIGMETRICS Performance Evaluation Review. - 2001. - Vol.29, №1. - P. 62-71.

61.             Vaidyanathan K. Extended Classification of Software Faults Based on Aging [Текст] / K. Vaidyanathan, K. S. Trivedi // Proc. IEEE Software Reliability Engineering. - 2001. - Vol.6, №8. - P.41-42.

62.             Харченко B.C. Теория систем и системный анализ [Текст]: Конспект лекций / В.СХарченко, И.В. Лысенко - Харьков: НАУ «ХАИ», 2003. - 130 с.

63.             Основы теории надежности [Текст]: учеб. пособ. / А. А.Рыжкин, Б. Н. Олюсарь, К. Г. Шучев - Ростов н/Д: Издательский центр ДГТУ, 2002. - 182с.

64.             Надежность и эффективность в технике [Текст]: ^равочник. В 10т. / Под ред. Б. В. Гнеденко - М.: Машиностроение, 1987. - Т.2. Математические методы в теории надежности и эффективности. - 296 с.

65.             Марков A. A. Моделирование информационно-вычислительных процессов [Текст]: учеб. пособие для вузов / А. А.Марков - М.: Изд. МГТУ им. Н.Э. Баумана, 1999. - 248 с.

66.             Вентцель Е. C. Теория вероятностей и ее инженерные приложения [Текст] / Е. СВентцель, Л. А.Овчаров - М.: Высш. школа, 2000. - 480 с.

67.             Вентцель Е. C. Теория случайных процессов и ее инженерные приложения [Текст] / Е. C.Bентцель, Л. А. Овчаров - М.: Высш. школа, 2000. - 383с.

68.             Поночовный Ю.Л. Модели и методы обеспечения надежности информационных систем с учетом процессов обновления программных средств: дис. канд. техн. наук: 05.13.06, защищена 17.05.2006 [Текст] / Ю.Л.Поночовный. - Харьков, 2006. - 204 с.

69.                                                                                Одарущенко О.Б.    Моделирование отказоустойчивых

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