Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Rejouer Mission T+00:00:00 Scénario campaign-jam-spoof-holdover-integrity Nominal Moteur v0.40.0 · graine 20260928Exécution réelle

v0.40.0Open source · AGPL-3.0 · par Ashforde®

Kshana · क्षण · l'instant précis

Répétez la minute où le GNSS s'éteint.

Kshana est un simulateur open source de la résilience PNT (positionnement, navigation et synchronisation temporelle). Rejouez brouillage, leurrage et holdover d'horloge quand les signaux GNSS (Global Navigation Satellite System) défaillent, dans un moteur Rust qui s'exécute directement dans votre navigateur, et voyez exactement quels résultats ont été vérifiés par rapport à des références indépendantes.

Lancer Kshana Studio

Appuyez sur ⌘K pour rechercher des pages, des scénarios et de la documentation

Kshana ProMême moteur, amplifié : 608 conceptions, un seul front de Pareto

Journal des événements · campaign-jam-spoof-holdover-integrityÉvénements réels

D'où vient chaque tracé

Campagne : moteur v0.40.0, compilation 3395218 · campaign-jam-spoof-holdover-integrity.toml · graine 20260928Ouvrir dans Kshana StudioRapport JSON TOML

Orbites : moteur v0.40.0, compilation 3395218 · constellation-multi-gnss-coverage.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport JSON TOML

La console, les trois cartes et le journal rejouent une exécution enchaînée de 6 phases et 18 exécutions membres sur sa grille de 10 s (T+01:16:10 de temps de mission). Les orbites sont les 102 satellites de GPS, Galileo, BeiDou et GLONASS de l'exécution de constellation, chacune retrouvée comme une orbite képlérienne circulaire à partir de la trace au sol du moteur (pire résidu 0,0034°), rayons compressés pour l'affichage. Les liaisons sont tracées vers les satellites au-dessus du masque de 10° de l'exécution de constellation (25° dans la phase d'alarme d'intégrité, le masque de réacquisition de la campagne), atténuées par son brouillage et coupées en holdover. Terre : NASA Blue Marble et Black Marble. Kshana Studio rejoue l'exécution enchaînée dans votre navigateur ; le rapport propre du moteur et la commande reproduisent chaque exécution.

92types de scénario 181fichiers de scénario fournis 401capacités dans la matrice de vérification 176/401validées par rapport à des références externes indépendantes 6articles sur arXiv fondés sur le moteur ouvertLire la recherche WASMs'exécute dans le navigateur en WebAssembly, sans installation

Nouveau dans la v0.40.0 : un fil de mission, une étiquette de preuve sur chaque figure et dix-sept langues

Ce que fait chacun et ce qui a été vérifié · Tous les canaux d'installation

Console bande L · le type de scénario spectrum

Regardez un brouilleur prendre la bande.

La bande L du GNSS en une seule PSD (densité spectrale de puissance) : la fréquence en abscisse, le temps vers le bas, la couleur pour la puissance au-dessus du plancher de bruit. Les signaux se trouvent sous ce plancher, de sorte que ce qui s'allume, ce sont les brouilleurs : un chirp, une onde entretenue (CW) et du bruit à bande étroite. Survolez, touchez ou utilisez les touches fléchées pour obtenir le C/N0 (densité porteuse sur bruit) et le J/S (rapport brouilleur sur signal) de chaque bande.

kshana spectrum · l-band-waterfall-jamming.toml Exécution réelle

La cascade est dessinée à partir de l'exécution enregistrée avec JavaScript. Le rapport du moteur ci-dessous montre la même exécution.

Exécution enregistrée de l-band-waterfall-jamming.toml (graine 7, moteur v0.40.0) : 5 bandes GNSS, 3 brouilleurs sur 60 s, plancher de poursuite 25 dB-Hz. Brouilleurs : dispositif de confidentialité à balayage à 1 575,42 MHz de 10 s à 40 s ; tonalité CW sur L1 à 1 575,42 MHz de 30 s jusqu'à la fin ; bruit à bande étroite sur L2 à 1 227,60 MHz de 45 s jusqu'à la fin.

GPS L1 C/A perd l'accrochage à 10 s et ne le retrouve pas, minimum 3,2 dB-Hz. Galileo E1 perd l'accrochage à 10 s et le retrouve à 40 s, minimum 4,4 dB-Hz. GPS L2C poursuit sans interruption, minimum 36,9 dB-Hz. GPS L5 poursuit sans interruption, minimum 44,1 dB-Hz. Galileo E5a poursuit sans interruption, minimum 46,7 dB-Hz.

La campagne qu'elle pilote, campaign-spectrum-holdover-integrity.toml (graine 20260928) : brouillage en bande L issu du spectre, holdover d'horloge et repli sur Galileo seul. Holdover pendant 600 s avec l'horloge en marche libre, pire erreur de temps 5,06 ns pour une garde de 50 ns ; puis un repli sur Galileo seul avec un niveau de protection de 6,1 à 17,7 m, sous la limite d'alerte de 50 m.

La campagne que pilote cette exécution · chaque phase suit l'état du brouilleur

Exécution du moteur de l-band-waterfall-jamming.tomlOuvrir dans Kshana Studio Rapport du moteur

Le scénario, les données de résultat, l'exécution de campagne et ce qui est modélisé

Exécution du spectreFichier de scénario Données de résultat

Campagne qu'elle pilote : campaign-spectrum-holdover-integrity.tomlOuvrir dans Kshana Studio Rapport du moteur Fichier de scénario

Modélisé : des spectres en forme close sur un plancher de bruit thermique, notés par bande selon la séparation spectrale ; les puissances et les instants des brouilleurs sont des entrées du scénario. L'axe du temps compte les secondes avant maintenant ; la ligne cyan marque l'endroit où la relecture a redémarré. Kshana Studio exécute le même scénario dans votre navigateur et rejoue la cascade ; le rapport et la commande reproduisent l'exécution.

01Chronologie de la mission · faites défiler ou glissez pour parcourir

1/6Nominal

Tous les satellites sont poursuivis. L'horloge est asservie au temps GNSS, et le niveau de protection reste bien en dessous de la limite d'alerte.

T+00:00:00

Temps de mission

kshana campaign · campaign-jam-spoof-holdover-integrity · graine 20260928 Exécution réelle

Phases · exécutions membres

NominalT+00:00:00
- clockgraine 42
- jamminggraine 1
- integritygraine 7
BrouillageT+00:10:00
- clockgraine 43
- jamminggraine 1
- integritygraine 7
LeurrageT+00:20:00
- spoof
- spoof-detect
- jamminggraine 1
HoldoverT+00:26:10
- clockgraine 44
- gnss-insgraine 7
- jamminggraine 1
Alarme d'intégritéT+00:56:10
- clockgraine 45
- jamminggraine 1
- integritygraine 7
RétablissementT+01:06:10
- clockgraine 46
- jamminggraine 1
- integritygraine 7

6 phases · 18 exécutions membres de types de scénario existants

Erreur de temps de l'horlogens · garde 50

–

C/N0dB-Hz · plancher 25

–

PL et ALmètres · AL 50

–

NominalBrouillageLeurrageHoldoverAlarme d'intégritéRétablissement

T+00:00:00 → T+01:16:10 de temps de mission · l'exécution enchaînée, et non trois exécutions côte à côtePL = niveau de protection · AL = limite d'alerte · INS = système de navigation inertielle

Moteur v0.40.0, compilation 3395218 · campaign-jam-spoof-holdover-integrity.toml · graine 20260928Ouvrir dans Kshana StudioRapport JSON TOML

02Capacités

Un seul moteur pour toute la chaîne de défaillances.

Du premier satellite brouillé à la dernière nanoseconde de holdover d'horloge : signaux, capteurs, horloges, orbites et intégrité dans un seul simulateur. Chaque image ci-dessous est une vraie exécution du moteur, et dit laquelle.

Interférence

Brouillage et interférence GNSS

Un brouilleur à large bande sur un mât et un récepteur déplacé sur une grille autour de lui : chaque cellule est sa propre exécution du type de scénario jamming du moteur. La teinte est le J/S moyen (rapport brouilleur sur signal) ; les cellules rouges ont perdu tous les satellites.

Moteur v0.40.0 · maritime-strait-jamming.toml · graine 1 · récepteur déplacé à chaque celluleOuvrir dans Kshana Studio Chaque cellule, sur Missions

Tromperie

Détection de leurrage

Un leurre capture le récepteur et fait dériver son heure à vitesse constante. Le moniteur d'intégrité de chaque horloge a sa propre borne de détection : l'horloge quantique signale le mensonge presque aussitôt, la classique seulement une fois le décalage creusé.

Moteur v0.40.0 · spoof-attack.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport

Horloges

Holdover d'horloge selon les classes d'oscillateurs

À partir du moment où le GNSS disparaît : la médiane et le 95e centile de 200 exécutions Monte Carlo pour une horloge atomique à l'échelle d'une puce (CSAC) et une horloge optique à réseau, et l'erreur à un jour de quatre autres classes : une horloge maîtresse optique, un maser à hydrogène, un étalon de fréquence atomique au rubidium (RAFS) et sa version miniature (mini-RAFS).

Moteur v0.40.0 · clock-ensemble.toml · graine 42Ouvrir dans Kshana StudioRapport

Colonne à un jour : moteur v0.40.0 · lunar-time-budget.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport

Navigation à l'estime

Inertie GNSS/INS

Quand le GNSS tombe, l'INS (système de navigation inertielle) continue et son cône d'erreur s'ouvre. Deux centrales inertielles (IMU), un seul budget.

Moteur v0.40.0 · small-uas-jammed-nav.toml · graine 7Ouvrir dans Kshana StudioRapport

Synchronisation temporelle

Synchronisation des créneaux

Combien de temps une horloge reste dans son intervalle de garde après la dernière solution : la question qui importe aux réseaux à créneaux temporels.

