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

• http://library.khai.edu/library/fulltexts/doc/REKS506/Harchenk.pdf

Радіоелектронні і комп'ютерні системи [Текст] // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — 2006.

• УДК // Надійність і точність
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.