Skip to content

Whitepaper · Цифровые двойники · Критичные к безопасности системы, тестируемые без железа

Выведите железо из контура — и проверьте за ночь то, на что уходил сезон.

Устройство, которое нельзя уронить, радио, которое нельзя заглушить, полёт, который не по карману повторить: поставьте в контур модель железа вместо него. Мы строим двойники, которые загружают вашу немодифицированную прошивку, воспроизводят ваше радио бит в бит и прогоняют ваш контроллер тысячу раз до завтрака — с гейтом в CI на каждый push.

Пришлите нам тест, который вы не можете запустить Как устроена работа

45 машин камерных SoC загружают немодифицированную серийную прошивку в эмуляции, видеодвижок сверен с кремнием попиксельно
35 конфигураций Wi-Fi передано и принято бит в бит на программно определяемом радио, вплоть до Wi-Fi 6
63 000 шагов симуляции в секунду при обучении гуманоида ходить по пересечённой местности на одной настольной системе

Первые два работают в нашем CI на каждый push; третье измерено на нашей собственной настольной ИИ-системе.

Ваш план тестирования ограничен числом устройств, которые вы можете позволить себе сломать

Пока железо в контуре, каждый тест ограничен тем, сколько у вас устройств, сколько людей могут их держать и сколько аварий выдержит бюджет. Редкий отказ — тот, о котором спросит сертификация, — случается раз в квартал и никогда на стенде.

Почти правильная модель — это обуза: она проходит тесты, которые железо проваливает. Двойник заслуживает доверия, только когда его сверили с кремнием — кадр с кадром, пакет с пакетом, прогон с прогоном — и когда эта сверка запускается на каждый коммит, а не один раз в начале.

Тестируемое устройство выходит из контура. Доказательство остаётся.

Что мы приносим

Четыре вещи, каждая измерена на железе.

Немодифицированная прошивка

Ваш серийный образ загружается в модели — те же байты, что вы отгружаете. Ни тестовой сборки, ни заглушенных драйверов, ни поводов для споров потом.

Детерминированные прогоны

Побайтово одинаковые результаты в разных процессах, с гейтом в CI: отказ, найденный в три ночи, воспроизводится в девять. Одна микросекунда разницы во входе видна как другой прогон.

Сверено с кремнием

Видеодвижок — попиксельно, радио — бит в бит, контроллер — трасса в трассу. Согласие двойника с железом само есть тест, который запускается на каждый push.

Масштаб, находящий редкий отказ

Тысячи полётов, каналов или загрузок за ночь на одной машине, с инъекцией отказов, замираниями, столкновениями и шумом сенсоров, которые стенд не может запланировать.

Двойники, которые у нас работают сегодня

Двойники кремния

45 машин камерных SoC загружают немодифицированную прошивку на настольной машине, с эмуляцией видеодвижка, сверенной с чипом попиксельно. Каждый push в драйвер прогоняется через двойник до того, как коснётся платы, — ошибки запуска находятся в CI, а не на стенде.

Двойники радио

Wi-Fi вплоть до нынешнего поколения передаётся и принимается на программно определяемом радио — 35 конфигураций бит в бит — и используется для проверки нашего собственного драйвера в эфире. На физической модели канала обученный контроллер обошёл контроллер на измеренных данных при замираниях по обоим показателям — меньше энергии и больше доставки, — а модель держится тик в тик с тем, что отгружается.

Двойники управления

Симулятор полётного контроллера выполняет настоящую прошивку пилота с побайтовым детерминизмом, виртуальными регуляторами моторов, физикой столкновений и средой обучения. Тот же метод доходит до роботов: на нашей настольной ИИ-системе гуманоид учится ходить по пересечённой местности со скоростью 63 000 шагов симуляции в секунду, а видео каждого прогона рендерится без экрана.

Что мы моделируем

Камерные и видео-SoCПолётные контроллерыWi-Fi и кастомные радиоканалыРоботы в GPU-физике

Двойники поставляются как задачи CI вместе с набором проверок, который их доказывает, — так что согласие модели с железом становится числом, которое проверяет ваш конвейер, а не утверждением в отчёте.

Как устроена работа

01

Оценка двойника

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

02

Проект

Строим двойник до точности, нужной тесту, сверяем с вашим железом и ставим в ваш CI с проверкой согласия как гейтом.

03

Сопровождение

Двойник, набор проверок и задачи CI — ваши; ваша команда расширяет его вместе с продуктом, а гейт продолжает говорить правду.

Пришлите прошивку и тест, который вы не можете запустить. Через пятнадцать дней он запустится.

Одно письмо из четырёх строк: система, тест, который сегодня нельзя запустить, чем можете поделиться, где должны идти тесты. Отвечает инженер с планом, а не скрипт продаж.

Написать на business@openipc.org Спросить в чате

Коммерческая поддержка, OEM-лицензирование и остальные услуги — на странице для бизнеса.