ГосНИИАС на OS DAY: принципы разделения ресурсов бортовых функциональных программных приложений

Развитие авиации неразрывно связано с повышением уровня безопасности полетов, эффективности эксплуатации воздушных судов и надежности бортовых систем. Важнейшую роль в достижении этих целей играют требования авиационных стандартов, применяемые к разработке функционального программного обеспечения бортовых систем.

ГосНИИАС является разработчиком отечественной операционной системы реального времени JetOS для бортовых систем гражданской авиации. Проект реализуется совместно с Институтом системного программирования имени В.П. Иванникова РАН и Институтом прикладной математики имени М.В. Келдыша РАН. С 2024 года в рамках опытно-конструкторской работы специалисты ГосНИИАС работают над интеграцией JetOS в разрабатываемый Ульяновским конструкторским бюро приборостроения бортовой многофункциональный индикатор для самолета МС-21.

О различных аспектах разработки JetOS специалисты ГосНИИАС ежегодно докладывают на научно-практической конференции OS DAY. Тема «Изолированные среды исполнения» стала основной на конференции 2025 года. Специалисты в области системного программирования и разработки операционных систем обсудили методы разграничения полномочий, технологии обеспечения кибербезопасности, а также способы оптимизации вычислительных ресурсов.

Одним из докладчиков конференции выступил инженер ГосНИИАС, участвующий в разработке требований и верификации ОСРВ. Он рассказал коллегам об изоляции приложений в соответствии со стандартом ARINC 653 – основным программным интерфейсом JetOS. В рамках доклада были представлены принципы разделения пространственных и временных ресурсов функциональных программных приложений (далее – ФПП), модульная архитектура, основные сервисы, обеспечивающие работу и коммуникацию разделов и процессов, а также обработка ошибок монитором состояния. Интерфейс ARINC 653 описывает требования к построению взаимодействия ФПП и ОСРВ для организации корректной работы различных приложений на одном и том же аппаратном обеспечении.

Несмотря на то, что ARINC 653 был разработан для использования в авионике, его применение допускается при разработке любых систем, для которых требуется разделение ресурсов и обеспечение высокого уровня безопасности.

Организаторами ежегодной научно-практической конференции OS DAY выступают Институт системного программирования имени В.П. Иванникова РАН, компании «Лаборатория Каперского», «Криптософт», «Открытая мобильная платформа», «Базальт СПО», «РЕД СОФТ», «НТЦ ИТ РОСА», а также Национальный исследовательский центр «Институт имени Н.Е. Жуковского».