FMI 3 Simulation Runtime in Rust | Dweve FMI

Dweve FMI řeší odchylky platformy v simulaci. Profily s pevnou řádovou čárkou a kontroly na straně backendu zpřístupní rozdíly dříve, než se dostanou do bezpečnostního případu.

Knihovna aritmetiky s pevnou řádovou čárkou zajišťující determinismus FMI.

Deterministický vyhledávací engine binárních souborů.

Infrastruktura kryptografických důkazů pro uvažování AI.

Spusťte tlumený oscilátor na dvou podporovaných cílech a porovnejte výstupy. Referenční kontroly odhalí jakoukoli odchylku dříve, než vstoupí do bezpečnostního případu.

O pořízení rozhodují dvě otázky: kde to běží a kdo kontroluje důkazy. Dweve FMI běží na hardwaru, který už vlastníte, on premise nebo v evropském regionu, zatímco model a záznam o validaci zůstávají uvnitř hranice, kterou si zvolíte.

Bezpečnostní tvrzení potřebuje víc než slib. Projděte si smlouvu o výsledcích, matici podporovaných cílů a metodu validace založenou na MPFR; pak spusťte stejný příklad na dvou strojích a porovnejte výstup, než se rozhodnete, kam FMI patří.

Žádný ztracený čas při porovnávání výsledků

Důvod, proč na tom záleží, je provozní, ne technický. Porovnáním stejné simulace na každém stroji podle jednoho deklarovaného kontraktu uvidíte, kde se cíl liší, než uzavřete bezpečnostní případ. Týmy už nemusí tiše řešit rozdíly. Práce běží na hardwaru, který už vlastníte, a přechod na nové vybavení má jasnou cestu validace.

Jeden dodavatel, jedna roadmapa, jedna cena, kterou neurčujete.

Nový čip nebo region restartuje validaci napříč portfoliem.

Týmy se přou o to, který stroj vytvořil správný výsledek.

Každá platforma potřebuje vlastní bezpečnostní případ, protože čísla se mohou lišit.

Argument pro přechod je nejlépe vidět jako srovnání. Na jedné straně simulace, která se liší podle platformy: bezpečnostní případ re-validovaný pro každý stroj, týmy porovnávající čísla, která by už měla souhlasit, a re-validace při každé změně hardwaru. Na druhé straně výsledky porovnané podle jednoho deklarovaného kontraktu, takže důkazy ukazují, kde se nasazení liší. Rozdíl je provozní, ne technický.

Odeberte runtime; model a důkazy zůstávají

Jeden znovupoužitelný bezpečnostní záznam

Simulační model by měl zviditelnit jakýkoli rozdíl závislý na hardwaru. Dweve FMI definuje jeden kontrakt výsledků napříč podporovanými cíli, kontroluje každý backend proti MPFR oracle a umožňuje, aby jeden validační záznam cestoval s modelem.

Je fér se ptát, jestli se něčím takovým máte zabývat. Nemusíte. Inženýři to spouštějí na pozadí, kde porovnávají bezpečnostní simulace napříč stroji a zviditelňují rozdíly.

Kontroly založené na MPFR zachytí odchylky před použitím

Nemusíte rozumět tomu, jak to funguje, abyste si užili, co to dělá. Představte si to jako čistou vodu nebo dobré silnice. Tu práci nikdy nevidíte, ale váš den je lepší, protože ji někdo odvedl dobře. Zde jsou čtyři prosté důvody, proč na tom záleží.

Tady je jádro věci, ukázané jednoduše. Stejný bezpečnostní test běží na dvou různých počítačích. Na běžných počítačích mohou být obě odpovědi o kousek jiné. S tímto porovnání zviditelní jakýkoli rozdíl. Přepněte přepínač a sledujte, co se změní. To porovnání je celý smysl.

Roboti, kteří bezpečně pracují vedle lidí.

Stabilní výkon, testovaný ještě před instalací.

Pečlivě zkontrolováno, než se dostanou k pacientovi.

Testováno tisíckrát nejprve na počítači.

Vy sami to nikdy nepoužijete, ale používáte věci, které to pomáhá chránit každý den. Auto, zdravotnická pumpa, elektřina ve vaší domácnosti, stroje v továrně. Každý z nich je testován na počítači, než je vyroben, a toto je část, která zviditelňuje rozdíly mezi cílovými platformami. Klepněte na obrázek a zjistěte, proč na tom u každého z nich záleží.

Vy sami to nikdy nepoužijete. Ale je to malá, pečlivá věc, která pomáhá udržovat auta, letadla a zdravotnické přístroje v bezpečí. Zde je celá myšlenka, krok za krokem, s každodenním příkladem pro každý krok.

Simulační inženýr vytvoří a spustí FMU na své pracovní stanici. Stejný FMU lze porovnat na clusteru pro sweepy parametrů. Lze jej také použít na FPGA shelteru pro scénáře hardware ve smyčce, kde je rozpočet latence náročný. Kontrakt přehrání platí ve všech třech případech.

FMI, napsaný v Rustu na aritmetickém základu Numerus, používá cesty s pevnou řádovou čárkou s referenčními kontrolami MPFR a podporuje Model Exchange, Co-Simulation a Scheduled Execution napříč pěti backendy.

