Література
1.
Безопасность критических инфраструктур: математические и инженерные методы оценки и
обеспечения / Под
ред. В.С. Харченко. – Х.: Нац. аэрокосм. ун-т «ХАИ». –
2011. – 603 с.
2.
Липаев, В.В.
Функциональная безопасность программных средств [Текст] / В.В. Липаев. – М.: Синтег.
– 2004. – 348 с.
3.
Липаев, В.В.
Обеспечение качества программных средств. Методы и стандарты [Текст] / В.В. Липаев. – М.: Синтег.
– 2001. – 380 с.
4.
Оценка и обеспечение качества программных средств космических
систем [Текст]/ под ред. В.С. Харченко, Б.М. Конорева. – Харьков: Нац. аэрокосм. ун-т «ХАИ». –
2007. – 244с.
5. Галузева система управління якістю. Гарантоздатність програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України СОУ-Н НКАУ 0060:2010 [Текст] / Харченко В.С. (наук. керівник розробки). – 2011. – 60
с.
6.
Галузева система управління якістю. Вимоги
до функціональної безпеки програмного забезпечення програмно-технічних
комплексів критичного призначення. Настанова Національного космічного агентства України СОУ-Н НКАУ 0058:2009 [Текст] / Харченко В.С. (наук. керівник розробки). – 2009. – 57
с.
7.
Галузева система управління якістю. Методи оцінки показників якості програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України СОУ-Н НКАУ 0031:2007 [Текст] / Конорев Б.М. (наук. керівник
розробки). – 2007. – 127 с.
8.
Галузева система управління якістю. Процеси життєвого циклу програмного забезпечення
програмно-технічних комплексів
критичного призначення. Настанова Національного космічного агентства України СОУ-Н НКАУ 0061:2011 [Текст] / Харченко В.С. (наук керівник
розробки). – 2011. – 123 с.
9. Галузева система управління якістю. Верифікація програмного забезпечення програмно-технічних комплексів критичного призначення.
Настанова Державного космічного агентства України СОУ-Н ДКАУ (проект) [Текст] / Харченко В.С. (наук. керівник
розробки). – 2011. – 80 с.
10. Александровская,
Л.Н. Теоретические основы испытаний и экспериментальная отработка сложных
технических систем [Текст] / Л.Н. Александровская, В.И. Круглов, А.Г. Кузнецов. – М.: Логос. – 2003. – 347 с.
11. Кульба, В.В.
Проектирование информационно-управляющих систем орбитальных станций [Текст] / В.В. Кульба, Е.А. Микрин,
Б.В. Павлов. – М.: Наука, 2002. – 343 с.
12. Avizienis, A. Basic concepts and taxonomy of dependable and secure computing [Text]/ A. Avizienis , J.-C. Laprie, B. Randell, C. Landwehr // IEEE Trans. on Dependable and Secure Computing. – 2004. – Vol. 1, № 1. – P. 11-33.
13. Харченко,
В.С. Гарантоспособность и гарантоспособные
системы: элементы методологии [Текст]/ B.C. Харченко // Радіоелектронні
і комп’ютерні системи. – 2006. – № 5(17). – C. 7–19.
14. Bender, Marc.
Positioning Verification in the Context of Software/System Certification
[Text]/ 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.
15. Инварианто-ориентированная оценка качества
программных средств космических систем [Текст] / Под ред. Б.М. Конорева, В.С. Харченко. – Х.: Нац. аэрокосм.
ун-т «ХАИ». – 2009. – 223 с.
16. Formal Methods for Industrial Applications. LNCS 1165.
[Text] / J.-R. Abrial (ed.). - Springer . - 1996.
– 523 p.
17. Clarke, E. Model Checking [Text]/ E. Clarke, O. Grumberg, D. Peled. – The MIT-Press, – 2000. – 330 p.
18. Харченко, В.С. Базовые многофрагментные
макромодели оценки надежности отказоустойчивых компьютерных систем
информационно-управляющих комплексов [Текст]/ В.С. Харченко, О.Н. Одарущенко, Е.Б. Одарущенко // Радіоелектронні і комп’ютерні системи. – 2006. – № 5(17). – С. 62-70.
19. Одарущенко, О.Н. Применение численных методов для решения жестких
систем линейных дифференциальных уравнений в задачах оценки надежности обслуживаемых систем [Текст] / О.Н. Одарущенко, Е.Б. Одарущенко, Ю.Л.
Поночовный // Авиационно-космическая
техника и технология. – Х.: Национальный аэрокосмический университет
„ХАИ”, 2002. – Вып. 35. – С. 187-191.
20. Kharchenko, V.S. Dependable Systems and Multi-Version Computing:
Aspects of Evolution [Text] / V.S. Kharchenko // Radio
Electronic and Computer Systems. – 2009. – № 7 (41). – P. 46-60.