Разработка решений на основе Fpga для приборов для космических исследований

Непревзойденная роль FPGA в инструментах космических исследований

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

Архитектура FPGA: почему это важно для космоса

FPGA состоит из массива настраиваемых логических блоков (CLB), срезов цифровой обработки сигналов (DSP), блоков RAM (BRAM) и программируемых межсоединительных проводов. Инженеры проектируют аппаратные схемы с использованием VHDL или SystemVerilog, а инструменты синтеза отображают логику в битовый поток, который определяет каждое соединение. В отличие от процессора, который последовательно выполняет инструкции, FPGA реализует пользовательские пути данных, которые работают одновременно. Этот параллелизм имеет решающее значение для космических инструментов, которые должны обрабатывать несколько потоков данных датчика одновременно - скажем, гиперспектральный образчик, собирающий данные из сотен спектральных каналов, а также сжимающий выход для нисходящей линии связи.

Радиационно-закаленные и радиационно-толерантные FPGA изготавливаются на специализированных процессах, которые противостоят эффектам полной ионизирующей дозы (TID) и одномерному защелкиванию (SEL). Ведущие семейства включают AMD Xilinx и Kintex UltraScale, RTG4 и RT PolarFire от Microchip и детали из европейского источника. Каждое семейство обменивается логической плотностью, энергопотреблением и внутренней радиационной жесткостью. Например, FPGA на основе флэш-памяти, такие как RT PolarFire, имеют энергонезависимые конфигурационные ячейки, которые не страдают от нейтронных нарушений в памяти конфигурации, тогда как устройства на основе SRAM требуют непрерывной очистки для поддержания целостности. Выбор правильного устройства является первым критическим инженерным решением в любой программе космических приборов. В последние годы исследователи также исследовали гетерогенные архитектуры FPGA, которые объединяют закаленные процессоры (например, ядра ARM Cortex) с программируемой логикой, еще больше расширяя пространство проектирования для миниатюрных полезных

• On-Orbit Reconfiguration: Одна битовая восходящая линия связи может исправить конструктивный недостаток, обновить алгоритм сжатия или даже перепрофилировать инструмент для новой научной цели. NIRCam космического телескопа Джеймса Уэбба использует FPGA, которые были перекалиброваны несколько раз для улучшения качества данных. Более примечательно, что миссия Europa Clipper планирует использовать в полете реконфигурацию для корректировки своей проникающей льдом радиолокационной обработки на основе первоначальных наблюдений пролета.
• Использование параллелизма: Научная полезная нагрузка производит данные со скоростью, которая перегружает последовательные процессоры. FPGA может применять фильтрацию в реальном времени, обнаружение событий и уменьшение данных по тысячам каналов за один тактовый цикл. Инструмент ChemCam на марсоходе Curiosity использует FPGA для анализа спектров лазерного разрушения в течение 20 миллисекунд — задача, которая потребует выделенного кластера DSP. Аналогично, SuperCam на Perseverance использует обработку в реальном времени на основе FPGA для автономной классификации целей породы.
• Радиационная толерантность по дизайну:] FPGA позволяют использовать отказоустойчивость, такую как тройное модульное резервирование (TMR), кодирование машин и исправление ошибок в BRAM. Эта гибкость означает, что система может пережить несколько расстройств, которые могут привести к сбою коммерческого процессора. Для миссий в глубоком космосе, длящихся десятилетия, таких как Voyager Interstellar Mission, контроллеры на основе FPGA накопили годы непрерывной работы без фатальных ошибок.
• Эффективность питания:] Распределяя вычисления по низкочастотной параллельной ткани, FPGA часто достигают более высокой пропускной способности на ватт, чем высокочастотный процессор. Для зонда в глубоком космосе, такого как Psyche, где солнечная энергия ограничена, каждый милливатт драгоценн. FPGA на основе флэш-памяти также имеют чрезвычайно низкую статическую мощность, потому что их ячейки конфигурации нелетучие и не протекают. Миссия NASA Lunar Flashlight, 6U CubeSat, полагается на микрочип RTG4 FPGA для его лазерного альтиметра для достижения чувствительности, оставаясь в пределах 10-ваттного бюджета мощности.
• Детерминистическое время: В отличие от программного обеспечения, работающего на кэш-памяти, логика FPGA выполняется с предсказуемыми задержками распространения. Этот детерминизм жизненно важен для чувствительных ко времени инструментов, таких как лидарные дальномеры или синхронизация спектрометра, где джиттер должен быть менее одной наносекунды.