Moteur v0.40.0 · slot-timing-ocxo-leo.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport

Intégrité

RAIM et ARAIM

Niveaux de protection (PL) issus de la surveillance autonome de l'intégrité par le récepteur (RAIM) et de sa forme avancée (ARAIM), vérifiés par rapport à la limite d'alerte : ici, la phase d'alarme d'intégrité de la mission enchaînée. Les barres hachurées sont des époques où aucun niveau de protection n'a pu être formé.

Moteur v0.40.0, compilation 3395218 · campaign-jam-spoof-holdover-integrity.toml · graine 20260928Ouvrir dans Kshana StudioRapport JSON TOML

Télécoms

Gabarits de synchronisation temporelle

MTIE (erreur d'intervalle de temps maximale) et TDEV (déviation de temps) d'un holdover de 24 heures par rapport aux limites de l'UIT-T (Union internationale des télécommunications, Secteur de la normalisation des télécommunications), ici celle du PRTC-A (horloge de temps de référence primaire, classe A).

Moteur v0.40.0 · telecom-prtc-holdover-24h.toml · graine 20260925Ouvrir dans Kshana StudioRapport

Astrodynamique

Orbites : SGP4 et numérique

Propagation SGP4 (Simplified General Perturbations 4) d'un vrai jeu d'éléments à deux lignes, tracée sur de la vraie imagerie ; éphémérides CCSDS OEM et SP3 en entrée et en sortie.

Moteur v0.40.0 · ephemeris.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport

Cislunaire

PNT lunaire

Positionnement, navigation et synchronisation temporelle autour de la Lune : niveaux de protection horizontal et vertical (HPL, VPL) issus de l'ARAIM sur un service de navigation lunaire.

Moteur v0.40.0 · lunanet-araim.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport

Capteurs émergents

Études de compromis sur les capteurs quantiques

Pesez une horloge quantique face à une horloge classique avant que quiconque n'achète du matériel : holdover sur un balayage du bruit de l'horloge classique.

Moteur v0.40.0 · sweep-clock-stability.toml · graine 42Ouvrir dans Kshana StudioRapport

Fonctionne partout

Navigateur, terminal, notebook, IDE, assistant

Le même moteur Rust est livré en WebAssembly pour Kshana Studio, en CLI (interface en ligne de commande), en paquets Python et JavaScript, en extension JetBrains Marketplace pour votre IDE (environnement de développement intégré) et en serveur MCP (Model Context Protocol).

WebAssemblycargo install kshanapip install kshananpm install kshanaJetBrains Marketplacecargo install kshana-mcpimage ghcr.ioCCSDS OEMSP3

CCSDS OEM : Consultative Committee for Space Data Systems Orbit Ephemeris Message. SP3 : format d'orbite Standard Product 3.

Périmètre, dit sans détour

Ce que Kshana n'est pas

Connaître les limites compte autant que connaître les fonctions.

Pas un matériel générateur de signaux RFIl ne pilote aucune radio et n'émet rien ; sa sortie au niveau du signal est constituée de fichiers d'échantillons IQ en bande de base pour des récepteurs logiciels.

Pas un récepteur GNSS matériel ni certifiéSon récepteur logiciel (acquisition et poursuite sur IQ enregistré ou généré) est un outil d'analyse, non un produit de navigation.

Pas un produit de volUn instrument d'étude et de compromis, dont chaque réponse est étiquetée validée ou modélisée.

03Assistants IA · kshana-mcp

Demandez à votre assistant IA. Le moteur répond.

Votre assistant d'IA (intelligence artificielle) exécute le moteur via MCP (Model Context Protocol) grâce à kshana-mcp et relit du JSON (JavaScript Object Notation).

InstallationGénéré à partir du dépôt

Pour tout le monde, rien à installer.

Lancer Kshana Studio

Le moteur s'exécute localement en WebAssembly ; rien n'est téléversé.

Ouvrir Kshana Studio Guide du Studio

Pour les ingénieurs qui veulent la commande kshana.

Puis vérifiezkshana --version

crates.io : kshana Utilisation de la ligne de commande

Pour les analystes et les notebooks.

Puis vérifiezpython -c "import kshana; print(kshana.version())"

PyPI : kshana Guide de l'API Python

Pour les développeurs web et Node.js.

Puis vérifieznpm ls kshana

npm : kshana Guide npm et WebAssembly

Pour quiconque utilise un assistant compatible MCP.

Puis vérifiezcargo install --list | grep kshana-mcp

crates.io : kshana-mcp Guide du serveur MCP

Enregistrez-le ensuite dans la configuration du client MCP de votre assistant. Configuration complète sur Développeurs

Assistant IA + kshana-mcp Session enregistrée

Les messages qu'un assistant échange avec kshana-mcp, capturés depuis le serveur.

Une session enregistrée avec le serveur kshana-mcp (Model Context Protocol, moteur v0.40.0) : l'assistant énumère les 49 outils, valide clock-holdover.toml (valide : type de scénario détecté `clock`) et l'exécute : scénario 5ba83a232b94 | holdover quantique 6600s p95 1.20e-4ns intégrité 1,000 sécurité n/a (aucune attaque) | holdover classique 2610s p95 19.7ns intégrité 1,000 sécurité n/a (aucune attaque).

animate_scenario : Exécute un scénario Kshana et renvoie sa série temporelle sous forme d'animation.
assess_receiver_log : Évalue la confiance accordée à un journal réel de récepteur GNSS : lit un journal u-blox UBX, RINEX 3 (éventuellement avec la navigation diffusée, qui ajoute la position propre du moteur, le RAIM et un moniteur assisté par l'horloge), Android GnssLogger ou NMEA, exécute les moniteurs de confiance (baisse du rapport porteuse sur densité de bruit, AGC, indicateur de brouillage, perte d'accrochage, saut de position, RAIM, horloge) par rapport à une référence de base d'étalonnage, et indique quand et pourquoi le récepteur a cessé d'être digne de confiance.
assess_vessel_log : Évalue un journal NMEA 0183 de navire comme une exécution par lot (`kshana receiver-trust` avec `[platform] kind = "vessel"`) : le modèle de score, les moniteurs exécutés et le score de 0 à 100 de chaque époque avec ses déductions, sa géométrie satellitaire (bonne, dégradée, inconnue) avec un `label` (good, fair, poor) sur chaque époque, la géométrie ne déduisant que lorsqu'elle est mauvaise, et une classe sur chaque déduction (géométrie, environnement, incohérence), avec `geometry_model` (seuils, plafond et plancher en vigueur, et provenance) et `geometry_summary`.
assess_vessel_stream : Calcule le score d'un extrait borné d'un flux NMEA 0183 de navire comme le fait `kshana receiver-trust live`, et renvoie l'état de confiance par époque (calibrating, nominal, degraded, untrusted) et le score de 0 à 100 avec les moniteurs qui ont déduit des points (schéma JSON-lines live 1,3 : chaque époque porte `position`, une déclaration `advisory` indiquant que la sortie est à titre consultatif, et sa `geometry` satellitaire (good, degraded avec des raisons telles que few-satellites ou high-pdop, ou unknown lorsque l'extrait n'a ni GSV ni GSA) avec un `label` (good, fair, poor ; la géométrie ne déduit que lorsqu'elle est poor) ; chaque déduction porte une `class` : geometry (le ciel, et non la constatation qu'aucune attaque n'a eu lieu), environment ou inconsistency (semblable à une attaque)), le résumé (décomptes par état, géométrie et classe, score le plus bas et final, moment où la première époque untrusted est survenue) et la dernière phrase `$PKSHT`.
attach_evidence_timestamp : Associe un jeton d'horodatage RFC 3161 à un paquet de preuves (`kshana evidence attach-timestamp`), en mémoire : `files` est un paquet tel que le renvoie `create_evidence_pack`, `token_base64` les octets du fichier `.tsr` provenant d'une autorité d'horodatage.
build_interference_map : Construit une carte d'interférence GNSS à partir de rapports de position d'aéronefs (ADS-B NIC/NACp) ou de navires (AIS) sous licence ouverte, fournis sous forme de texte CSV (`kshana interference-map adsb|ais`).
compliance_mapping : La correspondance statique avec les cadres publics (`kshana compliance-report --mapping` / `--sources`) en Markdown : un tableau par cadre avec, pour chaque ligne, l'exigence paraphrasée, les sorties de Kshana qui apportent des éléments de preuve en faveur de celle-ci et l'écart que ces sorties ne comblent pas ; ou, avec `sources` à true, les documents sources que citent les tableaux, avec leurs versions et leurs URL.
compliance_report : Remplit la correspondance avec les cadres publics à partir de documents de résultats Kshana (`kshana compliance-report`) : quelles lignes de six cadres et normes de résilience (le cadre US DHS Resilient PNT v2.0, les orientations de l'OMI pour les navires, les orientations de l'EASA pour l'aviation, NIS2 article 21, EN 16803, NIST IR 8323r1) les exécutions fournies apportent des éléments de preuve en faveur de, lesquelles non, et l'écart que conserve chaque ligne.
create_evidence_pack : Crée un paquet de preuves signé pour une fenêtre d'un journal NMEA 0183 de navire (`kshana receiver-trust evidence`) : les octets bruts du journal pour la fenêtre, la configuration avec chaque seuil, les résultats et motifs par époque, une page de synthèse autonome, et un manifeste listant le SHA-256 de chaque fichier avec l'empreinte du journal complet et une chaîne d'empreintes, signé avec Ed25519.
create_round_trip_pack : Crée le paquet aller-retour de laboratoire signé (`kshana evidence round-trip`, docs/spec/TEST-CONDITIONS.md) : relie par empreinte le scénario qui a produit le mouvement, le document `kshana.test-conditions/1` du laboratoire, le journal du récepteur et son score par rapport aux événements déclarés, dans un paquet de preuves signé dont `config.json` porte un bloc `round_trip`.
export_interop : Exporte un scénario Kshana dans un format d'interopérabilité : `czml` (Cesium Language, pour CesiumJS), `kml` (Keyhole Markup Language, pour Google Earth et les outils de système d'information géographique), `geojson` (RFC 7946), `stk` (éphéméride Systems Tool Kit `.e`, un fichier par satellite) ou `sigmf` (enregistrement Signal Metadata Format des échantillons synthétisés d'un scénario `spectrum`).
export_oem : Exporte la constellation propagée d'un scénario `orbit` sous forme de texte d'éphéméride CCSDS OEM 2,0 : la série temporelle d'états inertiels (TEME) portant la position ET la vitesse, que lisent les outils de dynamique du vol (GMAT / Orekit / STK).
export_omm : Exporte les éléments moyens d'un scénario `orbit` sous forme de catalogue CCSDS 502.0-B-2 OMM (Orbit Mean-Elements Message) : un OMM par satellite.
export_sp3 : Exporte la constellation propagée d'un scénario `orbit` sous forme de texte d'éphéméride précise SP3-c (le format standard de post-traitement GNSS).
export_table_csv : Exécute un scénario Kshana et renvoie son tableau de reproductibilité sous forme de texte CSV : le tableau stable à l'octet près que la CLI écrit sous `<scenario>.table.csv` et que citent les articles.
export_test_bench : Exporte le mouvement du véhicule et les événements d'un scénario pour un simulateur GNSS de laboratoire (`kshana bench-export`, docs/TEST-BENCH.md) : un CSV de mouvement et sa description JSON (position terrestre fixe et géodésique, vitesse, attitude, UTC), des phrases NMEA 0183 GGA/RMC, un texte de points de passage lorsque la grille d'échantillonnage est régulière à la milliseconde, et les événements du scénario en CSV et en TOML `[[events]]` pour un scénario `receiver-trust`.
fit_imu_log : Ajuste les paramètres de capteur des scénarios `hybrid` et `fusion` à partir d'un journal IMU stationnaire (`kshana imu-fit`, docs/MACHINE-INPUTS.md).
generate_training_nmea : Génère du NMEA 0183 synthétique de passerelle pour la formation des équipages à partir d'un TOML `nmea-scenario` (`kshana nmea-scenario`) : une trace de navire et une chronologie d'événements scriptés (brouillage, dérive de la position, leurrage temporel, retard de rejeu, avec rétablissement).
get_example_scenario : Renvoie le texte TOML d'un scénario de référence fourni, octet pour octet le fichier que le dépôt livre sous `scenarios/`.
import_route : Écrit un itinéraire GeoJSON dans un scénario Kshana qui parcourt une trace de points de passage, et renvoie le nouveau TOML du scénario (à exécuter avec run_scenario).
iq_acquire : Acquisition par FFT d'un ou plusieurs PRN sur un enregistrement IQ du répertoire de travail (`kshana iq acquire`).
iq_campaign : Exécute une campagne de rejeu en laboratoire conservée dans le répertoire de travail (`kshana iq campaign`) : enregistrements (chacun décrit par un fichier `kshana.test-conditions/1` énonçant la vérité connue du laboratoire) x chaînes de frontal x conceptions de boucle, chaque cellule étant suivie et notée par rapport aux conditions déclarées (temps jusqu'à la perte d'accrochage, temps de réacquisition, dégradation du C/N0 par rapport au J/S déclaré à côté d'une référence analytique étiquetée MODELLED, taux de faux accrochage, gigue PLL/DLL, disponibilité).
iq_campaign_status : Indique l'avancement d'une campagne de rejeu en laboratoire à partir de son dossier de sortie dans le répertoire de travail, en lecture seule : cellules terminées et en attente, enregistrements, frontaux et conceptions du plan, et le `digest` une fois toutes les cellules terminées.
iq_frontend : Applique le traitement du signal de frontal de récepteur et d'atténuation des interférences à un enregistrement IQ du répertoire de travail et écrit le résultat comme un nouvel enregistrement brut avec un fichier annexe `<out>.json` (`kshana iq frontend`).
iq_info : Décrit un enregistrement IQ du répertoire de travail sans le traiter : nature (brut avec fichier annexe, SigMF, collection SigMF), format d'échantillon, fréquence d'échantillonnage, fréquence centrale, nombre total d'échantillons, durée, fichiers de données et leur taille, limites de capture et nombre d'annotations, en JSON (la même ligne qu'affiche `kshana iq info`).
iq_labfit : Ajuste le modèle de perte d'accrochage de la boucle de poursuite à des essais de laboratoire (`kshana iq labfit`) : un TOML de scénario `iq-labfit` nomme un ou plusieurs essais, chacun étant un journal de récepteur avec ses conditions d'essai déclarées ; le moteur charge chaque journal, ajuste les modèles de boucle et empirique, estime l'incertitude par bootstrap et calcule l'erreur sur le jeu réservé.
iq_monitor : Exécute les moniteurs de détection d'interférence et de leurrage sur un enregistrement IQ du répertoire de travail (`kshana iq monitor`) : les moniteurs à large bande `power` et `spectral` et, avec `signal` + `prns`, les moniteurs de C/N0 et de qualité du signal par satellite, chacun par rapport à une référence de base apprise sur les premières `baseline_s` secondes (ou à partir d'un fichier de réglages).
iq_scene : Génère une scène IQ GNSS multi-satellites dans un fichier du répertoire de travail (`kshana iq scene`).
iq_signals : La configuration de la couche IQ GNSS, en JSON : `signals` (les noms de signaux qu'acceptent iq_scene, iq_acquire et iq_track), `enabled` (si les outils de fichiers IQ sont activés), `work_dir` (le seul dossier qu'ils lisent et dans lequel ils écrivent ; chaque chemin passé en argument est relatif à celui-ci), `max_samples` (le plus grand nombre d'échantillons complexes qu'un appel peut générer ou traiter) et, lorsqu'ils sont désactivés, `reason`.
iq_sweep : Rejoue un enregistrement IQ du répertoire de travail sur plusieurs conceptions de boucle de poursuite et indique le résultat en régime établi de chacune (`kshana iq sweep`) : les conceptions sont toutes celles d'un fichier `kshana.loop-design/1` (`design`), ou le produit des listes `pll_bws_hz`, `dll_bws_hz`, `spacings_chips` et `coherents` sur la conception intégrée.
iq_test_conditions : Valide un fichier de conditions d'essai de laboratoire (`kshana iq conditions`) : un fichier `kshana.test-conditions/1`, en texte TOML ou JSON, énonçant la vérité connue du laboratoire pour un enregistrement (les satellites attendus, le temps de stabilisation, le calendrier déclaré de brouillage ou d'interférence).
iq_track : Acquiert puis poursuit un ou plusieurs PRN sur un enregistrement IQ du répertoire de travail (`kshana iq track`) : l'acquisition initialise chaque canal, puis le banc de boucles DLL/PLL (éventuellement assisté par FLL) rejoue l'enregistrement une fois.
jammertest_import : Lit le catalogue d'essais et le plan de transmission publiés de Jammertest (NPRA/jammertest-plan, MIT) comme vérité planifiée (`kshana jammertest import`) : les créneaux d'une zone d'essai deviennent des événements receiver-trust, avec l'identifiant du catalogue et l'année dans chaque libellé.
jammertest_score : Note un journal de récepteur par rapport au calendrier Jammertest (`kshana jammertest score`) : pour chaque essai planifié, la latence de détection (première alarme moins début prévu), s'il a été détecté dans la tolérance, tardivement ou manqué, et le temps de rétablissement (une période sans alarme de `recover_hold_s`), ainsi que les fausses alarmes hors de tout créneau et de sa marge de garde.
list_example_scenarios : Liste les scénarios de référence fournis en JSON : `count`, et `scenarios`, un tableau de `name`, `kind` et `about` (la première phrase du commentaire d'en-tête du fichier lui-même).
list_export_formats : Indique quels formats d'export d'interopérabilité s'appliquent à un scénario Kshana, sans l'exécuter : un tableau JSON avec une entrée par format (`czml`, `kml`, `geojson`, `stk`, `sigmf`) donnant `applies`, la `reason` lorsqu'il ne s'applique pas, et `spec_url`, la spécification publiée que suit l'écrivain.
list_scenario_kinds : Liste chaque type de scénario Kshana intégré avec sa description et ses champs TOML obligatoires/facultatifs, sous forme de tableau JSON.
list_standards_packs : Liste les paquets de normes (`kshana standards-pack list`) : des ensembles de scénarios notés pour les profils d'essai du cadre DHS Resilient PNT, l'OMI MSC.1/Circ.1575 et l'ICAO Doc 9849 Appendice F, chacun avec les seuils qu'il énonce avant l'exécution et les lignes de compliance en faveur desquelles il apporte des éléments de preuve.
lunanet_afs_check : Vérifie le LunaNet Augmented Forward Signal (AFS) par rapport à la spécification publiée, arrêtée sur LNIS Version 5 Applicable Document 1 Volume A (LSIS-AFS V1.0, 29 janvier 2025) (`kshana lunanet-afs-check`, docs/LUNANET-AFS.md).
render_leaderboard : Produit les fichiers de résultats kshana-bench (`kshana bench leaderboard`) sous forme de page de classement statique, en texte HTML dans la réponse : `results` est une liste de textes JSON `kshana-bench-result/1` (au plus 256, 4 MiB chacun), chacun validé d'abord ; un fichier noté selon une autre version majeure de la spécification est refusé, car les résultats de versions majeures différentes ne sont jamais réunis dans un même tableau.
report_scenario : Exécute un scénario Kshana et renvoie son rapport : un résumé exécutif, les entrées, chaque chiffre de résultat avec son unité et son étiquette VALIDATED ou MODELLED, les événements, les lignes de capacités sollicitées par l'exécution, et un enregistrement de reproductibilité (version du moteur, empreintes SHA-256 du scénario et du résultat, graine, commande qui le reproduit).
route_exposure : Résume la part d'un itinéraire qui traverse des cellules dégradées d'une ou plusieurs cartes d'interférence (`kshana route-exposure`) : pour chaque carte (une par source et par jour UTC, le GeoJSON que renvoie `build_interference_map`), la longueur de l'itinéraire et les parts de sa longueur dans des cellules dégradées, dans des cellules qui n'étaient pas dégradées, dans des cellules disposant de trop peu d'échantillons pour être évaluées, et dans des cellules non observées.
run_scenario : Exécute un scénario Kshana de résilience PNT à partir d'une définition TOML et renvoie ses chiffres de mérite.
run_standards_pack : Exécute un paquet de normes (`kshana standards-pack run <id>`) : chaque scénario qu'il contient, noté par rapport à des seuils énoncés avant l'exécution.
score_benchmark : Note une soumission kshana-bench (`kshana bench score`, bench/SPEC.md, docs/BENCH.md) : un fichier de prédictions (`kshana-bench-predictions/1`) par rapport à un fichier de vérité (`kshana-bench-truth/1`), tous deux en texte JSON, d'au plus 4 MiB chacun, et renvoie le fichier de résultats (`kshana-bench-result/1`) avec la version de la spécification, la tâche (a détection sur journaux de récepteur, b détection sur IQ, c prédiction de holdover de la synchronisation temporelle, d écart d'optimisme hors distribution), la répartition, le SHA-256 des deux entrées et les métriques de la tâche (AUC, probabilité de détection à un plafond de fausses alarmes, RMSE par horizon, ou écart d'optimisme).
sky_geometry : Géométrie du ciel sous une ligne d'horizon dépendant de l'azimut (un canyon urbain, un port, un fjord, un terminal à conteneurs) : à partir d'un site, d'une heure et de préréglages de constellation, d'éléments à deux lignes (`tle`, avec une `epoch` UTC) ou de satellites donnés en azimut/élévation ou en ECEF, quels satellites sont visibles et lesquels sont masqués par l'horizon, GDOP/PDOP/HDOP/VDOP/TDOP à partir du noyau DOP vérifié avec gnss_lib_py, le cofacteur et la covariance est-nord-haut avec une horloge de récepteur par système (ou une seule en commun), et l'ellipse d'erreur horizontale à un sigma et à un niveau de confiance déclaré pour une UERE déclarée.
trust_telemetry : Produit un flux de confiance GNSS ou un résultat `receiver-trust` sous forme de texte de télémétrie de sécurité (`kshana trust-telemetry`, docs/TRUST-TELEMETRY.md), avec les mêmes encodeurs que ceux de la ligne de commande : `prometheus` (l'exposition de l'état final), `cef` ou `leef` (une ligne syslog RFC 5424 par changement de bande, ou par époque avec `syslog_all` ; sans horodatage, car aucune horloge n'est lue) ou `otlp` (la charge utile de métriques JSON OTLP/HTTP).
validate_scenario : Contrôle préalable d'un TOML de scénario Kshana : vérifie qu'il s'analyse comme du TOML et détecte son type de scénario, sans l'exécuter.
verify_evidence_pack : Vérifie un paquet de preuves signé (`kshana evidence verify`) : le SHA-256 de chaque fichier par rapport au manifeste, la chaîne d'empreintes, la signature Ed25519, et, avec `public_key` (la clé du signataire, obtenue du signataire par une autre voie), que le signataire est bien celui attendu, et, avec `full_log`, que le journal que vous détenez est celui que consigne le paquet et que l'extrait en provient.

La session enregistrée se déroule ici pas à pas.

Même exécution dans le Studio : moteur v0.40.0 · clock-holdover.toml · graine 42Ouvrir dans Kshana StudioRapport

04Récit de défilement · une exécution enchaînée

D'un ciel dégagé à une horloge en roue libre.

Un récepteur, T+01:16:10 de temps de mission : un ciel dégagé, un brouilleur, un leurre qui déplace la réponse au lieu de la bloquer, puis une horloge livrée à elle-même. Les 102 satellites sont les quatre systèmes de l'exécution de constellation, sur la vraie Terre. Faites défiler.

01 · Nominal

Chaque liaison, comptabilisée.

8 satellites poursuivis à un C/N0 moyen (densité porteuse sur bruit) de 43,0 dB-Hz. Le niveau de protection vertical reste entre 9,1 et 21,6 m, sous la limite d'alerte de 50 m.

02 · Brouillage

Le bruit avale le ciel.

Un brouilleur à large bande, à 1,0 km, s'allume à -30 dBW. Le C/N0 chute à 30,6 dB-Hz, juste au-dessus du plancher de poursuite de 25 dB-Hz. Bruyant, donc le récepteur le sait.

03 · Leurrage

Un mensonge qui ressemble à une solution.

Un leurre pousse l'horloge à 0,1 ns/s. Le détecteur RF (radiofréquence) donne l'alarme à T+00:20:00 ; le moniteur assisté par horloge a besoin de 370 s, et d'ici là 36,0 ns ont déjà été absorbées.

04 · Holdover

Puis le temps commence à dériver.

Le brouilleur passe à 10 dBW et tous les satellites sont perdus. L'horloge dérive librement à partir des 37,0 ns laissées par le leurre et franchit sa garde de 50 ns à T+00:35:40 ; l'erreur inertielle atteint 24,3 km.

Campagne : moteur v0.40.0, compilation 3395218 · campaign-jam-spoof-holdover-integrity.toml · graine 20260928Ouvrir dans Kshana StudioRapport JSON TOML

Orbites : moteur v0.40.0, compilation 3395218 · constellation-multi-gnss-coverage.toml · déterministe, sans graineOuvrir dans Kshana StudioRapport JSON TOML

Noyau ouvert, Kshana Pro, étude sur mesure

Gratuit pour tous. Pro quand la réponse doit tenir devant un comité d'examen.

Kshana Pro est une surcouche propriétaire qui dépend du noyau ouvert et ne le fourche jamais, disponible sous contrat. Aucun prix sur une page web : toute voie payante commence par un message à contact@ashforde.org.

Noyau ouvert · gratuit · AGPL-3.0

Pourquoi tout le monde en a besoin

Quiconque tire sa position ou son heure du GNSS est exposé : le brouillage, le leurrage et la perte de signal touchent aussi bien les véhicules, les réseaux, les réseaux électriques que les engins spatiaux.
176 capacités sur 401 concordent avec des références externes indépendantes ; les autres sont étiquetées modélisées, à voix haute.
Les 92 types de scénario, gratuits et sans restriction de fonctionnalités, déterministes à partir du scénario, de la graine et de la version du moteur.
Le même noyau sous licence commerciale, pour une intégration fermée.

Lancer Kshana Studio Installer le moteur

Kshana Pro · sous contrat

Pourquoi Pro, encore plus

Le front de Pareto d'un espace de conception, chaque conception du front étant un scénario que le moteur libre relance.
Incertitude et sensibilité sur des milliers d'exécutions.
Un dossier de mission en une commande avec une matrice de vérification et un fichier PDF (Portable Document Format).
Paquets de preuves reproductibles de qualité audit ; jumeaux numériques d'horloge étalonnés sur le budget d'Allan publié de votre dispositif ; études de compromis d'architecture classées selon une figure de mérite ; outillage d'ingénierie système fondée sur les modèles (MBSE) et de programme.

Demander une évaluation de Pro Ce que Pro comprend

Étude sur mesure · réalisée pour vous

Étude sur mesure : la réponse, pas l'outil

Une étude de résilience PNT modélisée de votre système, par exemple un audit de l'écart d'optimisme. Pas une certification.
Modèles de capteurs et de résilience étalonnés sur votre matériel.
Travaux soumis au contrôle des exportations sous l'habilitation et le NDA (accord de non-divulgation) appropriés.
Intégration, formation et conseil.

Demander une étude Pourquoi et pour qui

Même moteur, amplifié : de vraies sorties de Kshana Pro

Ce que Pro comprend

Optimiseur de conception

15points ouverts

12 exigences vérifiées par rapport à de vraies exécutions, PDF de 21 pages (Portable Document Format)

Trouvez où votre synchronisation temporelle casse, avant qu'elle ne casse.

Lancer Kshana Studio

Répétez la minute où le GNSS s'éteint.

Nouveau dans la v0.40.0 : un fil de mission, une étiquette de preuve sur chaque figure et dix-sept langues

Regardez un brouilleur prendre la bande.

1/6Nominal

Phases · exécutions membres

Un seul moteur pour toute la chaîne de défaillances.

Brouillage et interférence GNSS

Détection de leurrage

Holdover d'horloge selon les classes d'oscillateurs

Inertie GNSS/INS

Synchronisation des créneaux

RAIM et ARAIM

Gabarits de synchronisation temporelle

Orbites : SGP4 et numérique

PNT lunaire

Études de compromis sur les capteurs quantiques

Navigateur, terminal, notebook, IDE, assistant

Ce que Kshana n'est pas

Demandez à votre assistant IA. Le moteur répond.

D'un ciel dégagé à une horloge en roue libre.

Chaque liaison, comptabilisée.

Le bruit avale le ciel.

Un mensonge qui ressemble à une solution.

Puis le temps commence à dériver.

Gratuit pour tous. Pro quand la réponse doit tenir devant un comité d'examen.

Pourquoi tout le monde en a besoin

Pourquoi Pro, encore plus

Étude sur mesure : la réponse, pas l'outil

Même moteur, amplifié : de vraies sorties de Kshana Pro

Quelle conception devons-nous faire voler ?

Avec quelle certitude, et qu'est-ce qui pilote le résultat ?

La mission satisfait-elle ses exigences, et pouvons-nous le démontrer ?

Trouvez où votre synchronisation temporelle casse, avant qu'elle ne casse.