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


PikeOS управляет наноспутником Argos Neo
Операционная система реального времени PikeOS компании SYSGO выбрана Thales Alenia Space в качестве встроенной ОС инструмента Argos Neo глобальной спутниковой системы мониторинга и сбора данных Argos. Целью новой разработки было снизить стоимость спутников системы Argos и стоимость их выведения.

Наноспутник Argus Neo выполнен в формате CubeSat – стандартной платформе для сверхмалых космических аппаратов, разработанной с целью максимального использования готовых (COTS) комплектующих. Новые наноспутники Argos в 10 раз более компактные, чем уже работающие в системе, и требуют для работы в 3 раза меньше мощности. Всего в систему Argos будет добавлены 25 наноспутников, которые будут интегрированы с 8 уже работающими спутниками. Система Argos создана в 1978 году для мониторинга миграции животных и птиц. Сегодня в системе более 22000 активных радиомаяков-передатчиков и более 100 стран участников. Новые приемники инструмента Argos Neo позволяют использовать на Земле передатчики значительно меньшей мощности.

ОСРВ PikeOS предназначена для применения во встроенных системах, сертифицируемых по стандартам функциональной и информационной безопасности. ОСРВ PikeOS поддерживает процессорные архитектуры Power, x86 и ARM, а также процессоры LEON (архитектура SPARC-v8) и NOEL-V (архитектура RISC-V) компании Cobham Gaisler, которая специализируется на разработке процессоров для применения в космосе. ОСРВ PikeOS является также и гипервизором, который позволяет создавать изолированные разделы (partitions) и исполнять в различных разделах прикладное ПО различного уровня критичности для безопасности (mixed criticality).

ОСРВ/гипервизор PikeOS сертифицируема по стандартам функциональной безопасности DO-178C (авионика), МЭК 61508 (промышленные системы управления), EN 50128/50657 (железнодорожные системы), ИСО 26262 (автомобильная электроника), МЭК 62304 (медицинское оборудование), а также по стандартам ECSS (European Cooperation for Space Standardization). Версия PikeOS 4.2.3 сборка S5577 сертифицирована также по международному стандарту информационной безопасности ИСО/МЭК 15408 на оценочный уровень доверия EAL3+.


Вебинар SYSGO по информационной безопасности в авионике
Компания SYSGO, производитель операционной системы реального времени с гипервизором PikeOS, провела вебинар «Compliance of the Common Criteria Evaluation with the RTCA DO-356A Standard», посвященный информационной безопасности (security) в авионике и применению руководства DO-356A/ED-203A «Airworthiness Security Methods and Considerations», выпущенном в 2018 году совместно комитетом RTCA SC-216 и рабочей группой EUROCAE WG-72.
Запись вебинара доступна по ссылке www.youtube.com/watch?v=1uTs3Es6ixU

Операционная система/гипервизор PikeOS сертифицирована по международному стандарту информационной безопасности ISO 15408 «Общие критерии оценки безопасности информационных технологий» (Common Criteria). Несмотря на то, что прямого соответствия между руководством DO-356A и общекомпьютерным стандартом ISO 15408 нет, на вебинаре было рассмотрено, как проведенные при сертификации по ISO 15408 мероприятия могут быть повторно использованы для оценки безопасности в соответствии с рекомендациями DO-356A.

ОСРВ/гипервизор PikeOS предназначена для применения во встроенных системах, сертифицируемых по стандартам функциональной безопасности (safety) DO-178C (авионика), МЭК 61508 (промышленные системы управления), EN 50128/50657 (железнодорожные системы), ИСО 26262 (автомобильная электроника), МЭК 62304 (медицинская техника). Для всех перечисленных стандартов поставляются комплекты документации PikeOS Safety Certification Kit для сертификации до наивысших уровней критичности для безопасности DAL A, SIL 4 и ASIL D.

Версия PikeOS 4.2.3 сборка S5577 сертифицирована федеральной службой Германии по информационной безопасности BSI (Bundesamt fur Sicherheit in der Informationstechnik) на оценочный уровень доверия EAL3+ стандарта ИСО/МЭК 15408 «Общие Критерии». Для сертификации в других национальных и отраслевых сертифицирующих органах поставляется комплект сертификационной документации PikeOS Security Certification Kit, в частности, для отраслевого стандарта информационной безопасности Airbus SAR (Security Assurance Requirements), разработанному на основе ИСО/МЭК 15408 с учетом специфики авиационных систем.


