Научный журнал ISSN 1684-8853 (печ.), ISSN 2541-8610 (эл.), doi:10.15217/issn1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Архитектура автономного микрогипервизора реального времени и автоматизированное измерение его временных характеристик

Авторы: И. В. Колчин , С. Н. Филиппов

Постановка проблемы: гипервизоры и виртуальные машины приобрели популярность в последнее десятилетие благодаря своим многочисленным преимуществам. Однако есть и обратная сторона этого положения, особенно для компаний, разрабатывающих системы с особыми требованиями безопасности. Программное обеспечение становится слишком сложным, чтобы быть совместимым со всеми версиями и конфигурациями оборудования. Как следствие, подобное программное обеспечение трудно сертифицировать на соответствие требованиям стандартов безопасности, таким как IEC 61508. Целью исследования является разработка аппаратно-зависимого гипервизора на «пустом» аппаратном обеспечении без установленной операционной системы с фиксированной конфигурацией, запускающего три гостевые операционные системы. Результаты: написан гипервизор реального времени с микроядерной архитектурой, использующий технологию VT-d для проброса устройств в гостевые операционные системы и технологию VT-x для виртуализации процессора. Доказана возможность создания микроядереного гипервизора реального времени для жестко заданной аппаратной платформы с объемом исходных кодов менее 10 тыс. строк. Разработан и проверен метод и аппаратно-программное обеспечение для тестирования характеристик рельного времени программ. Практическая значимость: представленный подход к написанию гипервизора делает возможным создание компактного микрогипервизора рельного времени небольшой командой разработчиков. Предложенный метод тестирования характеристик реального времени позволяет автоматизировать этот процесс.

Ключевые слова — системное программное обеспечение, системы реального времени, системы с требованиями безопасности, симметричная многопроцессорность, виртуальные машины

УДК: 004.45
Журнал: 3(70)/2014
Рубрика: Программные и аппаратные средства