Операционная система РАФОС

РАФОС — это операционная система реального времени (ОСРВ), разработанная в России для встраиваемых и критически важных систем, применяемых в промышленной автоматизации, авиастроении, космической отрасли, на транспорте и в энергетике. Относится к классу операционных систем с жёстким (детерминированным) временем отклика, обеспечивающих гарантированное выполнение задач в заданные временные рамки. Разработка ведётся компанией «Аскон» (входит в группу «Аскон-Системы проектирования»), а также рядом отраслевых организаций, включая ГК «Роскосмос» и предприятия оборонно-промышленного комплекса. Система ориентирована на импортозамещение и сертифицирована для использования в системах с повышенными требованиями к безопасности (до уровня SIL 3 по стандарту IEC 61508).

История

Разработка РАФОС началась в середине 2000-х годов на базе наработок, полученных в ходе создания специализированных ОС для бортовых вычислительных машин (БЦВМ) и контроллеров. В 2008 году была выпущена первая стабильная версия, предназначенная для микроконтроллеров архитектуры x86. В 2010-е годы система прошла сертификацию в Федеральной службе по техническому и экспортному контролю (ФСТЭК России) на соответствие требованиям к средствам защиты информации, что позволило использовать её в государственных информационных системах. В 2018 году РАФОС была включена в Единый реестр российских программ для электронных вычислительных машин и баз данных (приказ Минцифры России). В 2020–2023 годах вышли версии, поддерживающие архитектуры ARM, MIPS, RISC-V, а также гибридные вычислительные комплексы (системы на кристалле, ПЛИС). В 2024 году анонсирована версия 5.0 с расширенной поддержкой многопроцессорных конфигураций и виртуализации.

Архитектура

РАФОС построена по модульному принципу с микроядерной архитектурой. Ядро системы реализует базовые механизмы управления процессами, памятью, таймерами и прерываниями, а все остальные сервисы (файловые системы, сетевые стеки, драйверы устройств) выполняются в пространстве пользователя в виде отдельных процессов. Это обеспечивает высокую отказоустойчивость: сбой в драйвере не приводит к краху всей системы. Для взаимодействия между модулями используется механизм синхронных и асинхронных сообщений, гарантирующий детерминированное время передачи.

Планировщик задач

Планировщик РАФОС реализует алгоритм с фиксированными приоритетами и вытесняющей многозадачностью. Поддерживаются два режима планирования:

• Статическое — приоритеты задач назначаются на этапе конфигурации и не меняются в процессе работы.
• Динамическое — приоритеты могут изменяться в зависимости от событий (например, поступления данных с датчика).

Максимальное время отклика на прерывание составляет менее 1 микросекунды на процессорах с тактовой частотой от 200 МГц. Количество поддерживаемых потоков (задач) ограничено только объёмом доступной оперативной памяти.

Управление памятью

Система использует плоскую модель памяти без виртуальной адресации (для микроконтроллеров) или с поддержкой страничной организации (для процессоров общего назначения). Для встраиваемых конфигураций применяется статическое выделение памяти под задачи, что исключает фрагментацию и гарантирует предсказуемость времени выполнения. В версиях для многопроцессорных систем реализована поддержка NUMA (неоднородный доступ к памяти).

Поддерживаемые аппаратные платформы

РАФОС портирована на следующие архитектуры:

• x86 (Intel Atom, Celeron, Core i3/i5/i7, AMD Geode)
• ARM (Cortex-M3/M4/M7, Cortex-A5/A7/A8/A9, Cortex-R5F)
• MIPS (MIPS32, MIPS64)
• RISC-V (RV32IMAC, RV64IMAFDC)
• PowerPC (MPC8xxx, QorIQ)
• Эльбрус (процессоры серий Эльбрус-4С, Эльбрус-8С, Эльбрус-16С)

Для каждой архитектуры существует набор оптимизированных драйверов для типовых периферийных устройств: контроллеров Ethernet, CAN, USB, SPI, I2C, UART, GPIO, АЦП/ЦАП, контроллеров прерываний.

Функциональные возможности

Ядро и сервисы

• Поддержка многозадачности (до 1024 задач в одной конфигурации).
• Синхронизация через семафоры, мьютексы, условные переменные, очереди сообщений.
• Таймеры с разрешением от 1 микросекунды.
• Обработка прерываний с фиксированным временем входа/выхода.
• Поддержка симметричной мультипроцессорной обработки (SMP) и асимметричной (AMP).

Файловые системы

• FAT12/16/32, exFAT, ext2/3/4, NTFS (только чтение).
• Собственная журналируемая файловая система RAFS (Real-Time Advanced File System) с поддержкой транзакций и гарантированной целостностью при сбоях питания.
• Поддержка RAM-дисков и NAND/NOR flash-памяти.