Новая версия 5.0 ОСРВ/гипервизора PikeOS поддерживает систему-на-кристалле NXP i.MX8
Компания SYSGO, производитель операционной системы реального времени с гипервизором PikeOS, объявила о поддержке в новой версии PikeOS 5.0 системы-на-кристалле i.MX8 компании NXP. В комплект поставки PikeOS 5.0 включен BSP (Board Support Package) для отладочной платы i.MX8QuadXPlus Multisensory Enablement Kit.

Система-на-кристалле NXP i.MX8 содержит четыре процессорных ядра ARM Cortex-A53, два процессорных ядра ARM Cortex-A72, два ядра ARM Cortex-M4F, а также два графических ядра Vivante GC7000 XSVX. Система-на-кристалле i.MX8 выпускается NXP в индустриальном -40..+105 С и автомобильном -40..+125 С диапазонах рабочих температур.

Партнер SYSGO компания Core Avionics and Industrial (CoreAVI), производитель сертифицируемых драйверов графических процессоров и графических ядер, выпустила для NXP i.MX8 драйвер нового стандарта Vulkan SC (Safety Critical). Драйвер Vulkan SC для i.MX8 сопровождается пакетом материалов для сертификации по стандартам функциональной безопасности (safety) DO-178C (авионика) и ISO 26262 (автоэлектроника).


Операционная система PikeOS сертифицирована для бортовых железнодорожных систем
Компания SYSGO, производитель операционной системы реального времени с гипервизором PikeOS, получила сертификат TUV Sud на соответствие железнодорожному стандарту EN 50657 “Railways Applications - Rolling stock applications - Software on Board Rolling Stock” европейского комитета электротехнической стандартизации CENELEC. ОСРВ/гипервизор PikeOS сертифицирована по EN 50657 на уровень целостности безопасности SIL 2 (Safety Integrity Level) для процессорных архитектур ARM7, ARM8 и X86-64.

Стандарт EN 50657 со временем заменит стандарт EN 50128 при сертификации ПО бортовых систем управления подвижным составом (rolling stock), а стандарт EN 50128 “Communication, signalling and processing systems. Software for railway control and protection systems” (международный аналог МЭК 62279 “Системы связи, сигнализации и обработки данных. Программное обеспечение систем управления и защиты на железных дорогах”), будет применяться только для систем сигнализации, централизации и блокировки. ОСРВ/гипервизор PikeOS сертифицирована по стандарту EN 50128 на уровень целостности безопасности SIL 4.

Гипервизор (hypervisor) или менеджер виртуальных машин – это слой программного обеспечения между аппаратурой и операционной системой. Гипервизор позволяет представлять один многоядерный процессор в виде нескольких виртуальных машин, каждая из которых может работать под своей операционной системой. В случае систем, подлежащих сертификации по стандартам функциональной безопасности (safety), различные виртуальные машины могут исполнять прикладное ПО различного уровня критичности для безопасности (mixed criticality).

ОСРВ/гипервизор PikeOS для процессорных архитектур x86-64, ARMv7 и ARMv8 сертифицирована также по международному стандарту информационной безопасности ИСО/МЭК 15408 «Общие Критерии» на оценочный уровень доверия EAL3+. PikeOS версия 4.2.3 сборка S5577 сертифицирована федеральной службой Германии по информационной безопасности BSI (Bundesamt fur Sicherheit in der Informationstechnik). Для сертификации в других национальных и отраслевых сертифицирующих органах поставляется комплект сертификационной документации PikeOS Security Certification Kit.


Новая версия PikeOS 5.0 с сертифицируемой многоядерностью по CAST-32A
Компания SYSGO, производитель операционной системы реального времени с гипервизором PikeOS, выпустила новую версию PikeOS 5.0 с поддержкой сертификации многоядерных систем согласно руководству CAST-32A.

Руководство CAST-32A – это вторая редакция документа CAST-32 Position paper “Multi-Core Processors” неформального сообщества “Certification Authorities Software Team”. Руководство CAST-32A содержит рекомендации по снижению взаимовлияния отдельных частей ПО, исполняющихся на разных ядрах многоядерного процессора и использующих разделяемые между ядрами ресурсы процессора. Это взаимовлияние ядер друг на друга через разделяемые ресурсы (общие шины, общие кэш-памяти, общие устройства ввода/вывода) является препятствием для сертификации многоядерных систем по стандартам функциональной безопасности, основным требованием которых является предсказуемость временных характеристик ПО системы.

Релиз PikeOS 5.0 поддерживает различные 32-х и 64-разрядные многоядерные процессоры с архитектурами ARM, PowerPC и x86 производства NXP/Freescale, Renesas, Intel и Xilinx. Новая версия 5.0 позволит сертифицировать многоядерные системы на высшие уровни критичности для безопасности DAL A, SIL 4 и ASIL D.


SYSGO ELinOS – встроенная операционная система бытовой техники Miele
Операционная система ELinOS компании SYSGO – Embedded Linux для промышленных применений, выбрана компанией Miele в качестве встроенной ОС бытовой техники серии Generation 7000. Специально для Miele ядро ELinOS было оптимизировано для того, чтобы время загрузки ОС не превышало 200 миллисекунд, а все функции были доступны пользователю немедленно после включения прибора. Также ОС ELinOS управляет сенсорной панелью «M Touch», которая обеспечивает доступ пользователя к функциям прибора.

Операционная система ELinOS основана на дистрибутиве Debian и ядре Linux с долгосрочной поддержкой LTS (Long Term Supported). Текущая версия ELinOS 7.0 основана на Linux Kernel 4.19 LTS и использует инструментальные средства QEMU 4.1.0, GCC 8.3, Glibc 2.28, GDB 8.2, LTTng 2.9.4 и собственную среду разработки CODEO компании SYSGO. ELinOS поддерживается для 32/64-разрядных процессорных архитектур x86, PowerPC и ARM. В перечне поддерживаемых BSP (Board Support Package) более ста плат различных производителей.

Операционная система ELinOS работает как автономно, так и в качестве «гостевой ОС» в разделе (partition) гипервизора PikeOS. Тестовая версия ELinOS доступна для загрузки с сайта SYSGO.


Kontron и SYSGO разработали сертифицированную аппаратно-программную платформу для железнодорожных систем
Аппаратно-программная платформа SAFe-VX совместной разработки компаний Kontron и SYSGO предназначена для построения критически важных для безопасности железнодорожных систем, подлежащих сертификации по стандартам EN 50128 и EN 50129.

Аппаратная часть производства Kontron представляет собой систему стандарта VPX формата 3U, состоящую из трех одноплатных компьютеров на базе процессора Intel Xeon-D и модуля коммутатора Gigabit Ethernet, через который одноплатные компьютеры соединены между собой по объединительной панели VPX (backplane). Два функциональных компьютера работают параллельно, резервируя друг друга, а третий является арбитром (voting) в случае сбоя одного из функциональных компьютеров. Вся платформа SAFe-VX работает под управлением операционной системы/гипервизора PikeOS компании SYSGO. Платформа SAFe-VX сопровождается комплектом документации для сертификации по наивысшему уровню целостности безопасности SIL-4 (Safety Integrity Level). Одно из целевых применений платформы SAFe-VX – системы автовождения поездов.

Компания SYSGO уже имеет опыт сертификации PikeOS для многоядерной системы на уровень SIL-4. Операционная система PikeOS сертифицирована также по международному стандарту информационной безопасности ИСО/МЭК 15408 «Общие Критерии» на оценочный уровень доверия EAL3+ (Evaluation Assurance Level).


PikeOS сертифицирована на уровень EAL3 стандарта информационной безопасности «Общие Критерии»
Операционная система реального времени с гипервизором PikeOS компании SYSGO сертифицирована федеральной службой Германии по информационной безопасности BSI (Bundesamt fur Sicherheit in der Informationstechnik) по международному стандарту информационной безопасности ИСО/МЭК 15408 «Общие Критерии». Предметом сертификации является ядро PikeOS Separation Kernel, выполняющее пространственную и временную изоляцию приложений, исполняющихся на одном и том же процессоре. Ядро PikeOS Separation Kernel версия 4.2.2 (сборка #s5400) сертифицировано на оценочный уровень доверия EAL3+ для процессорных архитектур x86-64, ARMv7 и ARMv8.

Для сертификации в других национальных и отраслевых сертифицирующих органах поставляется комплект сертификационной документации PikeOS Security Certification Kit. Руководство по сертификации PikeOS Security Manual, входящее в состав сертификационного пакета, может быть поставлено отдельно для опережающей проработки процедуры сертификации. Для PikeOS поставляется также сертификационный пакет по отраслевому стандарту информационной безопасности Airbus SAR (Security Assurance Requirements), разработанному на основе ИСО/МЭК 15408 с учетом специфики авиационных систем.

Для сертификации по стандартам функциональной безопасности (safety) PikeOS сопровождается сертификационными пакетами: для авионики DO-178C до уровня DAL A (Design Assurance Level), для железнодорожных систем EN 50128 до уровня SIL 4 (Safety Integrity Level) и для автоэлектроники ISO 26262 до уровня ASIL D (Automotive Safety Integrity Level). Теперь встраиваемые системы на базе PikeOS готовы к комплексной сертификации “Safety+Security” и по требованиям функциональной безопасности и по требованиям информационной безопасности.


12-я международная выставка "Электроника-Транспорт 2018" прошла 16-17 мая в Москве

в Конгрессно-выставочном центре Сокольники одновременно с 8-й международной выставкой "ЭлектроТранс 2018". В рамках деловой программы состоялся наш доклад "SYSGO PikeOS - ОСРВ и гипервизор, сертифицированные по стандартам безопасности ПО для рельсового (EN 50128) и дорожного (ISO 26262) транспорта".
Загрузить слайды доклада


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.
Посмотреть увеличенное изображение


Vector Informatik и SYSGO совместно разработают автомобильную программную платформу AUTOSAR Adaptive
Открытая Автомобильная Системная Архитектура AUTOSAR (AUTomotive Open System ARchitecture) разработана консорциумом с аналогичным названием (www.autosar.org), который был создан в 2003г. автопроизводителями и их поставщиками – производителями электроники и программного обеспечения. Целью разработки была унификация программных интерфейсов между системным ПО электронных блоков управления (ECU) и прикладным ПО, что позволило разработчикам автомобильных приложений создавать приложения, переносимые (повторно используемые) не только внутри модельного ряда, но даже между моделями автомобилей различных производителей.

В современном автомобиле десятки ECU, каждый исполняющий свою функцию и соответствующее функциональное ПО. Новые задачи, такие как автоматизация вождения, предъявляют новые требования - ECU должны стать многофункциональными, т.е. способными исполнять несколько программных приложений одновременно. Для этого базовое системное ПО ECU должно обеспечить изоляцию приложений, чтобы ошибка в одном приложении не влияла на работоспособность другого приложения.

Новая архитектура AUTOSAR Adaptive предполагает построение ECU на базе микроконтроллеров с устройством управления виртуальной памятью MMU (Memory Management Unit) и основана на операционной системе, обеспечивающей изоляцию путем исполнения приложений в раздельных виртуальных адресных пространствах. Чтобы не было путаницы, предыдущая однофункциональная архитектура ECU с единым физическим адресным пространством AUTOSAR была переименована в AUTOSAR Classic.

Компании Vector Informatik и SYSGO объявили о создании совместного предприятия, которое разработает реализацию архитектуры AUTOSAR Adaptive на базе операционной системы реального времени PikeOS компании SYSGO и комплекса средств разработки MICROSAR компании Vector Informatik. Новый комплекс будет называться MICROSAR Adaptive и будет поставляться через Vector Informatik как интегрированная платформа для разработки приложений ECU, поддерживающих AUTOSAR Adaptive и сертифицируемых по стандарту безопасности ПО ISO 26262 вплоть до максимального уровня критичности для безопасности ASIL D (Automotive Safety Integrity Level).

В рамках деловой программы 12-й международной выставки информационных технологий и электроники для пассажирского транспорта и транспортной инфраструктуры "Электроника-Транспорт 2018", которая пройдет 16-17 мая 2018 г. в Москве в КВЦ "Сокольники", состоится доклад "SYSGO PikeOS - ОСРВ и гипервизор, сертифицированные по стандартам безопасности ПО для рельсового (EN 50128) и дорожного (ISO 26262) транспорта".


Очередной ежегодный семинар по ОСРВ/гипервизору 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 Cantata - комплекс средств автоматизации тестирования программного обеспечения критически важных для безопасности сертифицируемых встраиваемых систем
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/absint AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
www.avdsys.ru/mbd Средства модельно-ориентированного проектирования (MBD = Model-Based Design).
AdaCore QGen - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
www.avdsys.ru/tttech TTTech - сетевое оборудование стандартов TSN, TTE, TTP - сетевых Технологий с передачей по Временно́му Расписанию (Time-Triggered Technology), применяемых для построения распределенных систем управления реального времени с гарантированным временем передачи данных
www.avdsys.ru/simics Wind River Simics - симулятор цифровых электронных систем