Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Utgåvor · öppen kärna, Pro och skräddarsydd studie

Gratis att bygga vidare på. Pro när det ska hålla i en granskning.

Motorn är och förblir öppen källkod under AGPL-3.0 (GNU Affero General Public License, version 3), utan funktionsspärrar. Ashforde® OÜ finansierar den med expertis och ett proprietärt överlägg, inte med platsavgifter på den öppna motorn. Inga priser anges på den här webbplatsen: varje betald väg börjar med ett meddelande.

En motor · kshana v0.40.0 Från arkivet
Den öppna motorn i mitten: ett märke per scenariotyp (92), fyllt där typen har validerade registerrader, ihåligt där dess rader är modellerade, ett streck där ingen registermodul matchar den på namn. Kshana Pro och den skräddarsydda studien sitter runt den och kopplas till de typer de bygger på.

Motor v0.40.0 · 92 typer från src/api.rs · registerstatus från web/data/verification-matrix.json · vad Pro och en studie bygger på: webbplatsens utgåveregister · inget scenario eller fröJämför utgåvorna

01Tre sätt att arbeta med oss

Jämför utgåvorna.

Samma motor ligger under alla tre. Läs längs en rad för att jämföra varför den spelar roll, vem var och en är till för, vad den innehåller och hur den börjar.

Gratis · AGPL-3.0 eller kommersiell licens

Öppen kärna

Hela den validerade motorn och alla ytor, gratis och utan funktionsspärrar. Allt på den här webbplatsen körs på den.

Varför alla behöver den

Den som hämtar position eller tid från GNSS (Global Navigation Satellite Systems) är utsatt: jamming, spoofing och signalbortfall drabbar fordon, nät, elnät och rymdfarkoster lika. Den öppna kärnan visar hur utsatt du är och säger vilka värden som är kontrollerade.

Vem den är till för
  • Ingenjörer för fordon, nät, elnät och rymdfarkoster som hämtar position eller tid från GNSS
  • Forskare, studenter och granskare som behöver värden de kan återskapa och citera
  • Utvecklare som kopplar in motorn i kod, en CI-svit (continuous integration) eller en AI-assistent (artificiell intelligens)
Vad som ingår
  • Alla 92 scenariotyper och 181 medföljande scenarier: nativt, Python, JavaScript, i webbläsaren och över MCP (Model Context Protocol)
  • Den fullständiga verifieringsmatrisen: 176 av 401 förmågor validerade mot oberoende referenser, resten märkta som modellerade
  • Varje resultat stämplat med scenariots hash, frö och motorversion, och skrivet som JSON (JavaScript Object Notation), CSV-tabeller (kommaseparerade värden) och SVG-diagram (Scalable Vector Graphics)
  • Den kostnadsfria sviten kshana --study
Villkor

Gratis under AGPL-3.0. Samma kärna erbjuds också under en kommersiell licens, för sluten integration i proprietära produkter (nedan).

Kommersiell · samma motor, förstärkt

Kshana Pro

Ett proprietärt överlägg som bygger på den öppna kärnan och aldrig forkar den: en strikt övermängd av öppna Kshana. Tillgängligt under avtal.

Varför Pro, ännu mer

Öppna Kshana kör ett scenario och talar om vad det ger. Kshana Pro besvarar de frågor ett program ställer härnäst: vilken utformning som ska flygas, hur säkert svaret är och om uppdraget uppfyller sina krav i en form som en granskningsnämnd kan kontrollera.

Vem den är till för
  • Program som måste lämna över ett uppdragsdossier eller ett bevispaket av revisionskvalitet till en granskningsnämnd eller upphandlingsnämnd
  • Arkitekter som väljer en utformning från Pareto-fronten för ett helt utformningsrum, eller utifrån avvägningsstudier rangordnade efter ett kvalitetsmått
  • Tids- och hårdvaruteam som behöver en digital tvilling av en klocka kalibrerad mot sin enhet