Со временем ионизирующее излучение накапливает ловушки заряда в слоях оксида кремния, сдвигая пороги транзисторов и снижая производительность. Радиационные закаленные FPGA используют специализированные толщины оксидов, затвердевшие структуры затвора и избыточность в критических аналоговых схемах, чтобы выдерживать уровни TID, превышающие 100 крад (Si). Например, RTG4 оценивается на уровне 100 крад TID, в то время как Xilinx Virtex-5QV тестируется на более чем 300 крад. Конструкторы также должны учитывать повреждение смещения от высокоэнергетических протонов, что ухудшает временные пределы. Испытания на стойкость к излучению (RHA) на установках циклотрона подтверждают возможности устройства перед полетом. Группа Европейского космического агентства ESA Microelectronics поддерживает базу данных результатов испытаний как для коммерческих готовых (COTS), так и для закаленных устройств, что позволяет инженерам выбирать детали с уверенностью.

Эффекты однократного события (SEE)

SEE охватывает однособытийные расстройства (SEU), которые переворачивают ячейки памяти, однособытийные переходные процессы (SET), которые распространяют цифровые сбои, и однособытийные функциональные прерывания (SEFI), которые блокируют интерфейсы. Расстройства памяти конфигурации особенно опасны, потому что они изменяют саму аппаратную логику, потенциально создавая короткие замыкания или неправильные машины состояния. Смягчение применяется слоями:

• Трехкратное модульное избыточное число (TMR): Каждая критическая шлепательная и государственная машина удваивается, и большинство избирателей проходит правильный выход. Современные инструменты от Mentor Graphics (теперь Siemens) и Xilinx (Vivado TMR) могут автоматически применять TMR на уровне нет-листа. Для сверхнадежных конструкций может быть добавлен четвертый избыточный путь, чтобы переносить один постоянный сбой.
• Конфигурационная скруббинг:] Схема скруббера с закаленным излучением непрерывно считывает память конфигурации FPGA, обнаруживает ошибки с использованием CRC или ECC и переписывает правильные кадры. Это предотвращает накопление ошибок. Частоты скруббинга выбираются на основе ожидаемой скорости распадов и критичности миссии — некоторые орбиты могут потребовать скруббинга каждые несколько миллисекунд, в то время как межпланетный круиз может выдерживать интервалы секунд.
• Обнаружение и исправление ошибок (EDAC) на BRAM: Блок ОЗУ защищен кодами Хэмминга или кодами Рида-Соломона, которые исправляют однобитные и обнаруживают двубитные ошибки в реальном времени. Для больших массивов BRAM стандартом является SEC-DED (одноразовое корректное, двухразрядное обнаружение ошибок).
• SEFI Recovery: Сторожный таймер или внешний мониторинг FPGA может обнаружить замороженный интерфейс и цикл питания или перенастроить затронутую область. Некоторые миссии используют небольшой сопутствующий анти-запал FPGA (например, RTAX Microsemi) для перезагрузки основной FPGA, если обнаружен SEFI. Этот подход используется в компьютерной архитектуре марсохода Mars 2020.
• Разнообразие дизайна: Две независимые команды проектируют одну и ту же критическую функцию с использованием другого кода RTL. Если одна версия страдает от ошибки проектирования или пути, вызванного излучением, другая все еще дает правильные результаты. Этот метод распространен в авионике с высокой надежностью и все чаще используется для космических инструментов с увеличенным сроком службы.

