FMI 3 Simulation Runtime in Rust | Dweve FMI

Dweve FMI rješava problem pomaka platforme u simulaciji. Profili s fiksnom točkom i provjere na pozadini čine razlike vidljivima prije nego što dospiju u sigurnosni slučaj.

Biblioteka aritmetike s fiksnom točkom koja omogućuje FMI determinizam.

Deterministički motor za dohvat binarnih podataka.

Kriptografska infrastruktura za dokaze u AI zaključivanju.

Pokreni prigušeni oscilator na dvije podržane mete i usporedi rezultate. Referentne provjere otkrivaju svako odstupanje prije nego što uđe u sigurnosni slučaj.

Deterministička simulacija, verificirana

Dva pitanja odlučuju o nabavi: gdje se izvodi i tko kontrolira dokaze. Dweve FMI radi na hardveru koji već posjedujete, na lokaciji ili u europskoj regiji, dok model i zapis o validaciji ostaju unutar granice koju odaberete.

Sigurnosna tvrdnja zahtijeva više od obećanja. Pregledajte ugovor o rezultatima, matricu podržanih ciljeva i MPFR-om podržanu metodu validacije; zatim pokrenite isti primjer na dva računala i usporedite izlaz prije nego odlučite gdje FMI pripada.

Bez gubitka vremena na usklađivanje rezultata

Razlog za brigu je operativan, a ne tehnički. Uspoređujući istu simulaciju pod jednim deklariranim ugovorom na svakom računalu, vidite gdje se cilj razlikuje prije nego zatvorite sigurnosni slučaj. Timovi više ne moraju tiho usklađivati razlike. Posao se odvija na hardveru koji već posjedujete, a prelazak na novu opremu dobiva jasan put validacije.

Jedan dobavljač, jedan plan, jedna cijena koju ne određujete.

Novi čip ili regija ponovno pokreće validaciju cijelog portfelja.

Timovi se svađaju čije je računalo proizvelo točan rezultat.

Svaka platforma zahtijeva vlastiti sigurnosni slučaj jer se brojevi mogu razlikovati.

Argument za promjenu najlakše je vidjeti kao usporedbu. Na jednoj strani simulacija koja se razlikuje po platformi: sigurnosni slučaj ponovno validiran za svako računalo, timovi koji usklađuju brojeve koji bi se već trebali podudarati, i ponovna validacija svaki put kad se hardver promijeni. Na drugoj, rezultati uspoređeni pod jednim deklariranim ugovorom, tako da dokazi pokazuju gdje se implementacija razlikuje. Razlika je operativna, a ne tehnička.

Simulacijski model trebao bi učiniti vidljivom svaku razliku ovisnu o hardveru. Dweve FMI definira jedan ugovor o rezultatima između podržanih ciljeva, provjerava svaki backend prema MPFR oracleu i omogućuje da jedan zapis o validaciji putuje s modelom.

Pošteno je pitati se je li nešto poput ovoga za vas. Nije. Inženjeri to vode u pozadini, gdje uspoređuju sigurnosne simulacije na različitim strojevima i čine razlike vidljivima.

Provjere temeljene na MPFR-u otkrivaju odstupanja prije upotrebe

Ne morate razumjeti kako radi da biste uživali u onome što čini. Zamislite to kao čistu vodu ili dobre ceste. Nikada ne vidite posao, ali vaš dan je bolji jer ga je netko dobro odradio. Evo četiri obična razloga zašto je to važno.

Ovdje je srž toga, jednostavno prikazano. Isti sigurnosni test radi na dva različita računala. Na običnim računalima dva odgovora mogu biti malo drugačija. S ovim, usporedba čini svaku razliku vidljivom. Prebacite prekidač i gledajte što se mijenja. Ta usporedba je cijela poanta.

Stabilna snaga, testirana prije instalacije.

Pažljivo provjereni prije nego stignu do pacijenta.

Tisuće puta testirani na računalu prije toga.

Ovo nikada nećete koristiti, ali koristite stvari koje pomaže štititi svaki dan. Automobil, medicinska pumpa, struja u vašem domu, strojevi u tvornici. Svaki se testira na računalu prije izrade, a ovo je dio koji čini razlike između ciljnih platformi vidljivima. Dodirnite sliku da vidite zašto je to važno za svaku od njih.

Ovo nikada nećete koristiti sami. Ali to je mala, pažljiva stvar koja pomaže održavati automobile, zrakoplove i medicinske strojeve sigurnima. Evo cijele ideje, korak po korak, s primjerom iz svakodnevnog života za svaki korak.

Inženjer simulacije stvara i pokreće FMU na svojoj radnoj stanici. Isti FMU može se usporediti na klasteru za pretraživanje parametara. Također se može koristiti na FPGA skloništu za scenarije s hardverom u petlji gdje je proračun latencije strog. Ugovor o ponavljanju vrijedi za sva tri.

FMI je napisan u Rustu na Numerus aritmetičkoj osnovi, koristi putanje s fiksnom točkom uz MPFR referentne provjere te podržava Model Exchange, Co-Simulation i Scheduled Execution na pet pozadinskih sustava.

Tradicionalni FMI može varirati po platformi jer se temelji na aritmetici s pomičnim zarezom. Dweve FMI koristi putanju s fiksnom točkom uz MPFR referentne provjere. Simulacijski model i sigurnosni slučaj ostaju eksplicitni, dok se ista FMU arhiva može uspoređivati na radnoj stanici, klasteru i FPGA-u. Izbor implementacije je operativan, a ne numerički.

