Пикеи
-
Обзор PikeOS
- Коммерческая операционная система реального времени с гипервизором на основе разделения ядра.
- Поддерживает создание сертифицированных устройств для Интернета вещей, соответствующих отраслевым стандартам.
- Разработана для критически важных приложений с поддержкой модулей защиты памяти (MPU) или без них.
-
История и особенности
- Представлена в 2005 году, сочетает RTOS с платформой виртуализации и IDE на базе Eclipse.
- Коммерческий клон микроядер L4, подходит для аэрокосмической, оборонной и других отраслей.
- Сертифицирована по общим критериям EAL5+, поддерживает одновременное выполнение приложений с разными уровнями защиты.
-
Инструменты разработки и поддержка
- IDE CODEO на базе Eclipse с графическими средствами настройки и мастерами разработки.
- Поддержка удаленной отладки, мониторинга целей, удаленного развертывания и анализа времени.
-
Преимущества и стандарты сертификации
- Гибкая настройка, быстрая и безопасная загрузка, поддержка смешанной критичности.
- Настройка разделов с учетом временных и аппаратных ресурсов, поддержка драйверов ядра и пользовательского пространства.
- Аппаратная независимость, простота миграции и высокая переносимость.
- Сертификация по стандартам RTCA, ISO, МЭК, EN, а также по общим критериям и другим стандартам.
-
Партнерская экосистема и архитектура
- Партнерство с более чем 100 поставщиками и производителями для поддержки разработчиков.
- Поддержка различных архитектур и типов гостевых систем, включая Linux и Android.
-
Окончание срока службы и рекомендации
- Ссылки на официальный сайт и примечания к продукту для дополнительной информации.
Полный текст статьи: