PikeOS

PikeOS
	Архитектура PikeOS от SYSGO
Разработчик	СИСГО ГмбХ
Семейство ОС	Л4
Рабочее состояние	Текущий
Исходная модель	Закрытый исходный код
Последний выпуск	5.1 / январь 2021 г .; 3 года назад
Маркетинговая цель	Встроенные системы
Доступно в	Английский
Платформы	ARM , PowerPC , x86 , СПАРК
ядра Тип	Микроядро времени реального
Лицензия	Собственный
Официальный сайт	www .sysgo .с /пикеос

PikeOS — это коммерческая операционная система жесткого реального времени (RTOS), в которой имеется отдельного ядра на основе гипервизор . Этот гипервизор поддерживает несколько логических разделов типов для различных операционных систем (ОС) и приложений, каждый из которых называется гостевой ОС. PikeOS разработан для облегчения разработки сертифицированных интеллектуальных устройств для Интернета вещей (IoT) путем соблюдения стандартов качества, безопасности и защищенности в различных отраслях. В тех случаях, когда блоки управления памятью (MMU) отсутствуют, но доступны блоки защиты памяти (MPU) в системах на базе контроллера, PikeOS для MPU предназначена для критически важных приложений реального времени и обеспечивает безопасность и защищенность на уровне стандартов.

Обзор [ править ]

PikeOS была представлена в 2005 году и сочетает в себе операционную систему реального времени (RTOS) с платформой виртуализации и Eclipse на базе интегрированной средой разработки (IDE) для встраиваемых систем . Это коммерческий клон семейства микроядер L4 . ^[1] PikeOS была разработана для приложений, критически важных для безопасности и защиты, требующих сертификации в области аэрокосмической, оборонной, автомобильной, транспортной, промышленной автоматизации, медицины, сетевых инфраструктур и бытовой электроники. Ядро разделения PikeOS (v5.1.3) сертифицировано по общим критериям на уровне EAL5+.

Одной из ключевых особенностей PikeOS является ее способность безопасно выполнять приложения с разными уровнями безопасности одновременно на одной вычислительной платформе . Это достигается за счет строгого пространственного и временного разделения этих приложений с помощью программных разделов. Раздел программного обеспечения можно рассматривать как контейнер с заранее назначенными привилегиями, которые могут иметь доступ к памяти, центрального процессора времени (ЦП), вводу/выводу (I/O) и заранее определенному списку служб ОС. В PikeOS термин «приложение» относится к исполняемому файлу, связанному с интерфейса прикладного программирования (API) библиотекой PikeOS и работающему как процесс внутри раздела. Характер интерфейса прикладного программирования ( API ) PikeOS позволяет приложениям варьироваться от простых контуров управления до полностью паравиртуализированных гостевых операционных систем, таких как Linux или аппаратно виртуализированных гостей.

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

Поддерживаемая цепочка инструментов, IDE CODEO [ править ]

IDE CODEO на базе Eclipse поддерживает системных архитекторов с помощью графических инструментов настройки, предоставляя все компоненты, которые потребуются инженерам-программистам для разработки встроенных приложений, а также включает комплексные мастера, помогающие разрабатывать встроенные проекты экономным и экономически эффективным способом:

Пошаговая настройка
Удаленная отладка (вплоть до уровня аппаратных инструкций)
Целевой мониторинг
Удаленное развертывание прикладного программного обеспечения
Временной анализ

Несколько специальных графических представлений редактирования позволяют системному интегратору всегда иметь обзор важных аспектов конфигурации системы PikeOS, показывая типы разделов, планирование, каналы связи, общую память и конфигурацию устройств ввода-вывода внутри разделов.

Проекты можно легко определить с помощью шаблонов многократного использования и распространить среди групп разработчиков. Пользователи могут настраивать предопределенные компоненты для своего проекта, а также определять и добавлять другие компоненты в процессе разработки.

Основные преимущества [ править ]

