PikeOS

Продукт

Разработчики:	Sysgo
Дата премьеры системы:	2005/06/15
Технологии:	ОС

PikeOS - операционная система реального времени - гипервизорная платформа визуализации (встраиваемый гипервизор - по терминологии IBM)^[1].

Система обеспечивает нескольким приложениям и операционным системам, таким как Android и Linux, параллельно, и, в то же время, надежно работать на одной аппаратной платформе.

Преимущества

Специальная технология визуализации надежности и безопасности (Safe and Secure Virtualization, SSV) позволяет нескольким API операционных систем, называемых также «персоналиями», работать одновременно на одной машине. Архитектура микроядра PikeOS позволяет использовать операционную систему, как в дешевых устройствах с ограниченными ресурсами, так и в больших, сложных системах.

Простота и компактность PikeOS помогают получить уровень производительности, который сравним с производительностью других операционных систем реального времени.

Система PikeOS соответствует стандартам безопасности DO-178B, IEC 61508, EN 50128, удовлетворяет требованиям MILS и получила сертификат первого уровня безопасности от французского агентства сетевой и информационной безопасности.

Применение

PikeOS используется в авиационной индустрии для критически важных приложений. Внедрение встраиваемого гипервизора позволяет использовать на одной и той же платформе устаревшие или унаследованные приложения (внутри виртуальной машины) и новые приложения.

Пространства PikeOS, 2011

В пространстве ядра PikeOS реализован набор пакетов для поддержки архитектур и платформ, существующих для конкретного аппаратного обеспечения (x86, PowerPC, SuperH и др.) в дополнение к разделяемому ядру, отвечающему за платформу виртуализации. В PikeOS поддерживаются не только гостевые операционные системы (с необходимыми приложениями) но и простые прикладные программные интерфейсы (API) или среды исполнения (runtime environment) для определенной предметной области (например, «родной» интерфейс PikeOS или Java-среда реального времени).

Уровень системного ПО PikeOS выделяет ресурсы (в терминах пространства и времени) для гостевых операционных систем. Система использует паравиртуализацию, так что гостевые операционные системы не подозревают, что они работают в виртуальной среде.