Література

 

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.-CLaprie, 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.