PikeOS
операционная система/гипервизор для встраиваемых систем,
критически важных для безопасности (safety) и защищенности (security)


Thales выбирает SYSGO PikeOS для Интегрированной CDS концепции «Avionics 2020»

Интегрированная Система Дисплеев Кабины Экипажа ICDS (Integrated Cockpit Display System) – первая реализация концепции «Avionics 2020», анонсированной Thales в 2013 году на авиасалоне в Ле-Бурже. В качестве операционной системы ICDS выбрана ОС/гипервизор PikeOS фирмы SYSGO, поддерживающая архитектуру IMA (Integrated Modular Avionics) и сертифицируемая по DO-178C. Операционная система PikeOS системы ICDS работает на многоядерном микропроцессоре и исполняет набор функциональных приложений с различными уровнями критичности, отображаемых на интерактивных дисплеях c сенсорными экранами. Система ICDS будет одной из первых систем авионики c многоядерным микропроцессором, сертифицированной на уровень DAL-A.
Посмотреть увеличенное изображение


Очередной ежегодный семинар по ОСРВ/гипервизору SYSGO PikeOS прошел в Москве 25 октября 2017г.

В программе семинара:
- Архитектура PikeOS и поддержка многоядерных процессоров
- Что нового в версии PikeOS v4.2
- Опыт сертификации PikeOS в реальных проектах различных отраслей
- Обеспечение информационной безопасности в PikeOS
- Среда разработки CODEO и ее «живая» демонстрация
- Перенос в PikeOS приложений из других ОСРВ


Компания SYSGO примет участие в конференции/выставке «Connected Car 2017 & Advanced Automotive»,
которая пройдет 8 мая в г. Герцлия (Израиль).
На конференции выступит Крис Берг – главный архитектор автомобильного направления компании SYSGO.
Тема доклада «Using a certified hypervisor to secure V2X communication» (Применения сертифицированного гипервизора для безопасных коммуникаций Vehicle-to-X).
Если Вы хотите получить слайды этого доклада - присылайте запрос на avdsys@aha.ru.


Новый релиз ОСРВ/гипервизора PikeOS включает поддержку 64-разрядных процессорных ядер архитектуры ARMv8-A
Компания SYSGO выпустила новый релиз 4.1 операционной системы реального времени / гипервизора PikeOS, предназначенной для встраиваемых систем, сертифицируемых по стандартам функциональной безопасности (safety) и информационной безопасности (security).

В PikeOS 4.1 включена поддержка процессорных ядер архитектуры ARMv8-A: Cortex A35, A53, A57 и A72, содержащих 64-разрядное исполнительное ядро AArch64. Также поддерживается аппаратная виртуализация ARMv8, позволяющая исполнять в гипервизоре PikeOS другие операционные системы (напр. Linux) с производительностью, близкой к native-режиму.

В качестве примеров микропроцессоров с архитектурой ARMv8-A можно привести NXP QorIQ LS1023/1043 (ядро Cortex-A53) и LS2040/2080 (ядро Cortex-A57), а также российский микропроцессор Baikal-M компании Байкал Электроникс.

Релиз PikeOS 4.1 поддерживает также 64-разрядные микропроцессоры QorIQ семейства T c архитектурой Power.


"Как операционные системы с гипервизором могут справиться с проблемой сертификации многоядерных систем"
Hа конференции при выставке Aviation Electronics Europe 2016, прошедшей в апреле в Мюнхене, директор по сертификации компании SYSGO Свен Нордхофф сделал доклад на тему ""How Hypervisor Operating Systems Can Cope With Multi-Core Certification Challendges" ("Как операционные системы с гипервизором могут справиться с проблемой сертификации многоядерных систем").
Если Вы хотите получить слайды этого доклада, а также одноименную техническую статью - присылайте запрос на avdsys@aha.ru.


Siemens выбирает ОС PikeOS для унифицированной автомобильной бортовой компьютерной платформы
В современном автомобиле может быть до 100 различных электронных блоков ECU (Electronic Control Unit), каждый из которых выполняет одну специфическую функцию. Компания Siemens разработала унифицированную бортовую платформу RACE (Reliable Automation and Control Environment), в которой функциональные приложения выполняются не в ECU, а в центральном бортовом компьютере. Операционная система этого компьютера поддерживает исполнение функциональных приложений в различных разделах (partitions) аналогично тому, как это применяется в авиации в архитектуре ИМА (интегрированная модульная авионика).

В качестве базовой операционной системы архитектуры RACE выбрана ОС PikeOS компании SYSGO, поддерживающая изоляцию приложений в разделах и позволяющая исполнять на одном компьютере приложения с различным уровнем критичности для безопасности: от инфотейнмент до автовождения. Операционная система PikeOS сертифицируема по стандарту безопасности ПО автомобильной промышленности ISO 26262.

Первым автопроизводителем, применящим платформу Siemens RACE, стала компания StreetScooter – дочернее предприятие Deutsche Post, производящее электромобили для почтовых перевозок и других применений.


Новая версия ОС/гипервизора PikeOS v4.0
Гипервизор PikeOS предоставляет возможность одновременного исполнения нескольких операционных систем на одном многоядерном процессоре (сервис виртуальных машин). Новая версия PikeOS v4.0 работает на новых процессорах с аппаратной поддержкой виртуализации, таких как ARM Cortex и Freescale QorIQ серий LS и T. Также в версии 4.0 поддерживается разделение графических процессоров между несколькими графическими приложениями и реализован монитор для технологии информационной защищенности ARM TrustZone.


