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