Whitepaper · Цифровые двойники · Критичные к безопасности системы, тестируемые без железа
Выведите железо из контура — и проверьте за ночь то, на что уходил сезон.
Устройство, которое нельзя уронить, радио, которое нельзя заглушить, полёт, который не по карману повторить: поставьте в контур модель железа вместо него. Мы строим двойники, которые загружают вашу немодифицированную прошивку, воспроизводят ваше радио бит в бит и прогоняют ваш контроллер тысячу раз до завтрака — с гейтом в CI на каждый push.
Пришлите нам тест, который вы не можете запустить Как устроена работа
Первые два работают в нашем CI на каждый push; третье измерено на нашей собственной настольной ИИ-системе.
Ваш план тестирования ограничен числом устройств, которые вы можете позволить себе сломать
Пока железо в контуре, каждый тест ограничен тем, сколько у вас устройств, сколько людей могут их держать и сколько аварий выдержит бюджет. Редкий отказ — тот, о котором спросит сертификация, — случается раз в квартал и никогда на стенде.
Почти правильная модель — это обуза: она проходит тесты, которые железо проваливает. Двойник заслуживает доверия, только когда его сверили с кремнием — кадр с кадром, пакет с пакетом, прогон с прогоном — и когда эта сверка запускается на каждый коммит, а не один раз в начале.
Тестируемое устройство выходит из контура. Доказательство остаётся.
Что мы приносим
Четыре вещи, каждая измерена на железе.
Немодифицированная прошивка
Ваш серийный образ загружается в модели — те же байты, что вы отгружаете. Ни тестовой сборки, ни заглушенных драйверов, ни поводов для споров потом.
Детерминированные прогоны
Побайтово одинаковые результаты в разных процессах, с гейтом в CI: отказ, найденный в три ночи, воспроизводится в девять. Одна микросекунда разницы во входе видна как другой прогон.
Сверено с кремнием
Видеодвижок — попиксельно, радио — бит в бит, контроллер — трасса в трассу. Согласие двойника с железом само есть тест, который запускается на каждый push.
Масштаб, находящий редкий отказ
Тысячи полётов, каналов или загрузок за ночь на одной машине, с инъекцией отказов, замираниями, столкновениями и шумом сенсоров, которые стенд не может запланировать.
Двойники, которые у нас работают сегодня
Двойники кремния
45 машин камерных SoC загружают немодифицированную прошивку на настольной машине, с эмуляцией видеодвижка, сверенной с чипом попиксельно. Каждый push в драйвер прогоняется через двойник до того, как коснётся платы, — ошибки запуска находятся в CI, а не на стенде.
Двойники радио
Wi-Fi вплоть до нынешнего поколения передаётся и принимается на программно определяемом радио — 35 конфигураций бит в бит — и используется для проверки нашего собственного драйвера в эфире. На физической модели канала обученный контроллер обошёл контроллер на измеренных данных при замираниях по обоим показателям — меньше энергии и больше доставки, — а модель держится тик в тик с тем, что отгружается.
Двойники управления
Симулятор полётного контроллера выполняет настоящую прошивку пилота с побайтовым детерминизмом, виртуальными регуляторами моторов, физикой столкновений и средой обучения. Тот же метод доходит до роботов: на нашей настольной ИИ-системе гуманоид учится ходить по пересечённой местности со скоростью 63 000 шагов симуляции в секунду, а видео каждого прогона рендерится без экрана.
Что мы моделируем
Камерные и видео-SoCПолётные контроллерыWi-Fi и кастомные радиоканалыРоботы в GPU-физике
Двойники поставляются как задачи CI вместе с набором проверок, который их доказывает, — так что согласие модели с железом становится числом, которое проверяет ваш конвейер, а не утверждением в отчёте.
Как устроена работа
Оценка двойника
Фиксированная цена, пятнадцать рабочих дней. Вы присылаете образ прошивки или контроллер, железо — устройство или его документацию — и тест, который сегодня не можете запустить. Вы получаете свою прошивку, загружающуюся в первой модели, или контроллер, работающий в симуляторе, план сверки с кремнием и фиксированную цену полного двойника.
Проект
Строим двойник до точности, нужной тесту, сверяем с вашим железом и ставим в ваш CI с проверкой согласия как гейтом.
Сопровождение
Двойник, набор проверок и задачи CI — ваши; ваша команда расширяет его вместе с продуктом, а гейт продолжает говорить правду.
Пришлите прошивку и тест, который вы не можете запустить. Через пятнадцать дней он запустится.
Одно письмо из четырёх строк: система, тест, который сегодня нельзя запустить, чем можете поделиться, где должны идти тесты. Отвечает инженер с планом, а не скрипт продаж.
Написать на business@openipc.org Спросить в чате
Коммерческая поддержка, OEM-лицензирование и остальные услуги — на странице для бизнеса.