Архитектура детерминированного сетевого стека UDP/IP в операционной системе реального времени с поддержкой стандарта ARINC 653


Архитектура детерминированного сетевого стека UDP/IP в операционной системе реального времени с поддержкой стандарта ARINC 653

Алейник В.В. (ИСП РАН, Москва, Россия)
Фомин Д.С. (ИСП РАН, Москва, Россия)
Чепцов В.Ю. (ИСП РАН, Москва, Россия)

Аннотация

В данной статье представлена архитектура сетевого стека UDP/IP для операционной системы реального времени (ОСРВ) с поддержкой стандарта ARINC 653. Целевое применение транспортного протокола UDP/IP в системах интегрированной модульной авионики приводит к требованию на сертификацию программного обеспечения (ПО) по КТ178-С. Поэтому мы рассматриваем разработку сетевого стека с нуля и акцентируем внимание на его составных элементах: архитектуре нижележащего сетевого драйвера, динамическом распределении памяти, структуре данных для обработки сетевых пакетов, организации очередей пакетов и очередей таймаутов. Для тестирования нашего сетевого стека и сетевых драйверов мы предлагаем архитектуру тестовой системы, а также набор подходов по интеграции сети. Рассматриваемое ПО способно производить фрагментацию и сборку IP-пакетов, а также управлять формой трафика.

Ключевые слова

операционные системы реального времени; сетевые стеки; ARINC 653; транспортный протокол UDP/IP.

Издание

Труды Института системного программирования РАН, том 38, вып. 5, 2026, стр. 21-36.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(5)-2

Для цитирования

Алейник В.В., Фомин Д.С., Чепцов В.Ю. Архитектура детерминированного сетевого стека UDP/IP в операционной системе реального времени с поддержкой стандарта ARINC 653. Труды Института системного программирования РАН, том 38, вып. 5, 2026, стр. 21-36. DOI: 10.15514/ISPRAS-2026-38(5)-2.

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома