Dokumentation von Kshana
Alles hier wird zur Build-Zeit aus Markdown-Dateien gerendert, die im Repository von Kshana verfolgt werden (Engine v0.40.0), dazu zwei Referenzseiten, die aus den Szenariodateien und der Verifikationsmatrix erzeugt werden. Nichts für die Website wird von Hand geschrieben.
Erste Schritte
- ÜberblickKshana gibt jamming, spoofing und Uhr-Holdover wieder, wenn GNSS-Signale (Global Navigation Satellite System)…
- Einführung in die KonzepteDiese Seite erklärt, was Kshana tut und warum, beginnend bei null und aufbauend bis zur Physik.
- GlossarDefinitionen der in Kshana verwendeten Begriffe in einfacher Sprache.
- SprachenDer menschenlesbare Text der Engine liegt in 17 Sprachen neben Englisch vor: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
- Studio-LeitfadenKshana Studio: die Engine im Browser ausführen, ohne Installation.
- TutorialsPraktische, durchgerechnete Beispiele, die Sie von „ein mitgeliefertes Szenario ausführen“ zu „ein Ergebnis quantifizieren und verteidigen“ führen.…
- 1 · Ihre erste BahnAm Ende haben Sie die echte operative GPS-Konstellation propagiert, ihre Verfügbarkeit gelesen und…
- 2 · Uhr-HoldoverAm Ende haben Sie einen Uhr-Holdover bei verwehrten GNSS-Signalen (Global Navigation Satellite System) ausgeführt…
- 3 · Quanten gegen klassischDer Abschluss. Sie führen ein Szenario mit einem spoofing-Detektor und eine vollständig fusionierte Positionierung, Navigation und Zeitgebung aus…
- Durchgerechnetes Beispiel: Pipeline mit mehreren WerkzeugenDies führt eine Trajektorie durch die auf Standards beruhenden Szenarioarten für Interoperabilität und Missionsanalyse bis zum…
Szenarien
- SzenarioartenDie 92 eingebauten Szenarioarten, auf die kshana::api::run_toml verteilt, jede mit ihrer einzeiligen…
- Jede Szenarioart nach FamilieJede Szenarioart, auf die die Engine v0.40.0 verteilt (92), eingeordnet in 13 Familien.
- Jeder Befehlkshana <scenario.toml> führt ein Szenario aus; jeder andere Befehl ist ein Unterbefehl. kshana --help gibt die Nutzung aus…
- Jede OberflächeEine Engine, überall dieselben Ergebnisse. docs/SURFACES.md listet für jeden Befehl und jede Art, welche Oberfläche…
- FähigkeitsbereicheJede Fähigkeit der öffentlichen Karte, nach Bereich, mit ihrem Label im Register.
- SzenarioreferenzJede mitgelieferte Szenariodatei (193), nach Art gruppiert, mit ihren wichtigsten Einstellungen.
- ErgebnisschemaJeder Lauf schreibt ein versioniertes, selbstbeschreibendes JSON-Artefakt (JavaScript Object Notation) neben das Szenario.
- Echte TLEs verwendenDas mitgelieferte scenarios/orbit-sgp4-gps.toml trägt bereits echte TLEs (Zweizeilen-Elementesätze): die von Celestrak…
- KampagnenEin einzelnes Szenario beantwortet eine Frage zu einer Situation.
Ausgaben und Exporte
- LaufberichteJeder Lauf der Befehlszeilenschnittstelle (CLI) schreibt neben sein Ergebnis einen Bericht: ein druckbares HyperText…
- Animationsexport--animate macht aus den Zeitreihen eines Laufs etwas, das sich bewegt: ein animiertes Scalable Vector Graphics (SVG)…
- Interoperabilitätsexporte und -importeEin Lauf schreibt ein Ergebnisdokument, ein Diagramm und einen Bericht. --export schreibt außerdem die Geometrie des Szenarios oder seine…
Validierung und Nachweise
- ValidierungsstandZu Toleranzen. „Validiert“ bedeutet unten, dass ein Kalibrierungstest zusichert, dass die simulierte Statistik mit der…
- VerifikationsmatrixDas vollständige, maschinengeprüfte Nachweisregister: 401 Zeilen — 176 VALIDATED, 221 MODELLED, 4 PARTNER.
- FähigkeitsreferenzDie Fähigkeitskarten und alle 401 Zeilen der Verifikationsmatrix.
- Warum Zeilen modelliert bleibenDiese Fähigkeiten sind aus veröffentlichter oder aus Grundprinzipien abgeleiteter Physik mit Tests umgesetzt, sind aber ehrlich…
- Behauptungen gegen die WirklichkeitEin unabhängiges Audit einer früheren Version von Kshana hat vierzehn Überbehauptungen (OC-0…OC-13) verzeichnet: Stellen, an denen…
- HerkunftDie zentrale Disziplin der Ehrlichkeit bei Kshana ist, dass jeder Sensorparameter, jedes physikalische Modell und jeder Validierungsdatensatz…
- ReproduzierbarkeitKshana ist reproduzierbar gebaut: Dieselben Eingaben liefern dieselben Ergebnisse, und die Build-Artefakte lassen sich…
- FähigkeitskarteKshana ist eine Engine für Belege zu Leistung und Resilienz von PNT (Positionierung, Navigation und Zeitgebung), keine vollständige…
- Standards und InteroperabilitätKshana spricht die Standard-Austauschformate des GNSS (globales Satellitennavigationssystem)…
- ZeilenabdeckungDie „~95 % Zeilenabdeckung“ auf dem Badge der README, in der CI-Tabelle (kontinuierliche Integration) der README, dem crates.io…
- NachweispaketeEin Paket ist ein technischer Nachweis, kein Rechtsgutachten.
- Datenpartner und befördernde ZeilenKshana kennzeichnet jede Fähigkeit in einem maschinengeprüften Register (Verifikationsmatrix).
Zeitgebung
- Optische Verbindungen durch die AtmosphäreDie Szenarioart optical-atmosphere beantwortet, wie oft eine optische Verbindung zum Boden funktioniert, warum sie ausfällt…
- Slot-ZeitgebungDie Szenarioart slot-timing beantwortet drei Fragen für eine Uhr, die zwischen Synchronisationen frei läuft…
- Telekom-ZeitgebungDiese Seite listet jede Grenze auf, die die Szenarioart telecom-timing prüft, woher jede kommt und was…
- Getäuschte ZeitEine technische Notiz für Betreiber zeitindizierter Netze: Konstellationen, die nach einem Plan routen, Aufgaben verteilen oder übergeben…
- Holdover-Test und Zeitgebungshardware in der SchleifeTelekom- und Energiebetreiber testen ein Zeitgebungssystem, indem sie ihm GNSS wegnehmen und beobachten, was die Uhr tut.
- Formate für Uhrenlogssrc/clock_log.rs liest ein gemessenes Uhrenlog in eine normalisierte Phasenreihe: ein gleichmäßiges Gitter aus (time_s…
- HardwaresicherheitKshana ist beratende Software für Forschung, Simulation und Test.
Integrität und Störung
- Integrität und SicherheitKshana meldet zwei Gütemaße (FoMs) — Integrität und Sicherheit —, die leicht mit dem…
- Spektrum und WasserfallDie Szenarioart spectrum baut das L-Band des Global Navigation Satellite System (GNSS) und jedes andere Band, das ein…
- ARAIM-ReferenzDiese Notiz dokumentiert die offene Umsetzung von Advanced Receiver Autonomous Integrity Monitoring durch Kshana…
- DO-316 / DO-229E-ZuordnungDieses Dokument ordnet die RTCA (früher Radio Technical Commission for Aeronautics) DO-229E (SBAS…
- Resilienz-ZuordnungAbgeglichen mit, nicht bewertet oder zugelassen. Dies ordnet die simulierten Fähigkeiten von Kshana den veröffentlichten PNT-Resilienz…
Empfängervertrauen und Seefahrt
- Empfängervertrauenkshana receiver-trust liest ein Log eines echten Empfängers eines globalen Satellitennavigationssystems (GNSS), führt Vertrauens…
- Vertrauen in der Seefahrtkshana receiver-trust kann für ein fahrendes Schiff eine laufende Vertrauensangabe von 0-100 für jede Positionsbestimmung bewerten, aus…
- NMEA-TrainingsströmeSeefahrtsakademien und Simulatorzentren können von Kshana erzeugtes NMEA 0183 in einen Brückensimulator oder einen…
- Störungskarte und Routenexpositionkshana interference-map baut ein Tagesbild davon auf, wo Luftfahrzeuge und Schiffe beeinträchtigte Navigation meldeten…
- Störungskarte: Datenquellen und LizenzenAusgaben von Kshana enthalten nie Kennungen einzelner Luftfahrzeuge oder Schiffe (ICAO-Hex, MMSI, Rufzeichen, Name).
- Marine-IntegrationenDer maritime Vertrauenswert von Kshana (MARITIME-TRUST.md) ist aus Software erreichbar, die Skipper bereits nutzen: ein Signal K…
- Himmelsgeometrie und HorizontprofileBis 0,36 war jeder Sichtbarkeitstest der Erde in der Engine ein einziger Elevationsgrenzwinkel, mask_deg: ein Satellit…
- Vertrauen als Sicherheitstelemetriekshana trust-telemetry wandelt den GNSS-Vertrauensstrom je Epoche (Wert 0-100, Band, Gründe) in Signale um, die ein…
- Galileo-OSNMA-VerifikationEin empfängerseitiger Verifizierer für die Navigationsnachrichten-Authentifizierung des Galileo Open Service (OSNMA), in reinem Rust.
- LunaNet Augmented Forward SignalKshana implementiert die Spreizcodes und die Nachrichtenschicht des LunaNet Augmented Forward Signal (AFS) als…
- Jammertest als Schiedsrichterkshana jammertest import liest den Jammertest-Testkatalog und den Sendeplan und macht aus dem eines Testgebiets…
- Maschinen- und SensoreingabenLeser, die andere Empfänger, Löser und Sensoren in die Art receiver-trust einbinden.
- Gelesene EmpfängerprotokolleDurchgehend nur lesend: Hier wird kein einziges Byte an einen Empfänger geschrieben, und es gibt keinerlei Sendepfad.
- Störungsobservatorium: MethodeEin Produkt je UTC-Tag und Region, aus einem offenen Archiv von Flugzeugpositionen.
- Störungsobservatorium: ErgebnisseBeispiel dafür, was ein Tag ergibt: Am 2026-09-15 enthielt das Archiv 110.619.797 Positionszeilen in 79.826 Trace-Dateien…
- kshana-benchEin offener Satz von Aufgaben, Aufteilungen und Metriken für die GNSS-Störungserkennung und das Timing-Holdover.
Test-bench und compliance
- Einen Empfänger gegen ein Szenario laufen lassenEin Empfängerhersteller, der einen GNSS-Simulator im Labor besitzt, kann die Fahrzeugbewegung eines Kshana-Szenarios durch…
- Compliance-ZuordnungKäufer und Empfängerhersteller müssen sich an öffentlichen Resilienz-Rahmenwerken messen lassen.
- US-DHS-Rahmenwerk für resiliente PNTDas Rahmenwerk beschreibt die Resilienzstufen 0 bis 4, aufgebaut aus acht nummerierten Anforderungen, und eine Bewertung…
- IMO-Leitlinien für SchiffeDer GNSS-Störungstext der IMO für Schiffe ist dünn: MSC.1/Circ.1644 richtet sich hauptsächlich an die Mitgliedstaaten, und…
- EASA-Leitlinien für die LuftfahrtDas Safety Information Bulletin der EASA ist informativ, nicht verbindlich, und richtet sich an Behörden, Luft…
- EU-NIS2, Artikel 21Artikel 21 listet in Absatz 2, Buchstaben (a) bis (j), die Maßnahmen auf, die wesentliche und wichtige Einrichtungen ergreifen, um…
- EN 16803EN 16803 ist eine kostenpflichtige Norm. Nur ihre Teilestruktur und die Abschnittsnummern, die in öffentlichen Katalog…
Bahnen
- SGP4-ValidierungDer Bahnpropagator von Kshana wird gegen die kanonische Referenz der Community für SGP4/SDP4 validiert (SGP4…
- Validierung des KraftmodellsDie Vollkraft-Engine von Kshana (src/precise_od.rs), angepasst an reale präzise Bahnprodukte von Agenturen, mit ehrlichen…
- Sonnensystem und andere KörperDie Art constellation-design nutzt denselben Katalog, um Konstellationen um jeden dieser Körper zu bauen…
- MondreferenzstationMODELLED. Unter den genannten Annahmen (die Konstellation, ihr Signal-in-Space-Fehler, die Vermessung der Station…
- Navigation von Raumnutzern (gnss-ssv)Nur beratend. Modellierte Ergebnisse aus genannten Eingaben und einer simulierten Wahrheit; keine Zertifizierung, kein…
- Mondbahn und Mondoberfläche als InfrastrukturDie Entwürfe, Eingaben und Zielwerte wurden in xval/lunar-infra/PREREGISTRATION.md festgelegt (eingecheckt vor jeder Studie…
- Missionsstrang: vom Start bis zum WiedereintrittBeratende Software, keine zertifizierte Navigationsausrüstung.
- Missionsstrang: das MondsegmentVier Szenarioarten, jede zugleich eine Phasenart der Schnittstelle des Missionsstrangs (src/mission_thread/): sie…
Navigation in niedriger Erdumlaufbahn (LEO)
- LEO-Positionierung, -Navigation und -ZeitgebungLEO-PNT ist Positionierung, Navigation und Zeitgebung (PNT) von Satelliten in niedriger Erdumlaufbahn (LEO), neben oder…
- LEO-SignalentwürfeDie Szenarioart leo-signal analysiert Signale für Positionierung, Navigation und Zeitgebung (PNT) in niedriger Erdumlaufbahn (LEO).
- LEO-Überflug und Link-BudgetLEO-PNT ist Positionierung, Navigation und Zeitgebung (PNT) von Satelliten in niedriger Erdumlaufbahn (LEO).
- LEO-NavigationsnachrichtDie Szenarioart leo-navmsg baut die ausgesendete Ephemeride und Uhrennachricht eines Satelliten in niedriger Erdumlaufbahn (LEO)…
- Fusionierte MEO- und LEO-PositionierungDrei Szenarioarten liefern Positionierung, Navigation und Zeitgebung (PNT) mit Satelliten in niedriger Erdumlaufbahn…
- KonstellationsentwurfDie Art constellation-design baut eine oder mehrere Satellitenkonstellationen um die Erde, den Mond, den Mars…
Quantensensoren
- Quantensensor-ModelleKshana ist ein Simulator für PNT-Resilienz (PNT: Positionierung, Navigation und Zeitgebung) mit Quantensensor…
- Kaltatom-InterferometerDer größte Teil von Kshana betreibt seine Quantensensoren mit veröffentlichten Allan-/Rauschkoeffizienten, also Datenblatt-Nachschlagewerten (siehe…
APIs und Integrationen
- Python-APIKshana liefert eine erstklassige Python-Programmierschnittstelle (API) mit, gebaut mit PyO3 und maturin.
- npm und WebAssemblyKshana spielt Jamming, Spoofing und Uhren-Holdover nach, wenn GNSS-Signale (Global Navigation Satellite System)…
- Rust-CrateKshana spielt Jamming, Spoofing und Uhren-Holdover nach, wenn GNSS-Signale (Global Navigation Satellite System)…
- MCP-Serverkshana-mcp ist ein Model-Context-Protocol-Server (MCP) für Kshana, den quelloffenen Simulator für PNT…
- MCP-Server: jeder InstallationskanalBeratend, keine typzugelassene Navigationsausrüstung: Der Betreiber bleibt für die Navigation verantwortlich.
- MCP-Server: selbst gehosteter HTTP-ModusKshana betreibt keinen Endpunkt. Es gibt keinen gemeinsamen kshana-Server, auf den ein Client zeigen könnte.
- Kshana aus einem Agenten nutzenFür einen Agenten (oder die Person, die ihn lenkt): welches Werkzeug bei welcher Frage aufzurufen ist, was die Werkzeuge tun und…
- Wo jede Fähigkeit erreichbar istJede Fähigkeit ist auf den Oberflächen verfügbar, auf denen sie sinnvoll ist; wo eine keine Fähigkeit tragen kann, die…
- JetBrains-PluginEin natives Plugin, das den PNT-Resilienz-Simulator Kshana aus jeder JetBrains-IDE heraus ausführt (IntelliJ IDEA…
- Wo Kshana läuftEine Grenze des Umfangs, aufgeschrieben, damit niemand sie in einer Besprechung als Zusage entdeckt.
- ArchitekturKshana ist eine Engine, in Schichten über einem gemeinsamen Kern organisiert: die Sensorpakete (Uhr, Inertial…
- Wo Kshana einzuordnen istKshana ist eine offene, reproduzierbare Engine für Nachweise zur Resilienz von PNT (Positionierung, Navigation und Zeitgebung).
Projekt
- ÄnderungsprotokollAlle wesentlichen Änderungen an Kshana sind hier dokumentiert.
- LizenzierungKshana ist doppelt lizenziert. Sie dürfen die offene Engine entweder unter der offenen Lizenz (AGPL-3.0) oder einer…
- SicherheitBitte eröffnen Sie für sicherheitsrelevante Meldungen kein öffentliches Issue.
- MitwirkenDanke für Ihr Interesse. Kshana will eine neutrale, reproduzierbare, ehrlich validierte Referenz für…
- GovernanceDieses Dokument legt fest, wie Kshana geführt wird: wer Entscheidungen trifft, wie, und was das Projekt tun und nicht tun wird…
- VerhaltenskodexWir, die Mitglieder, Mitwirkenden und Verantwortlichen, verpflichten uns, die Teilnahme an unserer Gemeinschaft belästigungsfrei zu…
Familien der Szenarioarten
- Kampagnen1 Szenarioart der Engine v0.40.0. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, nicht…
- Uhren, Zeitgebung und Holdover9 Szenarioarten der Engine v0.40.0. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, nicht…
- Konstellationen, Abdeckung und Geometrie7 Szenarioarten der Engine v0.40.0. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, nicht…
- GNSS-Messungen, Positionierung und Integrität6 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- GPS-verwehrte alternative PNT5 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- Inertiale Fusion und Quantensensoren9 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- Jamming, Spoofing und das Spektrum6 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- Navigation im niedrigen Erdorbit7 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- Mond und cislunar24 Szenarioarten der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine…
- Missionsanalyse, Verbindungen und Raumfahrtbetrieb14 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- Missionsstränge1 Szenarioart der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine…
- Optische PNT2 Szenariotypen der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
- Navigation für Raumfahrtnutzer1 Szenariotyp der Engine v0.40.0. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, nicht…
Seiten zu den Szenariotypen
92 Seiten, eine für jede Szenarioart, verlinkt von Jede Szenarioart nach Familie.
Nicht enthalten
Dokumente zum Maintainer-Prozess bleiben im Repository: docs/RELEASING.md (Release-Verfahren); docs/WHEEL_TAGS.md (Packaging-Details); docs/revisions/ (interne Änderungsnotizen); docs/design/ (interne Designnotizen); README.pypi.md (die PyPI-Seite; die Dokumentation der Python-API deckt sie ab); .github/-Vorlagen; docs/integrations.md (an benannten KI-Produkten Dritter ausgerichtet, die diese Website nicht nennt).