Новый код NASA — это... браузерные технологии?

Проверка flight software validation (летного программного обеспечения) космических аппаратов представляет собой астрономическое препятствие, часто становящееся миллиардным «узким местом» для инноваций. Внедрение даже одной новой функции, какой бы незначительной она ни была, требует повторной верификации всей системы космического аппарата. Этот исчерпывающий процесс требует длительного доступа к испытательным стендам и может занимать годы, создавая огромные задержки и увеличивая расходы.

Исторически инструкции для конкретных задач миссии, таких как управление марсоходом или точное позиционирование его роботизированной руки, определялись в пользовательских command sequences (последовательностях команд). Эти последовательности существовали вне основного летного программного обеспечения, и их реализация сильно варьировалась от миссии к миссии. Таким образом, каждое новое космическое начинание порождало еще одну специализированную, фрагментированную и дорогую кодовую базу, препятствуя стандартизации и возможности повторного использования.

Такой индивидуальный подход привел к критической дилемме: развитие автономности космических аппаратов означало интеграцию сложного нового программного обеспечения, но существующая парадигма проверки делала это непомерно медленным и рискованным. Лаборатории реактивного движения (Jet Propulsion Laboratory) NASA срочно требовался метод безопасного и эффективного развертывания инновационного autonomy software (программного обеспечения для автономности), не подвергая риску многомиллиардные миссии и не попадая в ловушку бесконечных многолетних циклов проверки, которые тормозили прогресс.

WebAssembly, или Wasm, приходит не как браузерная уловка, а как мощный, аппаратно-независимый формат байт-кода — универсальный транслятор компьютерных инструкций. Он предлагает стандартизированную среду выполнения, позволяя различным программным компонентам работать согласованно на совершенно разных архитектурах процессоров без необходимости полной перекомпиляции.

Эта встроенная переносимость поставляется в комплекте с критически важной функцией: надежной «песочницей» (sandboxing). Wasm создает безопасный изолированный контейнер для кода с «низким уровнем доверия», фундаментально предотвращая его вмешательство в основные летные системы или доступ к неавторизованной памяти и вычислительным ресурсам.

Для NASA эта изоляция меняет правила игры. Основное летное программное обеспечение строго контролирует выделенную память и время процессора для модуля в «песочнице», тщательно отслеживая его выполнение от начала до конца. Этот сдвиг парадигмы означает, что добавление новых возможностей, таких как обновленный алгоритм навигации, больше не запускает многолетние процессы полной перепроверки всей системы.

Перенося эту модель безопасного выполнения в космос, Jet Propulsion Laboratory NASA разработала SpaceWasm. Этот специализированный интерпретатор транслирует бинарные файлы Wasm непосредственно на космических аппаратах, адаптируя компактный байт-код для сред с ограниченными ресурсами. SpaceWasm не выполняет байт-код напрямую; вместо этого он декодирует его в более быстрый промежуточный формат, используя фиксированный, измеримый объем памяти, обеспечивая детерминированное использование ресурсов, что критически важно для систем, от которых зависит успех миссии.

Дизайн SpaceWasm отдает приоритет предсказуемости, а не гибкости, что является не подлежащим обсуждению требованием для работы космических аппаратов. Он избегает прямого выполнения компактного байт-кода WebAssembly. Вместо этого движок сначала декодирует байт-код в более быстрое внутреннее intermediate representation (IR) (промежуточное представление). Этот критический этап предварительной обработки потребляет фиксированный, измеримый объем памяти, обеспечивая эффективность выполнения без непредсказуемых скачков памяти, характерных для динамических систем. Такой детерминированный подход предотвращает конкуренцию за ресурсы на критически важном оборудовании миссии.

В отличие от типичного программного обеспечения, SpaceWasm использует собственный динамический распределитель памяти с детерминированной системой, исключающей критические ошибки (panic-free). Память управляется с помощью страниц памяти фиксированного размера, которые невозможно динамически изменять в процессе работы. Подрегионы внутри этих страниц также имеют заранее определенные неизменяемые размеры, что исключает риск непредвиденных сбоев при выделении памяти, которые могли бы вывести из строя космический аппарат. Эта модель памяти «без сюрпризов» является основой его надежности.

Это не универсальная среда выполнения WebAssembly; это тщательно разработанный, узкоспециализированный движок, созданный в Лаборатории реактивного движения (Jet Propulsion Laboratory) NASA. Написанный на Rust для обеспечения максимальной безопасности и параллелизма, SpaceWasm накладывает строгие эксплуатационные ограничения. Он поддерживает максимум 256 модулей, имеет настраиваемую глубину стека и использует 24-битную адресацию страниц. Для получения дополнительных технических подробностей о его надежной конструкции и комплексном тестировании изучите исходный код проекта: nasa/spacewasm: A flight-compliant WebAssembly interpreter. Такая строгая инженерия гарантирует надежность там, где отказ недопустим.

Универсальные возможности среды выполнения обещают беспрецедентную переносимость кода для будущих миссий. Программное обеспечение одного прибора, после прохождения валидации, может быть развернуто на различных космических аппаратах, направляющихся к Марсу, Юпитеру или даже за пределы Солнечной системы. Этот стандартизированный подход устраняет историческое бремя необходимости переписывания специализированного ПО для каждой новой миссии, радикально сокращая циклы разработки и затраты на валидацию.

Лаборатория реактивного движения (Jet Propulsion Laboratory) NASA сделала SpaceWasm проектом с открытым исходным кодом, доступным на GitHub. Эта прозрачность способствует глобальному сотрудничеству, приглашая к участию другие космические агентства, такие как немецкое DLR, и более широкое технологическое сообщество. Такая открытая модель ускоряет создание надежной, общей программной экосистемы для космоса, способствуя более масштабным инновациям.

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

Что такое SpaceWasm?

SpaceWasm — это специализированный интерпретатор WebAssembly (Wasm), разработанный Лабораторией реактивного движения NASA. Он предназначен для безопасного запуска изолированного кода (песочницы) на космических аппаратах с ограниченными ресурсами, а не в веб-браузерах.

Почему NASA использует WebAssembly в космосе?

NASA использует WebAssembly для стандартизации командного программного обеспечения в различных миссиях и для безопасного запуска нового кода с более низким уровнем доверия в изолированной среде. Этот подход значительно сокращает время и многомиллионные затраты на валидацию полетного ПО.

Чем SpaceWasm отличается от стандартных сред выполнения WebAssembly?

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

Является ли SpaceWasm проектом с открытым исходным кодом?

Да, JPL NASA открыла исходный код SpaceWasm. Проект написан на языке программирования Rust и доступен на GitHub для участия сообщества и использования.