Tradiční FMI se může lišit platformu od platformy, protože stojí na pohyblivé řádové čárce. Dweve FMI používá aritmetickou cestu s pevnou řádovou čárkou s referenčními kontrolami MPFR. Simulační model a bezpečnostní případ zůstávají explicitní, zatímco stejný archiv FMU lze porovnávat napříč pracovní stanicí, clusterem a FPGA. Volba nasazení je operační, ne numerická.

Chemická hmota a energie, co-simulace PLC.

Měniče výkonu, integrace obnovitelných zdrojů.

Validace řídicích zákonů, pilot ve smyčce.

Dweve FMI slouží doménám, kde výsledky simulace informují návrh a rozhodování. Automobilový průmysl, letectví, zdravotnické prostředky, energetika, robotika, průmyslové řízení a digitální dvojčata potřebují důkazy, že výstupy simulace jsou reprodukovatelné, sledovatelné a kontrolovatelné pro každou cílovou platformu.

Správně zaokrouhlená aritmetika s pevnou řádovou čárkou

Dweve FMI se integruje se stávajícími nástrojovými řetězci prostřednictvím importu a exportu FMU, multi-modelové orchestrace a propojení digitálních dvojčat. Importujte FMU z jakéhokoli nástroje kompatibilního s FMI 3.0 s automatickým převodem z plovoucí na pevnou řádovou čárku. Exportujte FMU pro navazující nástroje, které vyžadují plovoucí řádovou čárku.

Překročení tolerance zastaví běh s typovanou chybou a pojmenovanou rovnicí.

Zaznamenaný běh se reprodukuje ze svého logu událostí přes most Twin.

Stejná FMU na CPU, GPU, FPGA a edge. Porovnávají se výstupní vektory.

Operace s pevnou řádovou čárkou se ověřují proti referenci MPFR.

Numerické kontroly používají aritmetické patro Numerus a referenci MPFR. Porovnání napříč backendy spouští stejnou FMU na každém cíli a zaznamenává jakýkoli rozdíl ve výstupu. Deterministické přehrání rekonstruuje zaznamenaný běh z jeho logu událostí a způsoby selhání jsou hlasité, nikoli tiché.

Stejné deterministické jádro běží na CPU pracovní stanice, GPU, FPGA hardwaru, vestavěném edge zařízení a distribuovaných uzlech. Výsledky lze porovnávat podle deklarované smlouvy, takže volba nasazení je provozní, nikoli numerická.

MPFR ground truth, používá se pouze pro ověření.

6 desetinných číslic, bankovní a fakturační scénáře.

32 zlomkových bitů, výchozí profil, plná přesnost.

16 zlomkových bitů, úzké rozsahy, šetrné k baterii.

Q31.32 pokrývá většinu potřeb simulace. Q16.16 se hodí pro vestavěné a edge cíle. Dec64_6 pokrývá doménově specifické desetinné účetnictví. Všechny tři stojí na aritmetickém základu Numerus, kde je každá operace správně zaokrouhlena a ověřena proti matematické referenční knihovně MPFR.

Nový čip nebo cloud znamená znovu validovat celé portfolio.

Trigonometrická funkce v jedné knihovně se může mírně lišit od jiné.

Optimalizace překladače mění pořadí operací s plovoucí čárkou; výsledky se posunou.

Pracovní stanice, CI, certifikace: porovnejte cílové platformy a zaznamenejte rozdíly v bezpečnostním případě.

Rozhraní Functional Mock-up Interface je průmyslový standard pro výměnu modelů a ko-simulaci. Používá se v oblastech kritických z hlediska bezpečnosti, kde výsledky simulací ovlivňují konstrukční rozhodnutí, bezpečnostní případy a regulační podání. Tradiční implementace FMI často spoléhají na aritmetiku s plovoucí čárkou podle IEEE 754, takže je třeba ověřit rozdíly mezi platformami.

Dweve FMI implementuje standard FMI pro Model Exchange, Co-Simulation a Scheduled Execution, postavený v Rustu s deterministickou aritmetikou s pevnou řádovou čárkou. Výpočty s reálnými čísly probíhají podle nakonfigurované cesty s pevnou řádovou čárkou. Výsledky lze porovnávat napříč CPU, GPU, FPGA, edge a distribuovanými cíli, přičemž MPFR se používá jako matematická reference, kde to přichází v úvahu. Tři profily s pevnou řádovou čárkou pokrývají inženýrské cíle od vestavěných zařízení po prohledávání parametrů na GPU, aniž by se měnil simulační model.

Stejný archiv FMU lze porovnat na každém backendu. Jedna simulace, jeden validační záznam.

KONTROLA: výstupní vektory porovnané s referencí

kroky: 1000 backend: fpga profil: Q16.16

kroky: 1000 backend: cpu profil: Q31.32

spustit tlumený oscilátor na backendu CPU

fmi: kontrola determinismu napříč platformami

Spusťte referenční model tlumeného oscilátoru na svém vývojovém počítači a na serveru CI. Porovnejte výstupní vektory a uchovejte validační záznam napříč platformami. Smlouvou je deklarované porovnání a jeho rozsah, nikoli bezpodmínečné tvrzení o rovnosti.

Postaveno v Evropě, data zůstávají na místě

Dweve FMI je standardní cesta výměny pro inženýrské týmy, které chtějí porovnávat simulace napříč stroji. Deterministická aritmetika činí bezpečnostní argument explicitním pro každý deklarovaný cíl, místo aby skrývala rozdíly mezi platformami. Práce může běžet na hardwaru, který již vlastníte, nebo v evropském regionu.