Vad som ingår
  • En utformningsoptimerare: Pareto-fronten för ett utformningsrum, där varje utformning på fronten är ett scenario som den kostnadsfria motorn kör om
  • Osäkerhet och känslighet över tusentals körningar
  • Ett uppdragsdossier med ett enda kommando med en verifieringsmatris och en PDF-fil (Portable Document Format)
  • Reproducerbara bevispaket av revisionskvalitet, digitala klocktvillingar kalibrerade mot en enhets publicerade Allan-budget och arkitekturavvägningar rangordnade efter ett kvalitetsmått
  • Verktyg för modellbaserad systemteknik (MBSE) och programhantering som kontrollerar ett programs krav mot körningar av den öppna motorn och bara läser de utdata som motorn publicerar
Villkor

Kshana Pro finns tillgängligt under avtal. Den bygger på den öppna kärnan och forkar den aldrig, så ingenting tas bort från den kostnadsfria motorn.

Betalt arbete · utfört åt dig

Skräddarsydd studie

Arbete som utförs åt dig, på ditt system: den betalda skräddarsydda studien, inte det kostnadsfria kommandot kshana --study.

Varför en skräddarsydd studie

När frågan är din men tiden, modelleringen eller säkerhetsprövningen inte är det: vi modellerar ditt system med samma motor, märker varje värde som validerat eller modellerat och lämnar tillbaka ett resultat du kan återskapa.

Vem den är till för
  • Program- och upphandlingsteam som behöver en oberoende, modellerad bild av en PNT-arkitekturs (positionering, navigering och tidssynkronisering) resiliens
  • Hårdvarutillverkare som vill ha modeller av sina egna enheter
  • Exportkänsliga program, och team som vill ha Kshana i sin verktygskedja
Vad som ingår
  • En modellerad studie av PNT-resiliens, till exempel en granskning av optimismgapet. Ingen certifiering.
  • Sensor- och resiliensmodeller kalibrerade mot din hårdvara
  • Exportkontrollerat resiliensarbete under lämplig säkerhetsprövning och NDA (sekretessavtal)
  • Kommersiellt stöd och integration, utbildning och konsulttjänster
Villkor

Avgränsat till din fråga och levererat under avtal, reproducerbart utifrån scenario, frö och motorversion.

Licens för öppen kärna

En motor, två licenser.

Välj den som passar hur du använder den. Båda omfattar samma öppna motor; ingenting undanhålls från någondera.

Alternativ A · öppen källkod

GNU AGPL-3.0

Använd, studera, ändra och vidaredistribuera den kostnadsfritt. Om du distribuerar en härledd version, eller låter andra använda en ändrad motor över ett nätverk, delar du dess källkod under samma licens.

Passar för akademiskt arbete, öppen källkodsprojekt, intern utvärdering och forskning.

Alternativ B · från Ashforde® OÜ

Kommersiell licens

  • Bädda in motorn i en produkt med sluten källkod
  • Kör en nätverkstjänst på en ändrad motor utan skyldigheten att lämna ut källkoden
  • Integrera den i en verktygskedja vars övriga delar inte kan vara AGPL
  • Få garanti-, skadeersättnings- eller supportvillkor som AGPL friskriver sig från

Fråga om en kommersiell licens

Kshana Pro och de andra proprietära överläggen är separata produkter under egna avtal, inte en del av någon av licenserna. Vad den kommersiella licensen omfattar

Kshana Pro · samma motor, förstärkt

Gratis kör ett scenario. Pro besvarar programmets fråga.

Öppna Kshana kör ett scenario och talar om vad det ger. Kshana Pro besvarar de frågor ett program ställer härnäst, över samma motor och samma scenariofiler: vilken utformning som ska flygas, hur säkert svaret är och om uppdraget uppfyller sina krav i en form som en granskningsnämnd kan kontrollera.

  • En strikt övermängd av öppna Kshana.Varje öppen scenariotyp körs oförändrad i Pro, och ett öppet scenario körs i Pro helt utan licens.
  • Ingen ny fysik.Varje Pro-värde kommer från körningar av den öppna motorn, så ett Pro-värde är lika tillförlitligt som den öppna scenariotyp det kommer från, och aldrig mer.
  • Reproducerbart i den kostnadsfria motorn.Den som har öppna Kshana kan köra om ett och få samma värde.
  • Ärliga etiketter som följer med hela vägen.Varje Pro-resultat är märkt MODELLED. Varje värde behåller den nivå som den öppna motorn gav det (validerad, modellerad eller partner), aldrig en högre.
Utformningsoptimerare

