FMI 3 Simulation Runtime in Rust | Dweve FMI

Dweve FMI адресира отклонението на платформата в симулацията. Профилите с фиксирана запетая и проверките в бекенда правят разликите видими, преди да стигнат до случай на безопасност.

Библиотека за аритметика с фиксирана запетая, осигуряваща детерминизъм на FMI.

Детерминиран двигател за извличане на двоични данни.

Криптографска инфраструктура за доказателства за AI разсъждения.

Изпълнете заглушения осцилатор на две поддържани цели и сравнете резултатите. Референтните проверки разкриват всяко отклонение, преди да влезе в случай на безопасност.

Два въпроса решават доставката: къде работи и кой контролира доказателствата. Dweve FMI работи на хардуер, който вече притежавате, на място или в европейски регион, докато моделът и записът за валидация остават в граница, която избирате.

Твърдението за безопасност изисква повече от обещание. Прегледайте договора за резултати, матрицата на поддържаните цели и метода за валидиране, базиран на MPFR; след това стартирайте същия пример на две машини и сравнете изхода, преди да решите къде принадлежи FMI.

Без загуба на време за съпоставяне на резултати

Причината да ви е грижа е оперативна, не техническа. Като сравнявате една и съща симулация по един обявен договор на всяка машина, виждате къде дадена цел се различава, преди да затворите случая за безопасност. Екипите вече не трябва мълчаливо да съпоставят разлики. Работата се изпълнява на хардуера, който вече притежавате, а преминаването към ново оборудване получава изричен път за валидиране.

Един доставчик, една пътна карта, една цена, която не определяте вие.

Нов чип или регион рестартира валидирането в целия портфейл.

Екипите спорят чия машина е произвела правилния резултат.

Всяка платформа изисква собствен случай за безопасност, защото числата могат да се различават.

Аргументът за преминаване се вижда най-лесно, когато е представен като сравнение. От едната страна, симулация, която варира според платформата: случай за безопасност, повторно валидиран за всяка машина, екипи, съпоставящи числа, които вече би трябвало да съвпадат, и повторно валидиране при всяка промяна на хардуера. От другата, резултати, сравнени по един обявен договор, така че доказателствата показват къде дадено внедряване се различава. Разликата е оперативна, не техническа.

Премахнете средата за изпълнение; моделът и доказателствата остават

Един многократно използваем протокол за безопасност

Работна станция · клъстер · FPGA · периферия

Симулационният модел трябва да направи видима всяка зависима от хардуера разлика. Dweve FMI определя един договор за резултати между поддържаните цели, проверява всеки бекенд спрямо MPFR оракул и позволява един протокол за валидиране да пътува с модела.

Не, инженерите го управляват във фонов режим

Логично е да се чудите дали нещо такова е за вас да се занимавате. Не е. Инженерите го управляват във фонов режим, където сравнява симулации за безопасност между машините и прави разликите видими.

Многократно използваем случай за безопасност

Проверките с MPFR улавят отклонението преди употреба

Не е нужно да разбирате как работи, за да се наслаждавате на това, което прави. Мислете за него като за чиста вода или добри пътища. Никога не виждате работата, но денят ви е по-добър, защото някой я е свършил добре. Ето четири прости причини, поради които има значение.

Ето същината, показана просто. Един и същ тест за безопасност се изпълнява на два различни компютъра. На обикновени компютри двата отговора могат да излязат съвсем малко по-различни. С това сравнението прави всяка разлика видима. Превключете ключа и гледайте какво се променя. Това сравнение е целият смисъл.

Роботи, които работят безопасно до хората.

Стабилна мощност, тествана преди да бъде инсталирана.

Проверени внимателно, преди да стигнат до пациент.

Вие никога няма да използвате това, но използвате нещата, които то помага да защитава всеки ден. Кола, медицинска помпа, електричеството в дома ви, машините във фабрика. Всяко от тях се тества на компютър, преди да бъде построено, и това е частта, която прави разликите между целевите платформи видими. Докоснете снимка, за да видите защо това има значение за всяко от тях.

Внимателен помощник за тестове за безопасност

Вие никога няма да използвате това сами. Но то е малко, внимателно нещо, което помага да поддържа колите, самолетите и медицинските машини безопасни. Ето цялата идея, една проста стъпка наведнъж, с всекидневен пример за всяка.

Инженер по симулации създава и изпълнява FMU на своята работна станция. Същият FMU може да бъде сравняван на клъстер за параметрични сканирания. Може също да се използва на FPGA защита за сценарии с хардуер в цикъла, където бюджетът за латентност е труден. Договорът за повторение важи и за трите.

