ОСРВ JetOS — сертификация для гражданской авиации по уровню A (Юрий Солоделов, OSDAY-2026)

Короткая ссылка: 20260605I

Докладчик: Юрий Солоделов

Как ОСРВ JetOS проходит сертификацию для гражданской авиации по уровню критичности A — не только как техническая система реального времени, но и как большой набор регламентированных процессов. JetOS разрабатывается кооперацией ГосНИИАС, ИСП РАН и ИПМ им. М. В. Келдыша для проектов МС-21-310 и SJ-New, поддерживает ARINC 653, изоляцию приложений, стандартные библиотеки, OpenGL SC 2.0 и инструменты разработки.
Рассматриваются поддерживаемые аппаратные платформы: ARM64, ARM32 и PowerPC, включая RK3568, i.MX6, STM32, P1010, P3041 и ppc476.
Сертификационный контур КТ-178C/Р4754А: планирование, разработка требований и архитектуры, кодирование, интеграция, верификация, управление конфигурацией, гарантия качества и взаимодействие с Авиарегистром Росавиации через аудиты SOI. На этапе SOI#3 предъявляются требования, проект, исходный код, тесты, трассируемость, результаты верификации, анализ покрытия, WCET, кэша и возможных уязвимостей.