FMI 3 Simulation Runtime in Rust | Dweve FMI

Algoritmide rühmitamine andmetüübi järgi

Dweve FMI käsitleb platvormi triivi simulatsioonis. Fikseeritud punktiga profiilid ja taustakontrollid muudavad erinevused nähtavaks enne, kui need jõuavad ohutusjuhtumini.

Fikseeritud punktiga aritmeetikateek, mis tagab FMI determinismi.

Krüptograafiline tõendusinfrastruktuur AI-loogika jaoks.

Käivita sumbuv ostsillaator kahel toetatud sihtmärgil ja võrdle väljundeid. Referentskontrollid toovad esile igasuguse lahknemise enne, kui see jõuab ohutusjuhtumini.

Deterministlik simulatsioon, kontrollitud

Kaks küsimust otsustavad hankimise: kus see töötab ja kes kontrollib tõendusmaterjali. Dweve FMI töötab riistvaral, mis sul juba on, kohapeal või Euroopa piirkonnas, samal ajal kui mudel ja valideerimisprotokoll jäävad sinu valitud piiri sisse.

Mudel ja tõendusmaterjal jäävad sinu omaks

Ohutusväide vajab enamat kui lubadust. Vaadake üle tulemuse leping, toetatud sihtmärkide maatriks ja MPFR-põhine valideerimismeetod; seejärel käivitage sama näide kahel masinal ja võrrelge väljundit enne, kui otsustate, kuhu FMI kuulub.

Põhjus, miks see oluline on, on operatiivne, mitte tehniline. Võrreldes sama simulatsiooni ühe deklareeritud lepingu alusel igal masinal, näete, kus sihtmärk erineb enne ohutusjuhtumi sulgemist. Meeskondadel pole enam vaja erinevusi vaikselt ühitada. Töö toimub riistvaral, mis teil juba on, ja uuele seadmele üleminekul on selge valideerimistee.

Mida see säästab ja milliseid riske vähendab

Üks müüja, üks teekaart, üks hind, mida te ei määra.

Uus kiip või piirkond käivitab valideerimise uuesti kogu portfellis.

Meeskonnad vaidlevad selle üle, kelle masin andis õige tulemuse.

Iga platvorm vajab oma ohutusjuhtumit, sest numbrid võivad erineda.

Ülemineku põhjendus on kõige lihtsam näha kõrvutava võrdlusena. Ühel pool simulatsioon, mis varieerub platvormiti: ohutusjuhtum, mida valideeritakse uuesti iga masina jaoks, meeskonnad, kes ühitavad numbreid, mis peaksid juba ühtima, ja uuesti valideerimine iga kord, kui riistvara muutub. Teisel pool tulemused, mida võrreldakse ühe deklareeritud lepingu alusel, nii et tõendid näitavad, kus juurutamine erineb. Erinevus on operatiivne, mitte tehniline.

Eemaldage käitusaeg; mudel ja tõendid jäävad

Simulatsioonimudel peaks muutma igasuguse riistvarast sõltuva erinevuse nähtavaks. Dweve FMI määratleb ühe tulemuse lepingu toetatud sihtmärkide lõikes, kontrollib iga taustsüsteemi MPFR-orraakli vastu ja laseb ühel valideerimisprotokollil mudeliga kaasa reisida.

On õiglane küsida, kas selline asi on sinu tegeleda. Ei ole. Insenerid haldavad seda taustal, kus see võrdleb ohutussimulatsioone masinate vahel ja teeb erinevused nähtavaks.

MPFR-põhised kontrollid tabavad lahknemise enne kasutamist

Sa ei pea mõistma, kuidas see töötab, et nautida, mida see teeb. Mõtle sellele nagu puhtale veele või headele teedele. Sa ei näe kunagi tööd, aga su päev on parem, sest keegi tegi seda hästi. Siin on neli lihtsat põhjust, miks see on oluline.