Написан на Rust върху аритметичната основа Numerus, FMI използва пътища с фиксирана запетая с референтни проверки MPFR и поддържа Model Exchange, Co-Simulation и Scheduled Execution в пет бекенда.

Традиционният FMI може да варира според платформата, защото разчита на плаваща запетая. Dweve FMI използва път с фиксирана запетая с референтни проверки MPFR. Симулационният модел и случай за безопасност остават изрични, докато един и същ FMU архив може да се сравнява между работна станция, клъстер и FPGA. Изборът за разполагане е оперативен, не числен.

Химична маса и енергия, PLC ко-симулация.

Кинематика, траектория, сензорно сливане.

Захранващи преобразуватели, интеграция на възобновяеми източници.

Помпена динамика и поведение на устройства.

Валидиране на закони за управление, пилот в контура.

Двигател, трансмисия, спирачки, окачване.

Dweve FMI обслужва области, където резултатите от симулацията информират дизайна и решенията. Автомобилната индустрия, аерокосмическата индустрия, медицинските устройства, енергетиката, роботиката, индустриалното управление и цифровите близнаци се нуждаят от доказателства, че резултатите от симулацията са възпроизводими, проследими и контролируеми за всяка целева платформа.

Правилно закръглена аритметика с фиксирана запетая

Dweve FMI се интегрира със съществуващи инструментални вериги чрез импорт и експорт на FMU, оркестриране на множество модели и свързване на цифрови близнаци. Импортирайте FMU от всеки инструмент, съвместим с FMI 3.0, с автоматично преобразуване от плаваща към фиксирана запетая. Експортирайте FMU за инструменти надолу по веригата, които изискват плаваща запетая.

Превишаването на допустимото отклонение спира изпълнението с типизирана грешка и именуваното уравнение.

Записан запис се възпроизвежда от своя журнал на събитията чрез моста Twin.

Един и същ FMU на CPU, GPU, FPGA и edge. Изходните вектори се сравняват.

Операциите с фиксирана запетая се проверяват спрямо MPFR референция.

Числените проверки използват Numerus аритметичния слой и MPFR референция. Сравнението между бекенди изпълнява същия FMU на всяка цел и записва всяка разлика в изхода. Детерминираното възпроизвеждане реконструира записан запис от неговия журнал на събитията, а режимите на отказ са ясни, а не мълчаливи.

Същото детерминирано ядро работи на работна станция CPU, GPU, FPGA хардуер, вградено edge устройство и разпределени възли. Резултатите могат да се сравняват по обявения договор, така че изборът на разполагане е операционен, а не числен.

MPFR еталонна истина, използвана само за проверка.

6 десетични цифри, банкови и билинг сценарии.

32 дробни бита, профил по подразбиране, пълна точност.

16 дробни бита, тесни диапазони, щадящ батерията.

Q31.32 покрива повечето нужди за симулация. Q16.16 пасва на вградени и edge цели. Dec64_6 покрива специфично десетично счетоводство. И трите се основават на Numerus аритметичната база, където всяка операция е правилно закръглена и проверена срещу MPFR математическата референтна библиотека.

Нов чип или облак означава повторно валидиране на целия портфейл.

Тригонометрична функция в една библиотека може леко да се различава от тази в друга.

Оптимизацията на компилатора променя реда на числата с плаваща запетая; резултатите се изместват.

Работна станция, CI, сертификация: сравнете целевите платформи и запишете разликите в досието за безопасност.

Functional Mock-up Interface е индустриалният стандарт за обмен на модели и съвместна симулация. Използва се в области, критични за безопасността, където резултатите от симулацията подпомагат проектните решения, досиетата за безопасност и регулаторните подавания. Традиционните реализации на FMI често разчитат на аритметика с плаваща запетая по IEEE 754, затова разликите между платформите трябва да се проверяват.

Една и съща симулация не трябва да се отклонява

Dweve FMI реализира стандарта FMI за Model Exchange, Co-Simulation и Scheduled Execution, изграден в Rust с детерминирана аритметика с фиксирана запетая. Изчисленията с реални числа следват конфигурирания път с фиксирана запетая. Резултатите могат да се сравняват между CPU, GPU, FPGA, edge и разпределени цели, като MPFR се използва като математическа референция, където е приложимо. Три профила с фиксирана запетая покриват инженерни цели от вградени устройства до параметрични претърсвания на GPU, без да променят симулационния модел.

Един и същ FMU архив може да се сравнява на всеки бекенд. Една симулация, един запис за валидация.