Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены возможности построения функционально безопасных программных систем на основе виртуальных машин.

• http://library.khai.edu/library/fulltexts/doc/REKS107/Vasilenk.pdf

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

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