Siin on selle tuum, lihtsalt näidatud. Sama ohutustest jookseb kahel erineval arvutil. Tavalistel arvutitel võivad kaks vastust tulla veidi erinevad. Sellega muudab võrdlus igasuguse erinevuse nähtavaks. Keera lülitit ja vaata, mis muutub. See võrdlus ongi kogu mõte.

Robotid, mis töötavad inimeste kõrval ohutult.

Stabiilne jõud, testitud enne paigaldamist.

Hoolikalt kontrollitud enne patsiendini jõudmist.

Seda ei kasuta sa kunagi ise, aga sa kasutad iga päev asju, mida see aitab kaitsta. Auto, meditsiinipump, elekter kodus, masinad tehases. Igaüht neist testitakse arvutis enne ehitamist ja see on osa, mis teeb erinevused sihtplatvormide vahel nähtavaks. Puuduta pilti, et näha, miks see igaühe puhul oluline on.

Seda ei kasuta sa kunagi ise. Aga see on väike, hoolikas asi, mis aitab hoida autosid, lennukeid ja meditsiinimasinaid turvalisena. Siin on kogu idee, üks lihtne samm korraga, igapäevase näitega igaühe jaoks.

Simulatsiooniinsener koostab ja käivitab FMU oma tööjaamas. Sama FMU-d saab võrrelda kobaras parameetrite skaneerimiseks. Seda saab kasutada ka FPGA varjualuses riistvara-ahelas stsenaariumide jaoks, kus latentsuse eelarve on range. Taasesituse leping kehtib kõigi kolme puhul.

FMI on kirjutatud Rustis Numeruse aritmeetika baasil, kasutab fikseeritud punktiga teid MPFR-i kontrollviidetega ning toetab Model Exchange, Co-Simulation ja Scheduled Execution viiel taustsüsteemil.

Traditsiooniline FMI võib platvormiti erineda, kuna see põhineb ujukomaarvutusel. Dweve FMI kasutab fikseeritud punktiga aritmeetika teed MPFR-i kontrollviidetega. Simulatsioonimudel ja ohutusjuhtum jäävad selgesõnaliseks, samas saab sama FMU-arhiivi võrrelda tööjaama, klastri ja FPGA vahel. Juurutuse valik on operatiivne, mitte numbriline.

Keemiline mass ja energia, PLC-koossimulatsioon.

Kinemaatika, trajektoor, andurite liitmine.

Jõumuundurid, taastuvenergia integreerimine.

Juhtimisseaduste valideerimine, piloot ahelas.

Dweve FMI teenib valdkondi, kus simulatsioonitulemused mõjutavad disaini ja otsuseid. Auto-, lennundus-, meditsiiniseadmete, energia, robootika, tööstusjuhtimise ja digitaalsete kaksikute valdkonnad vajavad tõendeid, et simulatsiooni väljundid on korratavad, jälgitavad ja kontrollitavad igal sihtplatvormil.

Õigesti ümardatud fikseeritud punktiga aritmeetika

Dweve FMI integreerub olemasolevate tööriistaahelatega FMU impordi ja ekspordi, mitme mudeli orkestreerimise ning digitaalse kaksiku silla kaudu. Importige FMU-sid igast FMI 3.0 ühilduvast tööriistast automaatse ujukoma fikseeritud teisendusega. Eksportige FMU-sid allavoolu tööriistadele, mis nõuavad ujukoma.

Tolerantsi ületamine peatab käituse tüübitud veaga ja nimetatud võrrandiga.

Salvestatud käitus taasesitatakse selle sündmuslogist Twin silla kaudu.

Sama FMU CPU-l, GPU-l, FPGA-l ja servas. Väljundvektoreid võrreldakse.

Fikseeritud punkti tehted kontrollitakse MPFR võrdlusaluse vastu.

Numbrilised kontrollid kasutavad Numerus aritmeetika põrandat ja MPFR võrdlusalust. Ristplatvormi võrdlus käitab sama FMU-d igal sihtmärgil ja salvestab kõik väljundite erinevused. Deterministlik taasesitus rekonstrueerib salvestatud käituse selle sündmuslogist ning rikete režiimid on valjud, mitte vaiksed.