Kemijska masa i energija, PLC ko-simulacija.

Energetski pretvarači, integracija obnovljivih izvora.

Validacija upravljačkih zakona, pilot u petlji.

Dweve FMI služi domenama u kojima rezultati simulacije utječu na dizajn i odluke. Automobilska industrija, zrakoplovstvo, medicinski uređaji, energetika, robotika, industrijska kontrola i digitalni blizanci trebaju dokaze da su rezultati simulacije ponovljivi, sljedivi i kontrolirani po ciljnoj platformi.

Ispravno zaokružena aritmetika s fiksnom točkom

Dweve FMI integrira se s postojećim alatnim lancima putem uvoza i izvoza FMU-a, orkestracije više modela i povezivanja digitalnih blizanaca. Uvozite FMU-ove iz bilo kojeg alata usklađenog s FMI 3.0 uz automatsku pretvorbu iz pomičnog zareza u fiksni zarez. Izvozite FMU-ove za alate nizvodno koji zahtijevaju pomični zarez.

Prekoračenje tolerancije zaustavlja izvođenje s tipiziranom pogreškom i imenovanom jednadžbom.

Zabilježeno izvođenje reproducira se iz svoje evidencije događaja putem Twin mosta.

Isti FMU na CPU-u, GPU-u, FPGA-u i rubnom uređaju. Uspoređuju se izlazni vektori.

Operacije s fiksnim zarezom provjeravaju se prema MPFR referenci.

Numeričke provjere koriste Numerus aritmetičku osnovu i MPFR referencu. Unakrsna usporedba pozadina pokreće isti FMU na svakoj ciljnoj platformi i bilježi svaku razliku u izlazu. Deterministička reprodukcija rekonstruira zabilježeno izvođenje iz njegove evidencije događaja, a načini pogreške su glasni, a ne tihi.

Ista deterministička jezgra radi na radnoj stanici CPU-u, GPU-u, FPGA hardveru, ugrađenom rubnom uređaju i distribuiranim čvorovima. Rezultati se mogu usporediti prema deklariranom ugovoru, pa je izbor implementacije operativan, a ne numerički.

MPFR osnovna istina, koristi se samo za verifikaciju.

6 decimalnih znamenki, bankarski i naplatni scenariji.

32 frakcijska bita, zadani profil, puna preciznost.

16 frakcijskih bitova, uski rasponi, prijateljski prema bateriji.

Q31.32 pokriva većinu potreba simulacije. Q16.16 odgovara ugrađenim i rubnim ciljnim platformama. Dec64_6 pokriva domenu specifično decimalno računovodstvo. Sva tri počivaju na Numerus aritmetičkoj osnovi, gdje je svaka operacija ispravno zaokružena i verificirana prema MPFR matematičkoj referentnoj biblioteci.

Novi čip ili oblak znači ponovnu validaciju cijelog portfelja.

Trigonometrijska funkcija u jednoj biblioteci može se malo razlikovati od one u drugoj.

Optimizacija prevoditelja mijenja redoslijed operacija s pomičnim zarezom; rezultati se pomiču.

Radna stanica, CI, certifikacija: usporedite ciljne platforme i zabilježite razlike u sigurnosnom slučaju.

Functional Mock-up Interface industrijski je standard za razmjenu modela i kosimulaciju. Koristi se u sigurnosno kritičnim područjima gdje rezultati simulacije utječu na projektne odluke, sigurnosne slučajeve i regulatorne podneske. Tradicionalne FMI implementacije često se oslanjaju na IEEE 754 aritmetiku s pomičnim zarezom, pa je potrebno provjeriti razlike među platformama.

Dweve FMI implementira FMI standard za Model Exchange, Co-Simulation i Scheduled Execution, izgrađen u Rustu s determinističkom aritmetikom fiksne točke. Izračuni s realnim vrijednostima slijede konfigurirani put fiksne točke. Rezultati se mogu usporediti na CPU, GPU, FPGA, edge i distribuiranim ciljevima, pri čemu se MPFR koristi kao matematička referenca gdje je primjenjivo. Tri profila fiksne točke pokrivaju inženjerske ciljeve od ugrađenih uređaja do GPU parametarskih pretraživanja bez mijenjanja simulacijskog modela.

Ista FMU arhiva može se usporediti na svakom pozadinskom sustavu. Jedna simulacija, jedan zapis o validaciji.

PROVJERA: izlazni vektori uspoređeni s referencom

koraci: 1000 pozadinski sustav: fpga profil: Q16.16

pokrenite isti FMU na FPGA pozadinskom sustavu

koraci: 1000 pozadinski sustav: cpu profil: Q31.32

pokrenite prigušeni oscilator na CPU pozadinskom sustavu

fmi: provjera determinizma na više platformi

Pokrenite referentni model prigušenog oscilatora na svom razvojnom računalu i na CI poslužitelju. Usporedite izlazne vektore i zadržite zapis o validaciji na više platformi. Ugovor je deklarirana usporedba i njezin opseg, a ne bezuvjetna tvrdnja o jednakosti.

Izgrađeno u Europi, podaci ostaju na mjestu

Dweve FMI standardni je put razmjene za inženjerske timove koji žele usporediti simulacije na različitim strojevima. Deterministička aritmetika čini sigurnosni argument eksplicitnim po deklariranom cilju umjesto da skriva razlike među platformama. Rad se može izvoditi na hardveru koji već posjedujete ili u europskoj regiji.