Сервер технических отчетов NASA документирует многочисленные кампании по радиационным испытаниям, которые подтвердили эти методы для устройств, используемых в флагманских миссиях. Текущие исследования в области прогнозирования ошибок на основе нейронных сетей и адаптивной реконфигурации могут еще больше снизить риск одномерных эффектов в будущих системах.

Тепловая и энергетическая инженерия для глубокого космоса

Электроника космических аппаратов сталкивается с широкими температурными колебаниями и отсутствием конвективного охлаждения. FPGA на борту лунного посадочного модуля может видеть тепловые градиенты от -150°C на затененной стороне до +120°C на освещенной солнцем стороне. Даже в коробке электроники с контролируемой температурой собственное рассеивание тепла FPGA может создавать горячие точки, если не управлять должным образом.

Тепловой анализ с использованием моделей конечных элементов (FEM) направляет конструкцию радиаторов, тепловых ремней к радиаторам и выбор материала. Для распространения тепла используются субстраты с высокой теплопроводностью, такие как нитрид алюминия или ламинаты медного молибдена. В вакууме все тепло должно быть проведено на холодную пластину; поэтому тепловое сопротивление упаковки FPGA и тепловые связки платы тщательно продуманы. Расширенные упаковочные решения, такие как решетки с перевернутыми шариками (FCBGA), обеспечивают более низкое тепловое сопротивление соединения к корпусу, чем пакеты с проволочными связями, улучшая теплообмен.

Потребление энергии является связанной проблемой: статическое питание повышается экспоненциально с температурой, поэтому горячая FPGA потребляет больше тока утечки. Дизайнеры используют тактовое замеры, чтобы отключить неиспользуемую логику, острова питания, чтобы отключить целые области, и переменные напряжения ядра (например, 0,9 В в режиме малой мощности, 1.0 В в полной производительности). Флэш-память FPGA особенно привлекательна для малых спутников (SmallSats) потому что их энергонезависимые конфигурационные ячейки имеют ничтожную статическую мощность. Программа NASA SmallSat приняла RT PolarFire для нескольких миссий в глубоком космосе CubeSat именно по этой причине. NASA Small Satellite Institute обеспечивает самые современные оценки для руководства этими выборами. Кроме того, новые методы, такие как динамическое напряжение и частотное масштабирование (DVFS), позволяют FPGA торговать производительностью для экономии энергии адаптивно на основе скорости научных данных, что особенно полезно для миссий с различными рабочими циклами приборов.

Жизненный цикл разработки FPGA-дизайна Flight-Ready

Создание FPGA, которая будет летать в глубоком космосе, требует тщательной инженерной подготовки от концепции до окончательной квалификации. Процесс является итеративным и глубоко проверенным, часто следуя таким стандартам, как ECSS-Q-ST-60-02C или EEE-INST-002 НАСА.

Требования и архитектура

Научная команда определяет скорости передачи данных, задержку и стандарты интерфейса (SpaceWire, MIL-STD-1553 или пользовательский LVDS). В ходе исследования решается, будет ли FPGA выступать в качестве основного контроллера или сопроцессора. Оцениваются бюджеты логических ячеек, BRAM и DSP срезов, и выбирается устройство. Ранние функциональные блок-схемы алгоритмов разделения на параллельные аппаратные блоки. Например, инструмент масс-спектрометра может выделить один срез DSP для каждого бина соотношения массы к заряду, что позволяет одновременно измерять все каналы.

RTL дизайн и моделирование

Языки описания аппаратного обеспечения (VHDL или Verilog) захватывают параллельную логику. В отличие от программного обеспечения, разработчик должен учитывать пересечения часовых доменов, метастабильность и временные ограничения. Всесторонние испытательные стенды имитируют впрыск данных датчика и граничные условия. Функциональная проверка с помощью таких инструментов, как Siemens Questa или Cadence Xcelium, запускает миллионы тестовых векторов. Метрики покрытия кода обеспечивают каждую ветвь и переключение. Формальная проверка с помощью проверки свойств может доказать отсутствие определенных классов ошибок, таких как тупики или незаконные переходы состояния.

Прототипирование и аппаратное обеспечение в петле (HIL)

Конструкция синтезируется для платы разработки коммерческого класса (часто того же семейства FPGA, но промышленного температурного класса). Симулирующие датчики и модели динамики транспортных средств подают данные в режиме реального времени. Тестирование HIL улавливает такие проблемы, как отскок земли, проблемы целостности сигнала или нарушения синхронизации, вызванные ряби электропитания — проблемы, которые пропускает чистое моделирование. Например, SuperCam FPGA марсохода Mars 2020 Perseverance прошел тестирование HIL с помощью макета лазера и спектрометра для проверки времени вплоть до одиночных тактовых циклов. Кроме того, тестирование HIL может проверить механизмы впрыска неисправностей: инженеры искусственно вводят SEU в конструкцию, чтобы подтвердить, что обработчики ошибок реагируют правильно.

Тестирование радиационной стойкости (RHA)

Полетные представительные платы подвергаются воздействию лучей тяжелых ионов и протонов на таких объектах, как Циклотронный институт Техасского университета A&M или Брукхейвенская национальная лаборатория. FPGA запускает точную прошивку полета при мониторинге журналов каждого расстройства. Инженеры измеряют поперечные сечения SEU и поведение восстановления. Данные подают вероятностные модели, такие как CREME96 или SPENVIS, которые предсказывают скорость расстройства миссии. Проекты повторяются до тех пор, пока прогнозируемая доступность не удовлетворяет требованию миссии (например, менее одной функциональной ошибки в десятилетие). Для миссий на Юпитер или вблизи Солнца, где уровни излучения экстремальны, могут потребоваться дополнительные испытания с протонами и нейтронами высокой энергии для характеристики повреждения смещения.

Экологическая квалификация

Окончательная сборка приборов проходит испытания на вибрацию, удар, тепловой вакуум и электромагнитную совместимость (ЭМС). Полетный битстрим хранится в радиационно закаленной ПЗУ или вспышке. Во время запуска FPGA может оставаться неконфигурированным до тех пор, пока космический аппарат не достигнет безопасной орбиты; затем битстрим загружается из надежной памяти. Весь процесс проверки обычно занимает от двух до четырех лет для флагманского инструмента. База данных компонентов Европейского космического агентства обеспечивает прослеживаемость для всех частей, используемых в европейских миссиях, включая FPGA и связанные с ними вспомогательные чипы.

Доказанные развертывания по всей Солнечной системе

Марсоходы-исследователи (Spirit и Opportunity) десятилетиями использовали FPGA для управления двигателем и сбора данных. Марсоход Curiosity ChemCam запускает лазер, захватывает спектры и обрабатывает данные на борту - все это организовано FPGA. Марсоход Perseverance делает это дальше: его станция SuperCam, Mastcam-Z и MEDA все полагаются на управление на основе FPGA. NASA на странице миссии Mars 2020 предоставляет официальные детали. На орбите Земли спутник ESA Sentinel-1 использует FPGA для обработки синтетических апертурных радаров, в то время как Copernicus Sentinel-2 использует их для многоспектрального сжатия изображений. Предстоящий Europa Clipper будет летать FPGA, затвердевший против интенсивных радиационных поясов Юпитера - в частности, Microchip RTG4 обрабатывает радиолокационный альтиметр, а космический аппарат Xilinx Virtex-5QV управляет камерой видимого света. За пределами Солнечной системы космический аппарат New

Вызовы дизайна и лучшие практики