Vilken utformning ska vi flyga?

  • GratisEn gratisanvändare poängsätter en utformning som hen skrivit för hand.
  • ProEn Pro-användare anger utformningsrummet (varje variabel är en scenarioinställning med sina tillåtna värden), begränsningarna och två eller tre mål, och får hela Pareto-fronten: de utformningar som ingen annan utformning slår på alla mål samtidigt.

Basscenariot kan vara av vilken öppen typ som helst, så samma verktyg utformar en konstellation runt jorden, månen eller Mars, eller avväger en länkbudget. Varje utformning är en körning av den öppna motorn. Varje utformning på fronten skrivs ut som en vanlig öppen scenariofil, med hashen (SHA-256, Secure Hash Algorithm) av det resultat som den kostnadsfria motorn ger för den.

Vad den inte gör. Den har ingen kostnadsmodell, så en variabel som inget mål straffar driver mot kanten av sitt intervall. Konstellationsstudier poängsätter bara geometri: ingen signaleffekt, ingen satellithälsa och ingen terräng.

Pareto-front · MånnavigeringskonstellationUtdata från Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
varje körd utformningPareto-frontknäreferens: medföljande månreläutformning (8 + 6 satelliter)

Frontutformning 004 · knä · 16 satelliter, 85,0404 % tillgänglighet · 2 plan på 8 000 km, 45° · körs om i den kostnadsfria motorn: samma SHA-256 89882372…

608 utformningar, alla körda (hela månen): en front med 12 utformningar i 6 punkter; 12 av 12 körs om i den kostnadsfria motorn med samma resultathash. MODELLED.

Kshana Pro 0.2.0 på öppen motor 0.29.0 · kshana-pro design · 609 motorkörningar · körningsavtryck df81aad4…

Osäkerhet och känslighet

Hur säkra är vi, och vad styr resultatet?

  • GratisEn gratisanvändare får ett tal, eller en spridning över slumpmässiga frön.
  • ProEn Pro-användare anger hur osäker varje indata är och får konfidensband, sannolikheten att hålla en gräns och en rangordning av de indata som styr resultatet.

Det fungerar på vilket öppet scenario som helst. Indata rangordnas efter Sobol'-känslighetsindex eller standardiserade regressionskoefficienter, och en rangordning som inte är tillförlitlig flaggas som det. En lång studie kan stoppas och återupptas.

Vad den inte gör. Indata behandlas som oberoende. Fler körningar minskar urvalsfelet, inte modellfelet: en MODELLED-typ förblir MODELLED.

Osäkerhet och känslighetUtdata från Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
5:e till 95:e percentilen av 2 000 körningarmedianbasekörningandel inom gränsen

Efter 60 minuter: 1 366 av 2 000 körningar inom ±20 ns, en sannolikhet på 0,683 (95 %-intervall 0,6623 till 0,703)

Klock-holdover med osäker brusnivå · indata q_wf (klockans nivå av vitt frekvensbrus): uniform(4.5e-20 till 2.7e-19), ANTAGEN · MODELLED · Kshana Pro 0.2.0 på öppen motor 0.29.0 · kshana-pro uncertainty · 2 000 motorkörningar · körningsavtryck abab765e…

Uppdragsdossier

Uppfyller uppdraget sina krav, och kan vi lämna över det?

  • GratisEn gratisanvändare får en rapport per körning.
  • ProEn Pro-användare får ett uppdragsdossier med ett enda kommando: krav kontrollerade mot verkliga körningar, en verifieringsmatris med sina öppna punkter och en PDF (Portable Document Format) där varje tal kan härledas på nytt med den kostnadsfria motorn.

Ett krav som uppfyllts på MODELLED- eller PARTNER-grund flaggas. Krav som ska verifieras genom test, inspektion eller demonstration förblir öppna punkter oavsett hur körningen gick.

Vad den inte gör. Simuleringsevidens räknas som analys och ersätter inte ett test, en inspektion eller en demonstration. Ett dossier är ingen certifiering, ingen kvalificering och inget godkännande från någon myndighet.

Uppdragsdossier · Program för navigeringsresiliens: jorden, månen och MarsUtdata från Kshana Pro
12krav
7nådd
4inte uppfyllda
1inte verifierade
15öppna punkter
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minuppfylltMODELLED

    Med 240 satelliter i låg omloppsbana (LEO) tillagda ska precis punktpositionering (PPP) konvergera inom 10 minuter (median över de seedade körningarna).

    Metod: analys · körning RUN-LEO · avläst värde: 7,5 min

    `ppp.cases[1].median_convergence_min <= 10 min`: 7.5 min <= 10 min is true

    Öppen punkt: MODELLED-grund

  • LEO-002ppp.cases[0].median_convergence_min <= 10 mininte uppfylltMODELLED

    Enbart med GPS och Galileo ska precis punktpositionering (PPP) konvergera inom 10 minuter (median över de seedade körningarna).

    Metod: analys · körning RUN-LEO · avläst värde: 11,5 min

    `ppp.cases[0].median_convergence_min <= 10 min`: 11.5 min <= 10 min is false

    Öppen punkt: inte uppfyllt

  • LEO-003fusion.fused.rms_error_3d_m <= 0,5 muppfylltMODELLED

    Med LEO-skiktet ska det sammanfogade tredimensionella positionsfelet vara 0,5 m i kvadratiskt medelvärde (RMS) eller bättre.

    Metod: test · körning RUN-LEO · avläst värde: 0,4349 m

    `fusion.fused.rms_error_3d_m <= 0.5 m`: 0.434888 m <= 0.5 m is true

    Öppen punkt: metod, MODELLED-grund

  • LUN-001global.availability_pct >= 95 %inte uppfylltMODELLED

    Månreläkonstellationen ska ge en positionsbestämning med en geometrisk precisionsförsämring för position (PDOP) på 6 eller bättre över minst 95 % av månytan och av dygnet.

    Metod: analys · körning RUN-LUNAR · avläst värde: 21,3286 %

    `global.availability_pct >= 95 %`: 21.3286 % >= 95 % is false

    Öppen punkt: inte uppfyllt

  • LUN-002global.pdop.median <= 6uppfylltMODELLED

    Där månreläkonstellationen ger en positionsbestämning ska medianen för geometrisk precisionsförsämring för position (PDOP) vara 6 eller bättre.

    Metod: analys · körning RUN-LUNAR · avläst värde: 5,22 1

    `global.pdop.median <= 6`: 5.22 <= 6 is true

    Öppen punkt: MODELLED-grund

  • SPC-001timeline.bands[3].min_cn0_dbhz >= 25 dB-HzuppfylltPARTNER

    Under den skriptade L-bandsstörningen ska förhållandet mellan bärvåg och brustäthet (C/N0) för GPS L5 hålla sig vid eller över 25 dB-Hz.

    Metod: analys · körning RUN-SPECTRUM · avläst värde: 44,0752 dB-Hz

    `timeline.bands[3].min_cn0_dbhz >= 25 dB-Hz`: 44.075187 dB-Hz >= 25 dB-Hz is true

    Öppen punkt: PARTNER-grund

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hzinte uppfylltPARTNER

    Under den skriptade L-bandsstörningen ska förhållandet mellan bärvåg och brustäthet (C/N0) för GPS L1 grov/förvärv (C/A) hålla sig vid eller över 25 dB-Hz.

    Metod: analys · körning RUN-SPECTRUM · avläst värde: 3,2329 dB-Hz

    `timeline.bands[0].min_cn0_dbhz >= 25 dB-Hz`: 3.232859 dB-Hz >= 25 dB-Hz is false

    Öppen punkt: inte uppfyllt

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values for all valuesinte uppfylltPARTNER

    I det sammanlänkade uppdraget med jamming, spoofing och holdover ska klockans tidsfel hålla sig inom sin skyddsgräns på 50 ns i varje tidslinjesteg.

    Metod: analys · körning RUN-CAMPAIGN · avläst värde: 51,7825 ns

    `timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values` for all: 275 of 458 elements satisfy (first failing); element 214: 51.782497 ns <= 50 ns

    Öppen punkt: inte uppfyllt

  • CMP-002min(timeline.events[].t_s) <= 30 minuppfylltPARTNER

    I det sammanlänkade uppdraget ska ett spoofing-larm utlösas inom 30 minuter från start.

    Metod: demonstration · körning RUN-CAMPAIGN · avläst värde: 1 200 s

    `min(timeline.events[].t_s) <= 30 min`: 1200 s <= 1800 s is true

    Öppen punkt: metod, PARTNER-grund

  • MARS-001fom.rms_error_relays_m <= 5 muppfylltMODELLED

    Runt Mars ska positionsfelet med enbart konstellationen vara 5 m i kvadratiskt medelvärde (RMS) eller bättre under en sol.

    Metod: analys · körning RUN-MARS · avläst värde: 1,8827 m

    `fom.rms_error_relays_m <= 5 m`: 1.882704 m <= 5 m is true

    Öppen punkt: MODELLED-grund

  • MARS-002fom.availability_relays >= 99 %uppfylltMODELLED

    Runt Mars ska konstellationen ge en positionsbestämning vid 99 % av epokerna eller fler.

    Metod: analys · körning RUN-MARS · avläst värde: 1 1

    `fom.availability_relays >= 99 %`: 1 >= 0.99 is true

    Öppen punkt: MODELLED-grund

  • OPS-001inget maskinkontrollerbart kriteriuminte verifierade

    Mottagarhöljet ska bära programmets identifieringsetikett.

    Metod: inspektion · körning ingen · avläst värde: ingen körning spårad

    Öppen punkt: ingen evidens, manuell verifiering

Sida 1 av det genererade uppdragsdossiernSida 2 av det genererade uppdragsdossiern

21 sidor, ett kommando. Öppna den genererade PDF-filen (Portable Document Format)

Kshana Pro 0.2.0 på öppen motor 0.29.0 · kshana-pro mission build · 5 körningar och en avvägningsstudie · 7 uppfyllda, alla med MODELLED eller PARTNER som grund · dossier SHA-256 49df1e0e… · utvecklingsbygge

Tre svar till

Gjorde den senaste ändringen ett värde vi bryr oss om sämre?

  • GratisEn gratisanvändare kör en kampanj och läser resultatet.
  • ProEn Pro-användare namnger de värden som spelar roll i en uppsättning scenarier, anger vad sämre betyder för vart och ett, och får en pipeline som misslyckas när en ändring i ett scenario, en modell eller motorn gör ett av dem sämre, eller gör att det inte längre uppfyller sitt krav.

Den utökar regressionskontrollen av scenarier. Ett Monte Carlo-värde bedöms med statistik i stället för en tolerans, så en ny uppsättning slumpmässiga frön kallas inte en regression men en fördubblad spridning gör det. Varje körning läggs till i en historik där varje post bär hashen för den föregående, och en kontroll rapporterar om kedjan är intakt.

Vad den inte gör. En bevakning visar att ett MODELLED-värde förblev stabilt eller flyttade sig; den visar inte att värdet är sant. Ett värde utan angiven riktning rapporteras och får aldrig en körning att misslyckas.

Kampanjbevakning · sex revisioner, en historikUtdata från Kshana Pro
Bevakat värde · revision
förhållande mellan bärvåg och brustäthet (C/N0) vid slutet av jamming-fasen○·▲▼··
största tidsfel på uppdragets tidslinje○····≈
satelliter som spåras vid slutet av jamming-fasen○··▼··
andel av uppdraget under larm○··▼·▲
spoofing upptäckt (fasens längd)○····▲
tidsfel vid slutet av holdover○····≈
▼försämrat▲förbättrat·oförändrat≈rörde sig inom sin tolerans○första körningen: blir baslinjen

Revision r4-stronger-jammer · jammer höjd från -33 till -24 dBW (decibel relativt en watt): C/N0 vid slutet av jamming-fasen 30,60 → 21,82 dB-Hz (decibel-hertz), under golvet på 25 dB-Hz, kravet inte uppfyllt; satelliter som spåras 8 → 0; tre bevakningar försämrades · misslyckades, avslutskod 1

Det medföljande kampanjpaketet, 10 bevakade värden över tre öppna kampanjer, kört två gånger: klarade båda gångerna, 0 av 125 värden rörde sig, historik med 2 poster intakt.

Kshana Pro 0.2.0 på öppen motor 0.29.0 · kshana-pro ci · demonstrationsrevisioner av campaign-jam-spoof-holdover-integrity.toml · historik 6 poster, kedjan intakt, senaste hash bb2f10eb… · MODELLEDÖppna i Kshana Studio

Även i Kshana Pro

Krav och spårbarhet

