XtratuM - XtratuM
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
 Архитектура XtratuM | |
| Разработчики) | Группа систем реального времени. Политический университет Валенсии |
|---|---|
| Тип | Гипервизор для систем, критичных к безопасности |
| Лицензия | GNU GPL-2.0 |
| Интернет сайт | www |
XtratuM голый металл гипервизор специально разработан для встроенный в реальном времени системы, доступные для наборы инструкций LEON2 / 3/4 (SPARC v8) и РУКА v7 процессоры. [1]
Он был разработан Политический университет Валенсии (Испания) при участии Университет Ланьчжоу (Китай). XtratuM выпущен как бесплатное программное обеспечение с открытым исходным кодом, с учетом требований Стандартная общественная лицензия GNU (GPL), версия 2 или более поздняя. Профессиональные версии коммерциализируются fentISS по проприетарной лицензии. [1]
XtratuM - это гипервизор, разработанный для встроенных систем критически важный для безопасности в реальном времени Требования. Он предоставляет основу для запуска нескольких операционные системы (или руководители в реальном времени) в надежной разделенной среде. XtratuM можно использовать для создания MILS (Несколько независимых уровней безопасности) архитектура.
История
Название XtratuM происходит от слова слой. В геологии и смежных областях это означает:
- Слой камня или почвы с внутренне согласованными характеристиками, которые отличают его от смежных слоев.
Чтобы подчеркнуть тесную связь с Linux и движением за открытый исходный код, букву «S» заменили на «X». XtratuM будет первым уровнем программного обеспечения (ближайшим к оборудованию), который обеспечивает прочную основу для остальной части системы.
XtratuM 1.0 изначально разрабатывался как замена RTLinux HAL (Уровень аппаратной абстракции ) для удовлетворения требований временного и пространственного разделения. Целью было виртуализировать основные аппаратные устройства для одновременного выполнения нескольких операционных систем, при этом по крайней мере одна из этих операционных систем является RTOS. Остальные аппаратные устройства (включая загрузку) были оставлены в специальном домене, называемом корневым доменом.
После этого опыта он был переработан, чтобы быть независимым от Linux и загружаться. Результатом этого является XtratuM 2.0, гипервизор типа 1, использующий паравиртуализацию. Впаравиртуализированный операции максимально приближены к аппаратному обеспечению. Таким образом, перенос операционной системы, которая уже работает на оригинальной системе, является простой задачей: заменить некоторые части HAL операционной системы соответствующими гипервызовами.
Обзор
Дизайн гипервизор для критических в реальном времени встроенные системы следует этим критериям:
- Сильная временная изоляция: фиксированный циклический планировщик.
- Сильная пространственная изоляция: все разделы выполняются в пользовательском режиме процессора и не разделяют память.
- Базовая виртуализация ресурсов: часы и таймеры, прерывания, память, ЦПУ и специальные устройства.
- Политика планирования в реальном времени для планирования разделов.
- Эффективное переключение контекста для разделов.
- Детерминированные гипервызовы (системные вызовы гипервизора).
- Поддержка мониторинга здоровья.
- Надежные и эффективные механизмы связи между разделами (порты выборки и очереди).
- Низкие накладные расходы.
- Маленький размер.
- Статическое определение системы через файл конфигурации (XML).
В случае встроенных систем, особенно систем авионики, ARINC 653 Стандарт определяет схему разделения. Хотя этот стандарт не был разработан для описания того, как должен работать гипервизор, некоторые части модели довольно близки к функциям, предоставляемым гипервизором.
API XtratuM и внутренние операции напоминают ARINC 653 стандарт. XtratuM не является ARINC 653 совместимая система. Стандарт основан на идее ядро разделения определение API и операций разделов, а также того, как потоки или процессы управляются внутри каждого раздела.
Гипервизор XtratuM поддерживает LEON 2 / LEON 3 / LEON 4 (SPARCv 8) и архитектур Cortex R4 / Cortex R5 / Cortex A9 (ARMv7). [1]
Поддержка XtratuM в качестве среды выполнения:
- XAL (XtratuM Abstraction Layer) для приложений на голом C
- POSIX PSE51 Partikle RTOS
- LITHOS RTOS, совместимая с ARINC-653 P1
- Совместимая с ARINC-653 P4 среда выполнения uLITHOS
- Ада Равенскар профиль ORK +
- RTEMS
- Linux
