Программный комплекс современного гражданского самолета работает под управлением операционной системы реального времени (ОСРВ). Эта технология является критической с точки зрения безопасности и для использования должна быть сертифицирована. Неотъемлемой частью ОСРВ является графическая компонента. Существующие авиационные приложения применяют графические шейдеры, которые компилируются перед выполнением. Но компилятор шейдеров, написанный на языке C++, не может быть сертифицирован. Поэтому мы предложили подход, при котором компилятор не используется в бортовом программном обеспечении. Он компилирует шейдеры заранее, и в процессе работы они загружаются в виде двоичного программного объекта. Таким образом, сертификация компилятора шейдеров была заменена на тестирование программного объекта, создаваемого им. Нами был разработан программно-аппаратный комплекс, предназначенный для тестирования работы компилятора, независимый от конкретной целевой платформы. На основе анализа авиационных приложений был разработан набор тестов, позволяющий проверить корректность всех операций шейдеров, применяемых в приложениях гражданской авиации. Таким образом, мы нашли и успешно реализовали практичное решение проблемы невозможности сертификации компилятора шейдеров, что позволило включить шейдеры в сертифицированное программное обеспечение бортового оборудования гражданского самолета.
Приборные панели современных самолетов создаются по концепции “стеклянной кабины”. Эта новая идеология интерфейса позволяет улучшить восприятие важной полетной информации за счет отображения ее на одном многофункциональном дисплее. В работе рассматриваются проблемы, возникающие при разработке сертифицируемой системы визуализации дисплея пилота, предназначенной для работы на гражданских воздушных судах под управлением российской операционной системы реального времени JetOS. В статье приведено несколько алгоритмических решений, позволяющих добиться приемлемой скорости визуализации. В частности, подробно описано решение проблемы жесткого расписания разделов операционной системы, благодаря которому удалось преодолеть деградацию скорости визуализации. Намечены пути дальнейших работ.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации