Kshana-dokumentation

Allt här renderas vid bygget från Markdown-filer som spåras i Kshana-förrådet (motor v0.40.0), plus två referenssidor som genereras från scenariofilerna och verifieringsmatrisen. Ingenting på webbplatsen är skrivet för hand.

Kom igång

• ÖversiktKshana spelar upp jamming, spoofing och klockans holdover när GNSS-signaler (Global Navigation Satellite System)…
• BegreppsintroduktionDen här sidan förklarar vad Kshana gör och varför, med start från noll och uppbyggnad mot fysiken.
• OrdlistaBegripliga definitioner av termerna som används i Kshana.
• SpråkMotorns text riktad till människor finns på 17 språk vid sidan av engelska: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
• Studio-guideKshana Studio: kör motorn i webbläsaren, utan installation.
• HandledningarPraktiska, genomarbetade exempel som tar dig från ”kör ett levererat scenario” till ”kvantifiera och försvara ett resultat”…
• 1 · Din första banaI slutet har du propagerat den verkliga operativa GPS-konstellationen, läst av dess tillgänglighet och…
• 2 · Klockans holdoverI slutet har du kört en holdover för en klocka med nekade GNSS-signaler (Global Navigation Satellite System)…
• 3 · Kvant mot klassisktSlutprojektet. Du kör ett scenario med spoofing-detektor och en fullständigt sammanslagen positionering, navigering och tidssynkronisering…
• Genomarbetat exempel: pipeline med flera verktygHär följer en bana genom scenariotyperna för standardbaserad interoperabilitet och uppdragsanalys från början till slut…

Scenarier

• ScenariotyperDe 92 inbyggda scenariotyperna som kshana::api::run_toml fördelar över, var och en med sin enradiga…
• Varje scenariotyp, efter familjVarje scenariotyp som motorn v0.40.0 fördelar över (92), ordnad under 13 familjer.
• Varje kommandokshana <scenario.toml> kör ett scenario; varje annat kommando är ett underkommando. kshana --help skriver ut användningen…
• Varje ytaEn motor, samma resultat överallt. docs/SURFACES.md anger, för varje kommando och typ, vilken yta…
• FörmågedomänerVarje förmåga i den offentliga kartan, per domän, med sin registeretikett.
• ScenarioreferensVarje medföljande scenariofil (193), grupperad efter typ, med dess viktigaste inställningar.
• ResultatschemaVarje körning skriver en versionshanterad, självbeskrivande JSON-artefakt (JavaScript Object Notation) bredvid scenariot.
• Använda riktiga TLE:erDe medföljande scenarierna scenarios/orbit-sgp4-gps.toml har redan riktiga TLE:er (two-line element sets): Celestrak…
• KampanjerEtt enskilt scenario besvarar en fråga om en situation.

Utdata och exporter

• KörningsrapporterVarje körning av kommandoradsgränssnittet (CLI) skriver en rapport bredvid sitt resultat: en utskrivbar HyperText…
• Animeringsexport--animate gör en körnings tidsserie till något som rör sig: en animerad Scalable Vector Graphics (SVG)…
• Interoperabilitetsexporter och -importerEn körning skriver ett resultatdokument, ett diagram och en rapport. --export skriver också scenariots geometri, eller dess…

Validering och evidens

• ValideringsstatusOm toleranser. ”Validated” nedan betyder att ett kalibreringstest hävdar att den simulerade statistiken stämmer med…
• VerifieringsmatrisDet fullständiga, maskinkontrollerade evidensregistret: 401 rader — 176 VALIDATED, 221 MODELLED, 4 PARTNER.
• FörmågereferensFörmågekorten och alla 401 rader i verifieringsmatrisen.
• Varför rader förblir ModelledDe här förmågorna är implementerade utifrån publicerad fysik eller fysik från grundprinciper med tester, men är ärligt talat…
• Påståenden mot verklighetenEn oberoende granskning av en tidigare Kshana-version katalogiserade fjorton överdrivna påståenden (OC-0…OC-13): ställen där…
• ProveniensKshanas centrala ärlighetsprincip är att varje sensorparameter, fysikalisk modell och valideringsdatamängd…
• ReproducerbarhetKshana är byggt för att vara reproducerbart: samma indata ger samma resultat, och byggartefakterna kan…
• FörmågekartaKshana är en motor för evidens om prestanda och resiliens för PNT (positionering, navigering och tidssynkronisering), inte en fullständig…
• Standarder och interoperabilitetKshana talar de vanliga utbytesformaten för GNSS (global navigation satellite system)…
• Radtäckning”~95 % radtäckning” på README-märket, i README:s CI-tabell (continuous integration), crates.io…
• BevispaketEtt paket är en teknisk handling, inte ett juridiskt utlåtande.
• Datapartner och rader som lyftsKshana märker varje förmåga i ett maskinkontrollerat register (verifieringsmatrisen).

