Развитие программных продуктов ГосНИИАС для операционной системы JetOS (Юрий Солоделов, OSDAY-2023)

Короткая ссылка: 20230623B

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

Представлены ключевые направления работ института в области создания сертифицируемого программного обеспечения для гражданской авиации.
Основное внимание уделено операционной системе реального времени JetOS, предназначенной для исполнения бортовых приложений и соответствующей требованиям ARINC 653. Рассматриваются микроядерная архитектура системы, поддержка различных аппаратных платформ (PowerPC, ARM, ARM64), инструменты разработки и отладки, а также развитие графических библиотек SWGL и HWGL с поддержкой OpenGL SC. Отмечены практические результаты внедрения JetOS, включая применение во внутренних проектах и работы по интеграции в сертифицируемые изделия, в том числе для МС-21.
COVERest — отечественное решение для сбора и анализа структурного покрытия исходного кода на языке C. Система поддерживает критерии MC/DC, DC и SC, формирует подробные HTML-отчёты и интегрируется с существующими средами тестирования. COVERest применяется при верификации JetOS и поставляется ряду российских предприятий авиационной отрасли, обеспечивая соответствие нормативным требованиям.
Представлена автоматизированная информационная система управления жизненным циклом (АИС УЖЦ), предназначенная для управления конфигурацией и обеспечения трассируемости данных в рамках процессов Р4754А, КТ-178С и КТ-254. Система реализует клиент-серверную архитектуру, включает средства управления требованиями и изменениями, поддерживает анализ и выявление ошибок трассировки. АИС УЖЦ используется во внутренних проектах ГосНИИАС и проходит апробацию в кооперации с промышленными партнёрами.