Проект AxonOS предлагает открытую платформу для создания детерминированной прослойки между нейроинтерфейсами и искусственным интеллектом.
Разработчики представили операционную систему реального времени, которая призвана обеспечить строгие гарантии выполнения кода в системах с нейрокомпьютерными интерфейсами (BCI). В основе лежит ядро, написанное на Rust в режиме «no_std». Такой подход позволяет добиться предсказуемости реакций, а встроенный ABI системных вызовов, capability-модель доступа и IPC без блокировок делают архитектуру прозрачной и безопасной. Код распространяется под двойной лицензией MIT или Apache 2.0.
Экосистема AxonOS охватывает не только само ядро и runtime, но и модули для интеграции с BCI-устройствами, формальные спецификации архитектуры, механизм разграничения прав на основе явного согласия пользователя (permissions/consent) и утилиты для анализа временных характеристик. Сейчас система ориентирована на микроконтроллеры ARM Cortex-M и находится на этапе тестирования на реальном «железе», параллельно проверяется её способность выдерживать заявленные временные рамки.
Ключевая идея архитекторов — рассматривать нейроинтерфейс не как простое периферийное устройство, а как многоуровневую структуру: от аппаратной части через HAL и детерминированный runtime к слою приложений и AI. При этом требования к изоляции, времени отклика и доступу к нейронным данным зашиты в саму системную архитектуру, а не остаются на совести прикладного разработчика.
Отдельное направление — исследование Worst-Case Response Time (WCRT) для задач с фиксированными приоритетами. В рамках этой работы создан независимый инструмент под названием «dy-wcet». Это Rust-крейт, работающий в режиме no_std, в котором полностью исключены операции с плавающей запятой. Такой инструмент позволяет разработчикам верифицировать временные гарантии встраиваемых систем на ранних этапах создания.
Проект находится в активной стадии разработки, и его главная цель — дать разработчикам AI и BCI-приложений надежный, формально проверяемый фундамент, где предсказуемость и безопасность реакций закладываются на уровне системы, а не решаются каждый раз заново в коде приложений.
Загрузка...