Платформа для информационной защиты промышленных и встраиваемых устройств Kaspersky Security System интегрирована с PikeOS
В мире Промышленного Интернета (Internet Of Things) информационная защищенность (security) сетевых устройств важна не меньше, чем их функциональная безопасность (safety). На выставке Embedded World 2015 в Нюрнберге на стендах компаний SYSGO и Лаборатории Касперского было продемонстрировано интегрированное решение для промышленных и встраиваемых устройств, объединяющее гипервизор PikeOS с платформой информационной защиты Kaspersky Security System и расширяющее PikeOS возможностью реализации разнообразных политик защиты при коммуникации между приложениями из различных разделов (виртуальных машин) гипервизора PikeOS.


SYSGO и Curtiss-Wright на выставке Aviation Electronics Europe (Мюнхен)
продемонстрировали работу сертифицируемой по DO-178B/C операционной системы/гипервизора PikeOS на VPX-модуле Curtiss VPX3-1701 на базе микропроцессора Freescale QorIQ Layerscape LS1020A c двумя ядрами архитектуры ARM Cortex-A7. На модуле VPX3-1701 был установлен мезонинный модуль XMC-715 на базе графического процессора AMD E4690 с PikeOS-драйверами OpenGL ES/SC фирмы CoreAVI.


SYSGO, Kontron и MEN Micro на выставке InnoTrans (Берлин)
продемонстрировали аппаратно-программные платформы на базе ОС/гипервизор SYSGO PikeOS для железнодорожных систем, сертифицированные по стандарту EN 50128 на уровень безопасности SIL 4. На стенде Kontron продемонстрирована PikeOS на одноплатном компьютере Kontron VX3035 формата 3U VPX на базе микропроцессора Intel Core i7. На стенде MEN Micro – на одноплатных CompactPCI компьютерах с тройным резервированием процессора MEN F75P формата 3U на базе Intel Atom E6xx и D602 формата 6U на базе PowerPC 750СL.


Архитектура OBC-SA = Интегрированная Модульная Авионика для космоса
Исследовательская программа OBC-SA (On-Board Computer System Architecture) посвящена разработке архитектуры авионики будущих космических кораблей и спутников. Программа финансируется германским космическим агентством DLR и в ней участвуют компании Airbus Germany, SpaceTech, Fraunhofer FOKUS, TTTech и SYSGO. В мае 2015г. завершен этап разработки демонстратора OBC-SA – системы из трех компьютеров различной архитектуры (QorIQ P4080, SPARC Leon и Intel x86 Atom), объединенных детерминированной сетью Time-Triggered Ethernet. Все три компьютера демонстрационной системы работают под управлением операционной системы PikeOS, поддерживающей изоляцию приложений по стандартам Интегрированной Модульной Авионики, применяемым в авиации.


Бортовая ЦВМ Котлин-Новатор работает по управлением PikeOS
Акционерное общество "Котлин-Новатор" (СПб) - одно из ведущих предприятий ВПК России по разработке и производству комплексов бортового радиоэлектронного оборудования специального назначения. В рамках направления «Интегрированная Модульная Авионика» разработана ЦВМ для применения в составе пилотажно-навигационных комплексов и для управления РЛС. Бортовая ЦВМ выполнена в стандарте VPX с 6-ю слотами формата 3U и содержит процессорный модуль на базе Freescale PowerPC MPC8572, процессор ЦОС, видеопроцессор, адаптер ARINC 818 и другие периферийные интерфейсы. В качестве ARINC 653 совместимой операционной системы используется ОС PikeOS фирмы SYSGO.

WWW.SYSGO.COM


AVD Systems
тел: (916) 194-42-71

Все наши страницы в сети:
www.avdsys.ru/pikeos PikeOS - операционная система/гипервизор для встраиваемых систем, критически-важных для безопасности (safety) и защищенности (security)
www.avdsys.ru/ada AdaCore – средства разработки и верификации ПО на языках Ada и SPARK
www.avdsys.ru/test VectorCAST - комплекс средств автоматизации тестирования программного обеспечения критически-важных для безопасности, сертифицируемых встраиваемых систем
www.avdsys.ru/gpu CoreAVI - сертифицируемые по стандарту DO-178B/C драйверы стандарта OpenGL SC (Safety Critical) для различных графических процессоров и графических ядер (GPU = Graphics Processing Unit)
www.avdsys.ru/gui DiSTI GL Studio - cреда разработки 3-D графического пользовательского интерфейса (GUI) критически важных для безопасности сертифицируемых дисплейных систем
www.avdsys.ru/wcet AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
www.avdsys.ru/mbd Средства модельно-ориентированного проектирования (MBD = Model-Based Design).
AdaCore QGen - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
www.avdsys.ru/atr CM Computer - бортовые корпуса формата ATR (Air Transport Rack) для модулей VPX, VME64 и CompactPCI с кондуктивным охлаждением
www.avdsys.ru/DE TTTech - оборудование Deterministic Ethernet - сетевой Технологии с передачей по Временно́му Расписанию (Time-Triggered Technology), применяемой для построения распределенных систем жесткого реального времени с гарантированным временем передачи данных
www.avdsys.ru/rugged Aitech - модули и системы VPX, VME, CompactPCI для тяжелых условия эксплуатации