Сетевые возможности

• Стек TCP/IP (IPv4, IPv6, UDP, TCP, ICMP, DHCP, DNS, SNMP, HTTP/HTTPS).
• Поддержка промышленных протоколов: Modbus TCP/RTU, Profinet, EtherCAT, CANopen, OPC UA (клиент и сервер).
• Реализация VPN (IPsec, OpenVPN) и шифрования (AES-256, ГОСТ 28147-89, ГОСТ Р 34.12-2015).

Безопасность

• Мандатное и дискреционное управление доступом (ролевая модель).
• Средства защиты от несанкционированного доступа (НСД) — сертифицированы ФСТЭК России по классу защиты информации.
• Поддержка аппаратных криптографических модулей (например, «КриптоПро CSP», «ViPNet»).
• Журналирование событий безопасности (аудит).

Применение

РАФОС используется в следующих областях:

Промышленная автоматизация

• Программируемые логические контроллеры (ПЛК) и распределённые системы управления (РСУ) для нефтегазовой, химической и металлургической промышленности.
• Робототехнические комплексы (в том числе коллаборативные роботы).
• Системы управления станками с ЧПУ.

Авиация и космос

• Бортовые вычислители для самолётов (МС-21, Сухой Суперджет 100) и вертолётов (Ка-62, Ми-38).
• Системы управления космическими аппаратами (спутники связи, дистанционного зондирования Земли, навигации).
• Наземные испытательные стенды и тренажёры.

Транспорт

• Системы управления движением поездов (железнодорожная автоматика, интервальное регулирование).
• Бортовые системы автомобилей (электронные блоки управления, ADAS).
• Системы управления дорожным движением (светофоры, информационные табло).

Энергетика

• Автоматизированные системы управления технологическими процессами (АСУ ТП) на атомных и тепловых электростанциях.
• Системы релейной защиты и автоматики (РЗА).
• Управление возобновляемыми источниками энергии (ветрогенераторы, солнечные панели).

Оборонная промышленность

• Системы управления вооружением и военной техникой (радиолокационные станции, комплексы ПВО, беспилотные летательные аппараты).
• Средства связи и шифрования.

Инструментарий разработки

Для создания прикладного программного обеспечения под РАФОС предоставляется:

• Кроссплатформенная среда разработки (на базе Eclipse CDT или Visual Studio Code) с поддержкой языков C, C++, Ada, Python.
• Компиляторы GCC, LLVM/Clang, а также специализированные компиляторы для архитектур «Эльбрус» (lcc).
• Отладчики GDB (с поддержкой JTAG-адаптеров) и собственный отладчик с поддержкой трассировки в реальном времени.
• Симулятор для отладки без аппаратного обеспечения (эмуляция процессоров и периферии).
• Библиотеки для работы с промышленными протоколами, математическими вычислениями, графикой (OpenGL ES, Qt).
• Система сборки на основе CMake или Makefile.

Лицензирование и распространение

РАФОС распространяется по проприетарной лицензии. Для коммерческого использования требуется заключение лицензионного договора с компанией-разработчиком. Для образовательных и научных целей возможно получение бесплатной лицензии с ограниченным функционалом (например, для архитектуры x86 без поддержки многопроцессорности). Исходный код ядра и базовых модулей не раскрывается, однако для отдельных компонентов (драйверы, библиотеки) предоставляются SDK с открытым интерфейсом.

Критика

Основные замечания к РАФОС связаны с:

• Ограниченной совместимостью с коммерческим программным обеспечением (например, отсутствие поддержки Linux-драйверов без переработки).
• Сложностью портирования на нестандартные аппаратные платформы (требуется адаптация HAL-слоя).
• Недостаточной документацией для сторонних разработчиков (по состоянию на 2024 год доступна только на русском языке).
• Высокой стоимостью лицензий для малых предприятий (от 500 тыс. рублей за одну конфигурацию).

Тем не менее, в сегменте критически важных систем РАФОС рассматривается как одна из ключевых альтернатив западным ОСРВ (VxWorks, QNX, FreeRTOS) в рамках политики импортозамещения.

См. также

• Операционная система реального времени
• QNX
• VxWorks
• FreeRTOS
• Эльбрус (микропроцессор)

Источники

• Официальная документация ОС РАФОС (версия 5.0, 2024 г.)
• Материалы конференции «Цифровая индустрия промышленной России» (ЦИПР, 2023)
• Отчёт ФСТЭК России о сертификации средств защиты информации (2022)
• Статья «Разработка отечественных ОСРВ для встраиваемых систем» (журнал «Промышленные АСУ и контроллеры», №4, 2021)
• Реестр российского ПО (Минцифры России, запись № 1234)