Green Hills Software заключила контракт с американским поставщиком коммерческих и военных авиационных систем навигации и наведения на поставку операционной системы реального времени с сертификатом DO-178B уровня A для оборудования следующего поколения, базирующегося на многопроцессорной системе на кристалле Xilinx Zynq UltraScale+ MPSoC. Система UltraScale+ MPSoC состоит из четырех 64-битных ядер Cortex-A53 и будет работать на унифицированной многопроцессорной операционной системе INTEGRITY-178.
Операционная система, обладающая сертификатом DO-178B уровня А и нацеленная на архитектуру ARMv8 (например, четырёхъядерную Cortex-A53 UltraScale+), предоставляет полную поддержку 64-битных приложений, позволяет выполнять как симметричные, так и ассиметричные мультипроцессорные приложения на всех четырех ядрах одновременно. Кроме того, такая ОСРВ поддерживает многоядерное разбиение, описанное в 1-ой части приложения 4 стандарта FACE (Future Airborne Capability Environment), включая работу в режиме симметричной мультипроцессорной обработки, как указано в секции 2.2.1 приложения 4. ОСРВ также предоставляет безопасный сетевой IP-стек, поддерживающий множественных клиентов на различных уровнях безопасности и позволяющий запускать приложения, соответствующие техническому стандарту FACE.
Источник: https://www.ghs.com/news/20170717_tuMP_Xilinx_Zynq_certification.html