Операционная система реального времени, включая гипервизор типа 1, определенный для гибкой конфигурации.
Поддерживает быструю или безопасную загрузку
Поддержка смешанной критичности через ядро разделения в одной системе
Конфигурация разделов по времени и аппаратным ресурсам
Поддерживаются драйверы ядра и пользовательского пространства.
Аппаратная независимость между типами и семействами процессоров
Простые процессы миграции и высокая мобильность на одно- и многоядерных процессорах.
Разработан для поддержки сертификации в соответствии с многочисленными стандартами безопасности и защиты.
Сокращение времени выхода на рынок благодаря стандартным инструментам разработки и проверки.
Никаких ограничений на экспорт: европейское решение

Стандарты сертификации [ править ]

Стандарты сертификации безопасности по:

Радиотехническая комиссия по аэронавтике (RTCA) – DO-178B /C
Международная организация по стандартизации (ISO) – 26262.
Международная электротехническая комиссия (МЭК) – 62304 , 61508
RU – 50128, 50657

Стандарты сертификации безопасности по:

Общие критерии
САР (?)

Партнерская экосистема [ править ]

SYSGO стремится установить технологическое и деловое партнерство, которое поможет разработчикам программного обеспечения достичь своих целей. По состоянию на октябрь 2017 г. ^[update], SYSGO работает примерно со 100 партнерами по всему миру. ^[2]

Ниже приводится список партнеров по категориям:

Поставщики плат : Curtiss-Wright Controls Embedded Computing, Kontron, MEN или ABACO.
Поставщики кремния : NXP, Renesas, Texas Instruments (TI), Xilinx, Infineon, NVidia или Intel.
Партнеры по программному обеспечению : CoreAVI, wolfSSL , Aicas, AdaCore, Esterel, Apex.AI, RTI, PrismTech, Datalight, Systerel, Imagination Technologies или RAPITA.
Партнеры по инструментам : Lauterbach, Vector Software, Rapita, iSYSTEM.
Поддерживаемые архитектуры : ARM , PowerPC , x86 или SPARC (по запросу).

Поддерживаемые типы гостевых ОС [ править ]

Linux или Android (в идеале дистрибутив SYSGO Linux ELinOS )
POSIX PSE51 с расширениями PSE52
АРИНК 653
РТЭМС
Ява
АВТОСАР
Ада , включая профиль Рэйвенскара
и другие ^{[ который? ]}

Обзор окончания срока службы [ править ]


Тип продукта	Версия продукта	Связанная версия ELinOS	Выпускать	окончание срока действия
PikeOS	3.4 (без сертификата)	5.2	2013-07	С 2017-12 гг.
PikeOS	3.4 (сертификат)	5.2	2013-07	ЛТС на x86
PikeOS	3.5	6.0, 6.1	2015-01	С 2017-12 гг.
PikeOS	4.0	6.0, 6.1	2016-03	С 2019-06 гг.
PikeOS	4.1	6.1	2016-08	С 2021-04 г.
PikeOS	4.2 (без сертификата)	6.2	2017-01	Кандидат
PikeOS	4.2 (сертификат)	6.2	2017-04	Текущий
PikeOS	5.0 (без сертификата)	7.0, 7.1	2020-06	Текущий
PikeOS	5.0 (сертификат)	7.0, 7.1	2020-08	Текущий
PikeOS	5.1 (без сертификата)	7.1	2021-01	Текущий
PikeOS	5.1 (сертификат)	7.1	2021-02	Текущий

Ссылки [ править ]

^ Кайзер; Вагнер (2007). Эволюция микроядра PikeOS . МАЙКИ 2007 (Отчет). НИКТА. ISSN 1833-9646 . Проверено 18 ноября 2023 г.
^ «Справочник партнеров» . СИСГО . Архивировано из оригинала 2 ноября 2010 года . Проверено 12 октября 2017 г.

Внешние ссылки [ править ]

[1] Кайзер; Вагнер (2007). Эволюция микроядра PikeOS . МАЙКИ 2007 (Отчет). НИКТА. ISSN 1833-9646 . Проверено 18 ноября 2023 г.

[2] «Справочник партнеров» . СИСГО . Архивировано из оригинала 2 ноября 2010 года . Проверено 12 октября 2017 г.

[1]

[2]