Kshana Pros verktyg för modellbaserad systemteknik (MBSE) och programhantering kontrollerar ett programs krav mot körningar av den öppna motorn: den importerar krav som kommaseparerade värden (CSV), eller som en dokumenterad delmängd av Requirements Interchange Format (ReqIF) eller av text i Systems Modeling Language version 2 (SysML v2), och producerar en korsreferensmatris för verifiering (VCRM), en SysML v2-modell, en ändringskonsekvensrapport och ett fristående bevispaket. Den kör inte om och räknar inte om någonting.

Den öppna motorns utdata som den läser
  • result.jsonde fält ett kriterium namnger, deras enheter, reproducerbarhetsstämpeln med scenariohash, frö, motorversion och schemaversion, samt körningens etikett och värdenas nivåer
  • report.jsontyp, reproducerbarhetspost och förmågeetiketter
  • scenario filedess hash, typ, frö och parametrar
  • field-units schemavarje fälts enhet, ursprung och evidensnivå
  • verification matrixvarje förmågas etikett VALIDATED, MODELLED eller PARTNER

Avvägningsstudier

En avvägningsstudie kör varje arkitekturalternativ som ett oförändrat scenario i den öppna motorn, rangordnar alternativen efter ett kvalitetsmått som läses ur varje körnings resultat och skriver ett bevispaket som antecknar varje alternativs scenariohash, så att varje värde i det kan återskapas genom att köra om det scenariot.

Digital klocktvilling

En klocktvilling kalibreras mot en enhets publicerade budget för Allan-avvikelse och kontrolleras sedan genom att tvillingens egen Allan-avvikelse skattas med den öppna motorns skattare och de två jämförs inom en angiven tolerans. En tvilling av din egen enhet kräver dina karakteriseringsdata och byggs under avtal och sekretessavtal.

Studiedossier

Ett scenario blir en reproducerbar teknisk not i HTML (HyperText Markup Language) och JSON (JavaScript Object Notation): omfattning, metod, resultat med en nivå på varje värde, begränsningar och den exakta scenariotext som kördes.

  • Pro kräver en licens. Utan en kör Pro bara öppna scenarier och vägrar varje Pro-funktion med ett meddelande som anger vad som krävs.
  • Visst arbete kräver en kund som har skrivit under. En tvilling av din egen enhet kräver dina karakteriseringsdata och byggs under avtal och sekretessavtal.
  • Ingenting som Pro producerar är en certifiering. Varje resultat är modellerat och säger det.

Utförs som en skräddarsydd studie

  • Modeller av din hårdvara. Sensor- eller resiliensmodeller kalibrerade mot din hårdvara byggs bara under avtal, med dina data.
  • Exportkontrollerade resiliensmodeller erbjuds inte offentligt. Sådant arbete utförs bara under lämplig säkerhetsprövning och ett sekretessavtal.

Diagrammen i det här avsnittet är ritade utifrån de filer som Pro-kommandona skrev för de genomgångsexempel som levereras med Pro: modellerade resultat, inte uttalanden om något verkligt uppdrag. Formuleringarna är citerade från den publika Kshana Pro-sidan i det öppna arkivet.

02Skräddarsydd studie · så går den till

När du behöver ett svar, inte ett verktyg.

En skräddarsydd studie använder samma motor som du själv kan köra, så varje värde i den kan kontrolleras av vem som helst.

  1. Berätta frågan för oss. Skriv till contact@ashforde.org med systemet och det beslut det ska ligga till grund för. Det finns inget formulär.
  2. Vi avgränsar den. Vad som ska modelleras, med vilka scenarier, och vad som ligger utanför, under lämplig säkerhetsprövning och NDA där arbetet kräver det.
  3. Vi modellerar den med samma motor. Varje värde märks som validerat eller modellerat, precis som på den här webbplatsen.
  4. Du får ett reproducerbart resultat. Reproducerbart utifrån scenario, frö och motorversion. En modellerad studie, ingen certifiering.

Inte detsamma som kshana --study: det kostnadsfria kommandot kör en svit av scenarier som du skriver till en enda stämplad rapport (Utvecklare). En skräddarsydd studie är betalt arbete som vi gör åt dig.

Installera den öppna kärnanFrån manifesten

För alla, inget att installera.

Motorn körs lokalt som WebAssembly; ingenting laddas upp.