Даже с надежными инструментами разработка космических FPGA представляет уникальные проблемы. Закрытие времени является более требовательным, поскольку устройства работают на более медленных часах (от десятков до нескольких сотен МГц), но имеют длительные задержки распространения из-за закаленной радиацией маршрутизации. Планирование пола должно поддерживать связанную логику вместе, чтобы уменьшить задержку межсоединения. Задание ввода-вывода должно учитывать задержки от соединения до соединения и избегать перекрестных разговоров с аналоговыми датчиками. Кроме того, соблюдение стандартов, таких как ECSS-Q-ST-60-02C (для европейских миссий) или MIL-PRF-38534 (для США), требует тщательной документации каждого этапа проектирования, включая анализ наихудшего случая и датирование.

Еще одна лучшая практика - использовать инструменты винта и формальную проверку, чтобы доказать отсутствие определенных классов ошибок (например, отсутствие комбинационных петель, отсутствие недостижимых состояний). Кампании по введению в симуляцию или прототип случайных нарушений помогают подтвердить, что система восстанавливается правильно при всех ожидаемых условиях. Многие программы с высокой надежностью также требуют разнообразия дизайна: если две независимые команды разрабатывают одну и ту же функцию с использованием разных стилей VHDL, вероятность систематической ошибки уменьшается. Кроме того, инженеры должны использовать инструменты проверки пересечения часовой области (CDC) для предотвращения проблем метастабильности, которые могут повредить данные. Наконец, надежная система управления версиями и конфигурацией должна отслеживать каждое изменение RTL, ограничений и файлов битового потока в течение многолетнего цикла проектирования.

Будущие траектории: ИИ, частичная реконфигурация и открытые архитектуры

В следующем десятилетии будут наблюдаться закаленные излучением FPGA со встроенными возможностями машинного обучения. Интерфейсы с высокой пропускной способностью памяти (HBM) позволят передавать потоки больших массивов датчиков в ускорители нейронной сети, реализованные в ткани FPGA. Космический телескоп может автономно идентифицировать транзиты экзопланет или кривые света сверхновых, а затем корректировать свой план наблюдения в режиме реального времени - не дожидаясь наземных команд. Частичное перенастройка позволит менять режимы приборов на средней орбите: FPGA магнитометра может загружать новую цепочку фильтрации при входе в планетарную магнитосферу. Эта концепция уже тестируется на Международной космической станции с полезной нагрузкой Space Test Program-Houston, которая использует FPGA для переключения между различными алгоритмами обработки гамма-всплесков.

Мягкие процессоры с открытым исходным кодом, такие как RISC-V, в сочетании с FPGA космического класса, позволяют миссиям запускать существующие программные стеки вместе с пользовательскими аппаратными ускорителями. OBC-NG на основе VIRTEX-5QV Европейского космического агентства уже использует это. Такие стандарты, как SpaceVPX, предоставляют модульные задние плоскости, которые поддерживают горячее замена плат FPGA. Сочетание ИИ, реконфигурируемость и модульность позволит будущим миссиям реагировать на неожиданные научные возможности - прыжок за пределы статических инструментов сегодня. Кроме того, рост коммерческих готовых (COTS) FPGA в недорогих созвездиях (например, спутники Planet's Dove) стимулирует разработку методов смягчения последствий, которые могут быть применены к менее дорогим частям, делая доступ в космос более демократичным.

По мере того, как человечество будет продвигаться к Луне, Марсу и за его пределами, инженеры FPGA останутся в авангарде. Способность адаптировать аппаратное обеспечение в полете, выживать при радиации и обрабатывать данные с экстремальным параллелизмом является не только преимуществом - это важная возможность для изучения неизвестного. Будущие миссии к ледяным лунам, поясам астероидов и даже межзвездным зондам будут зависеть от продолжающихся инноваций в технологии FPGA, закаливания излучения и автоматизации проектирования. Инженерное сообщество должно также решать растущую сложность систем на чипе FPGA, которые интегрируют контроллеры памяти, высокоскоростные приемопередатчики и встроенные процессоры, чтобы обеспечить надежность и надежность в ногу с возможностями.