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

Abstract

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

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