Tidssynkronisering

• Optiska länkar genom atmosfärenScenariotypen optisk atmosfär besvarar hur ofta en optisk länk till marken fungerar, varför den misslyckas…
• SlottimingScenariotypen slot-timing besvarar tre frågor för en klocka som går fritt mellan synkroniseringar…
• TelekomtidssynkroniseringDen här sidan listar varje gräns som scenariotypen telecom-timing kontrollerar, var och en kommer från och vad som…
• Vilseledd tidEn teknisk not för operatörer av tidsindexerade nät: konstellationer som dirigerar, tilldelar uppgifter eller lämnar över utifrån en…
• Holdover-test och tidssynkroniseringshårdvara i slinganTelekom- och kraftoperatörer testar ett tidssynkroniseringssystem genom att ta bort dess GNSS och se vad klockan gör.
• Klockloggformatsrc/clock_log.rs läser en uppmätt klocklogg till en normaliserad fasserie: ett likformigt rutnät av (time_s…
• HårdvarusäkerhetKshana är rådgivande programvara för forskning, simulering och test.

Integritet och störning

• Integritet och säkerhetKshana redovisar två kvalitetsmått (FoM) — Integritet och Säkerhet — som lätt förväxlas med de flygklassade storheterna med samma namn…
• Spektrum och vattenfallScenariotypen spectrum bygger GNSS-L-bandet (Global Navigation Satellite System), och varje annat band en…
• ARAIM-referensDen här noten dokumenterar Kshanas öppna implementation av Advanced Receiver Autonomous Integrity Monitoring…
• DO-316 / DO-229E-kartaDet här dokumentet kartlägger RTCA (tidigare Radio Technical Commission for Aeronautics) DO-229E (SBAS…
• Resiliens-korsreferensUtformad i linje med, inte betygsatt eller godkänd. Den kartlägger Kshanas simulerade förmågor mot de publicerade PNT-resiliens…

Mottagarförtroende och sjöfart

• Mottagarförtroendekshana receiver-trust läser en logg från en verklig GNSS-mottagare (global navigation satellite system), kör förtroende…
• Maritimt förtroendekshana receiver-trust kan för ett fartyg i rörelse poängsätta en levande förtroendesiffra 0-100 för varje positionsbestämning, utifrån…
• NMEA-träningsströmmarSjöfartsakademier och simulatorcentra kan mata Kshana-genererad NMEA 0183 till en bryggsimulator eller en…
• Störningskarta och ruttexponeringkshana interference-map bygger en bild per dag av var flygplan och fartyg rapporterade försämrade navigeringsdata…
• Störningskarta: datakällor och licenserKshanas utdata innehåller aldrig identifierare för enskilda flygplan eller fartyg (ICAO hex, MMSI, anropssignal, namn).
• Marina integrationerKshanas maritima förtroendepoäng (MARITIME-TRUST.md) kan nås från programvara som sportbåtsägare redan kör: en Signal K…
• Himmelsgeometri och horisontlinjerFram till 0,36 var varje synlighetstest mot jorden i motorn en enda elevationsgräns, mask_deg: en satellit…
• Förtroende som säkerhetstelemetrikshana trust-telemetry gör GNSS-förtroendeströmmen per epok (poäng 0-100, band, skäl) till signaler som en…
• Galileo OSNMA-verifieringEn verifierare på mottagarsidan för Galileo Open Service Navigation Message Authentication (OSNMA), i ren Rust.
• LunaNets förstärkta framåtsignalKshana implementerar spridningskoderna och meddelandelagret i LunaNet Augmented Forward Signal (AFS) som…
• Jammertest som domarekshana jammertest import läser Jammertests testkatalog och sändningsplan och gör ett testområdes…
• Maskin- och sensoringångarLäsare som för in andra mottagare, lösare och sensorer i receiver-trust-typen.
• Mottagarprotokoll som läsesEnbart läsning, genomgående: ingenting här skriver en byte till en mottagare, och det finns ingen sändningsväg av något slag.
• Störningsobservatorium: metodEn produkt per UTC-dag och region, från ett öppet arkiv med flygplanspositioner.
• Störningsobservatorium: resultatExempel på hur en dag läses: den 2026-09-15 innehöll arkivet 110 619 797 positionsrader i 79 826 spårfiler…
• kshana-benchEn öppen uppsättning uppgifter, delningar och mått för detektering av GNSS-störning och holdover av tidssynkronisering.

Compliance och testbänk

• Köra en mottagare mot ett scenarioEn mottagartillverkare som äger en GNSS-simulator för laboratoriebruk kan spela upp ett Kshana-scenarios fordonsrörelse genom…
• Compliance-kartläggningKöpare och mottagartillverkare svarar inför offentliga resiliensramverk.
• US DHS ramverk för resilient PNTRamverket beskriver resiliensnivåerna 0 till 4 uppbyggda av åtta numrerade krav, och en utvärdering…
• IMO-vägledning för fartygIMO:s text om GNSS-störning för fartyg är tunn: MSC.1/Circ.1644 riktar sig huvudsakligen till medlemsstaterna, och…
• EASA-vägledning för luftfartEASA:s Safety Information Bulletin är informativ, inte obligatorisk, och riktar sig till myndigheter, flyg…
• EU NIS2, artikel 21Artikel 21 listar, i punkt 2 led (a) till (j), de åtgärder som väsentliga och viktiga entiteter vidtar för att…
• EN 16803EN 16803 är en betald standard. Endast dess delstruktur och de klausulnummer som syns i offentliga katalog…

Banor

• SGP4-valideringKshanas banpropagerare är validerad mot den kanoniska referensen i gemenskapen för SGP4/SDP4 (SGP4…
• Validering av kraftmodellKshanas fullständiga kraftmotor (src/precise_od.rs) anpassad till verkliga precisionsbanprodukter från myndigheter, med ärliga…
• Solsystemet och andra himlakropparTypen constellation-design använder samma katalog för att bygga konstellationer runt någon av dessa kroppar…
• MånreferensstationMODELLED. Under de angivna antagandena (konstellationen, dess signal-i-rymden-fel, stationens inmätning…
• Rymdanvändarnavigering (gnss-ssv)Endast rådgivande. Modellerade resultat från angivna indata och en simulerad referens; inte en certifiering, en…
• Månbana och månyta som infrastrukturUtformningarna, indata och trösklarna fastställdes i xval/lunar-infra/PREREGISTRATION.md (incheckad innan någon studie…
• Uppdragsflöde: från uppskjutning till återinträdeRådgivande programvara, inte certifierad navigationsutrustning.
• Uppdragsflöde: månsegmentetFyra scenariotyper, var och en också en fastyp i gränssnittet mission-thread (src/mission_thread/): de…

Navigering i låg omloppsbana (LEO)

• LEO-positionering, -navigering och -tidssynkroniseringLEO-PNT är positionering, navigering och tidssynkronisering (PNT) från satelliter i låg omloppsbana (LEO), vid sidan av eller…
• LEO-signalutformningarScenariotypen leo-signal analyserar PNT-signaler (positionering, navigering och tidssynkronisering) i låg omloppsbana (LEO).
• LEO-passage och länkbudgetLEO-PNT är positionering, navigering och tidssynkronisering (PNT) från satelliter i låg omloppsbana (LEO).
• LEO-navigeringsmeddelandeScenariotypen leo-navmsg bygger det utsända efemerid- och klockmeddelandet för en satellit i låg omloppsbana (LEO)…
• Sammanslagen MEO- och LEO-positioneringTre scenariotyper ger positionering, navigering och tidssynkronisering (PNT) med satelliter i låg omloppsbana…
• KonstellationsutformningTypen constellation-design bygger en eller flera satellitkonstellationer runt jorden, månen, Mars…

Kvantsensorer

• KvantsensormodellerKshana är en simulator för PNT-resiliens (PNT: positionering, navigering och tidssynkronisering) med kvantsensor…
• Kallatom-interferometerDet mesta i Kshana driver sina kvantsensorer från publicerade Allan-/brus-koefficienter — uppslag i datablad (se…

API:er och integrationer

• Python-APIKshana levereras med ett förstklassigt Python-gränssnitt (application programming interface, API), byggt med PyO3 och maturin.
• npm och WebAssemblyKshana spelar upp jamming, spoofing och klockans holdover när GNSS-signaler (Global Navigation Satellite System)…
• Rust-crateKshana spelar upp jamming, spoofing och klockans holdover när GNSS-signaler (Global Navigation Satellite System)…
• MCP-serverkshana-mcp är en Model Context Protocol-server (MCP) för Kshana, simulatorn med öppen källkod för PNT…
• MCP-server: alla installationskanalerRådgivande, inte typgodkänd navigationsutrustning: operatören är fortsatt ansvarig för navigeringen.
• MCP-server: egenhostat HTTP-lägeKshana driver ingen slutpunkt. Det finns ingen delad kshana-server att peka en klient mot.
• Använda Kshana från en agentFör en agent (eller personen som styr en): vilket verktyg som ska anropas för vilken fråga, vad verktygen kan och…
• Var varje förmåga kan nåsVarje förmåga finns på de ytor där den är meningsfull; där en yta inte kan bära en förmåga, …
• JetBrains-pluginEtt inbyggt plugin som kör Kshanas PNT-resiliens-simulator inifrån vilken JetBrains-IDE som helst (IntelliJ IDEA…
• Var Kshana körsEn avgränsning av omfattningen, nedskriven så att ingen upptäcker den som ett åtagande på ett möte.
• ArkitekturKshana är en motor organiserad i lager över en gemensam kärna: sensorpaketen (klocka, tröghet…
• Var Kshana stårKshana är en öppen, reproducerbar motor för evidens om PNT-resiliens (positionering, navigering och tidssynkronisering).

Projekt

• ÄndringsloggAlla anmärkningsvärda ändringar i Kshana dokumenteras här.
• LicensieringKshana har dubbel licens. Du kan använda den öppna motorn under antingen den öppna licensen (AGPL-3.0) eller en…
• SäkerhetÖppna inte ett offentligt ärende för säkerhetskänsliga rapporter.
• BidraTack för ditt intresse. Kshana strävar efter att vara en neutral, reproducerbar, ärligt validerad referens för…
• StyrningDet här dokumentet anger hur Kshana styrs: vem som fattar beslut, hur, och vad projektet kommer och inte kommer att…
• UppförandekodVi som medlemmar, bidragsgivare och ledare lovar att göra deltagande i vår gemenskap till en trakasserifri…

Familjer av scenariotyper

• Kampanjer1 scenariotyp i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Klockor, tidssynkronisering och holdover9 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Konstellationer, täckning och geometri7 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• GNSS-mätningar, positionering och integritet6 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• GPS-nekad alternativ PNT5 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Tröghetsfusion och kvantsensorer9 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Jamming, spoofing och spektrumet6 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Navigering i låg omloppsbana7 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Månen och cislunart rum24 scenariotyper i motorn v0.40.0. Rådgivande: analysresultat från ett forsknings- och ingenjörsverktyg, inte…
• Uppdragsanalys, länkar och rymdoperationer14 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Uppdragsflöden1 scenariotyp i motorn v0.40.0. Rådgivande: analysresultat från ett forsknings- och ingenjörsverktyg, inte…
• Optisk PNT2 scenariotyper i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…
• Rymdanvändarnavigering1 scenariotyp i motor v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte…

Sidor för scenariotyper

92 sidor, en för varje scenariotyp, länkade från Varje scenariotyp, efter familj.

Ingår inte

Dokument om underhållsprocesser stannar i förrådet: docs/RELEASING.md (releaseprocedur); docs/WHEEL_TAGS.md (paketeringsdetaljer); docs/revisions/ (interna ändringsanteckningar); docs/design/ (interna utformningsanteckningar); README.pypi.md (PyPI-sidan; Python-API-dokumentet täcker den); .github/-mallar; docs/integrations.md (organiserad kring namngivna AI-produkter från tredje part, som den här webbplatsen inte nämner).