Sama deterministlik tuum töötab tööjaama CPU-l, GPU-l, FPGA riistvaral, manustatud servaseadmel ja hajutatud sõlmedel. Tulemusi saab võrrelda deklareeritud lepingu alusel, nii et juurutamise valik on operatiivne, mitte numbriline.

MPFR põhitõde, kasutatakse ainult kontrollimiseks.

6 kümnendkohta, pangandus- ja arveldusstsenaariumid.

32 murdosa bitti, vaikeprofiil, täispikkuses täpsus.

16 murdosa bitti, kitsad vahemikud, aku säästlik.

Q31.32 katab enamiku simulatsioonivajadustest. Q16.16 sobib manustatud ja servasihtmärkidele. Dec64_6 katab domeenispetsiifilise kümnendarvestuse. Kõik kolm põhinevad Numerus aritmeetika alusel, kus iga tehe on õigesti ümardatud ja kontrollitud MPFR matemaatilise võrdlusteegi vastu.

Uus kiip või pilv tähendab kogu portfelli uuesti valideerimist.

Üks trigonomeetriline funktsioon ühes teegis võib teisest veidi erineda.

Kompilaatori optimeerimine muudab ujukomaarvude järjekorda; tulemused nihkuvad.

Tööjaam, CI, sertifitseerimine: võrrelge sihtplatvorme ja märkige erinevused ohutusjuhtumisse.

Functional Mock-up Interface on tööstusstandard mudelivahetuseks ja koossimulatsiooniks. Seda kasutatakse ohutuskriitilistes valdkondades, kus simulatsioonitulemused mõjutavad disainiotsuseid, ohutusjuhtumeid ja regulatiivseid esildisi. Traditsioonilised FMI-rakendused tuginevad sageli IEEE 754 ujukomaaritmeetikale, seega tuleb platvormierinevusi kontrollida.

Dweve FMI rakendab FMI standardit Model Exchange, Co-Simulation ja Scheduled Execution jaoks, loodud Rustis deterministliku fikseeritud punktiga aritmeetikaga. Reaalarvulised arvutused järgivad konfigureeritud fikseeritud punkti rada. Tulemusi saab võrrelda CPU, GPU, FPGA, edge ja hajutatud sihtmärkide vahel, kusjuures MPFR-i kasutatakse matemaatilise viitena, kui see on asjakohane. Kolm fikseeritud punkti profiili katavad insenerisihtmärgid alates manussüsteemidest kuni GPU parameetrite skaneerimiseni ilma simulatsioonimudelit muutmata.

Sama FMU-arhiivi saab võrrelda igal tagalal. Üks simulatsioon, üks valideerimiskanne.

KONTROLL: väljundvektorid võrreldud viitega

kontrollige platvormidevahelist pariteeti

sammud: 1000 tagala: fpga profiil: Q16.16

sammud: 1000 tagala: cpu profiil: Q31.32

käivitage summutatud ostsillaator CPU tagalal

fmi: platvormidevaheline determinismi kontroll

Käivitage summutatud ostsillaatori referentsmudel oma arendusmasinas ja CI-serveris. Võrrelge väljundvektoreid ja säilitage platvormidevaheline valideerimiskanne. Leping on deklareeritud võrdlus ja selle ulatus, mitte kvalifitseerimata võrdsusväide.

Ehitatud Euroopas, andmed jäävad paigale

Dweve FMI on standardne vahetustee insenerimeeskondadele, kes soovivad võrrelda simulatsioone erinevates masinates. Deterministlik aritmeetika muudab ohutusargumendi selgesõnaliseks iga deklareeritud sihtmärgi kohta, mitte ei peida platvormierinevusi. Töö saab käia riistvaral, mis teil juba on, või Euroopa regioonis.

Insenerid, kes ehitavad ohutuid masinaid