Tradução automática, não revista por um falante nativo. O inglês é a referência.

Reprodução Missão T+00:00:00 Cenário campaign-jam-spoof-holdover-integrity Nominal Motor v0.40.0 · semente 20260928Execução real

v0.40.0Código aberto · AGPL-3.0 · por Ashforde®

Kshana · क्षण · o instante preciso

Ensaie o minuto em que o GNSS fica às escuras.

O Kshana é um simulador de código aberto para a resiliência de PNT (posicionamento, navegação e temporização). Reproduza interferência (jamming), spoofing e holdover de relógio quando os sinais de GNSS (Global Navigation Satellite System) falham, em um motor em Rust que roda direto no seu navegador, e veja exatamente quais resultados foram verificados contra referências independentes.

Iniciar o Kshana Studio

Pressione ⌘K para pesquisar páginas, cenários e documentação

Kshana ProO mesmo motor, amplificado: 608 projetos, uma frente de Pareto

Registro de eventos · campaign-jam-spoof-holdover-integrityEventos reais

De onde vem cada traço

Campanha: Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

Órbitas: Motor v0.40.0, compilação 3395218 · constellation-multi-gnss-coverage.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório JSON TOML

O console, os três cartões e o registro reproduzem uma execução encadeada de 6 fases e 18 execuções-membro em sua grade de 10 s (T+01:16:10 de tempo de missão). As órbitas são os 102 satélites de GPS, Galileo, BeiDou e GLONASS da execução da constelação, cada um recuperado como uma órbita circular de dois corpos a partir da trilha no solo do motor (pior resíduo 0,0034°), com raios comprimidos para exibição. Os enlaces são traçados para satélites acima da máscara de 10° da execução da constelação (25° na fase de alarme de integridade, a máscara de readquisição da campanha), esmaecidos pela interferência e cortados no holdover. Terra: NASA Blue Marble e Black Marble. O Kshana Studio reproduz a execução encadeada no seu navegador; o relatório do próprio motor e o comando reproduzem cada execução.

92tipos de cenário 181arquivos de cenário incluídos 401capacidades na matriz de verificação 176/401validadas em relação a referências independentes externas 6artigos no arXiv construídos sobre o motor abertoLeia a pesquisa WASMroda no navegador como WebAssembly, sem instalação

Novidades da v0.40.0: uma sequência de missão, um rótulo de evidência em cada figura e dezessete idiomas

O que cada um faz e o que foi verificado · Todos os canais de instalação

Console de banda L · o tipo de cenário spectrum

Veja um interferidor tomar a banda.

A banda L do GNSS como uma única DEP (densidade espectral de potência): frequência na horizontal, tempo na vertical, cor para a potência acima do piso de ruído. Os sinais ficam abaixo desse piso, então o que se acende são os interferidores: um chirp, um tom CW (onda contínua) e ruído de banda estreita. Passe o mouse, toque ou use as setas para ver o C/N0 (densidade de portadora sobre ruído) e o J/S (razão interferência-sinal) de cada banda.

kshana spectrum · l-band-waterfall-jamming.toml Execução real

A cascata é desenhada a partir da execução registrada, com JavaScript. O relatório do motor abaixo mostra a mesma execução.

Execução registrada de l-band-waterfall-jamming.toml (semente 7, motor v0.40.0): 5 bandas GNSS, 3 jammers ao longo de 60 s, piso de rastreamento de 25 dB-Hz. Jammers: dispositivo de privacidade de varredura (chirp) em 1.575,42 MHz de 10 s a 40 s; tom CW em L1 em 1.575,42 MHz de 30 s até o fim; ruído de banda estreita em L2 em 1.227,60 MHz de 45 s até o fim.

O GPS L1 C/A perde o travamento em 10 s e permanece perdido, mínimo de 3,2 dB-Hz. O Galileo E1 perde o travamento em 10 s e se recupera em 40 s, mínimo de 4,4 dB-Hz. O GPS L2C rastreia durante todo o tempo, mínimo de 36,9 dB-Hz. O GPS L5 rastreia durante todo o tempo, mínimo de 44,1 dB-Hz. O Galileo E5a rastreia durante todo o tempo, mínimo de 46,7 dB-Hz.

A campanha que ele aciona, campaign-spectrum-holdover-integrity.toml (semente 20260928): jamming na banda L a partir do espectro, holdover do relógio e um recurso de contingência apenas com Galileo. Holdover por 600 s com o relógio em funcionamento livre, pior erro de tempo de 5,06 ns contra uma guarda de 50 ns; depois, uma contingência apenas com Galileo com nível de proteção de 6,1 a 17,7 m, abaixo do limite de alerta de 50 m.

A campanha que esta execução conduz · cada fase segue o estado do interferidor

Execução do motor de l-band-waterfall-jamming.tomlAbrir no Kshana Studio Relatório do motor

Cenário, dados de resultado, a execução da campanha e o que é modelado

Execução do spectrumArquivo de cenário Dados de resultado

Campanha que ele conduz: campaign-spectrum-holdover-integrity.tomlAbrir no Kshana Studio Relatório do motor Arquivo de cenário

Modelado: espectros em forma fechada sobre um piso de ruído térmico, pontuados por banda por separação espectral; as potências e os instantes dos interferidores são entradas do cenário. O eixo do tempo conta segundos antes de agora; a linha ciano marca onde a reprodução reiniciou. O Kshana Studio executa o mesmo cenário no seu navegador e reproduz a cascata; o relatório e o comando reproduzem a execução.

01Linha do tempo da missão · role ou arraste para percorrer

1/6Nominal

Todos os satélites estão rastreados. O relógio está disciplinado ao tempo GNSS e o nível de proteção fica bem abaixo do limite de alerta.

T+00:00:00

Tempo de missão

kshana campaign · campaign-jam-spoof-holdover-integrity · semente 20260928 Execução real

Fases · execuções-membro

NominalT+00:00:00
- clocksemente 42
- jammingsemente 1
- integritysemente 7
JammingT+00:10:00
- clocksemente 43
- jammingsemente 1
- integritysemente 7
SpoofingT+00:20:00
- spoof
- spoof-detect
- jammingsemente 1
HoldoverT+00:26:10
- clocksemente 44
- gnss-inssemente 7
- jammingsemente 1
Alarme de integridadeT+00:56:10
- clocksemente 45
- jammingsemente 1
- integritysemente 7
RecuperaçãoT+01:06:10
- clocksemente 46
- jammingsemente 1
- integritysemente 7

6 fases · 18 execuções-membro de tipos de cenário existentes

Erro de tempo do relógions · guarda 50

–

C/N0dB-Hz · piso 25

–

PL vs ALmetros · AL 50

–

NominalJammingSpoofingHoldoverAlarme de integridadeRecuperação

T+00:00:00 → T+01:16:10 de tempo de missão · a execução encadeada, não três execuções lado a ladoPL = nível de proteção · AL = limite de alerta · INS = sistema de navegação inercial

Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

02Capacidades

Um só motor para toda a cadeia de falhas.

Do primeiro satélite interferido ao último nanossegundo de holdover do relógio: sinais, sensores, relógios, órbitas e integridade em um só simulador. Cada imagem abaixo é uma execução real do motor e diz qual.

Interferência

Jamming e interferência em GNSS

Um interferidor de banda larga em um mastro e um receptor deslocado sobre uma grade ao redor dele: cada célula é uma execução própria do tipo de cenário jamming do motor. O tom é o J/S médio (razão interferência-sinal); as células vermelhas perderam todos os satélites.

Motor v0.40.0 · maritime-strait-jamming.toml · semente 1 · receptor deslocado por célulaAbrir no Kshana Studio Todas as células, em Missões

Engano

Detecção de spoofing

Um spoofer captura o receptor e afasta seu tempo a uma taxa constante. O monitor de integridade de cada relógio tem seu próprio limite de detecção: o relógio quântico sinaliza a mentira quase de imediato, o clássico só depois que o deslocamento cresceu.

Motor v0.40.0 · spoof-attack.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Relógios

Holdover de relógio entre classes de osciladores

A partir do momento em que o GNSS desaparece: a mediana e o percentil 95 de 200 execuções de Monte Carlo para um relógio atômico em escala de chip (CSAC) e um relógio óptico de rede, e o erro de um dia de mais quatro classes: um relógio mestre óptico, um maser de hidrogênio, um padrão de frequência atômico de rubídio (RAFS) e sua versão em miniatura (mini-RAFS).

Motor v0.40.0 · clock-ensemble.toml · semente 42Abrir no Kshana StudioRelatório

Coluna de um dia: Motor v0.40.0 · lunar-time-budget.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Navegação por estima

GNSS/INS em coasting

Quando o GNSS cai, o INS (sistema de navegação inercial) segue em frente e seu cone de erro se abre. Duas unidades de medição inercial (IMUs), um orçamento.

Motor v0.40.0 · small-uas-jammed-nav.toml · semente 7Abrir no Kshana StudioRelatório

Temporização

Temporização de slots

Por quanto tempo um relógio permanece dentro de seu intervalo de guarda após a última correção: a pergunta que importa para as redes com slots de tempo.

Motor v0.40.0 · slot-timing-ocxo-leo.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Integridade

RAIM e ARAIM

Níveis de proteção (PL) do monitoramento autônomo de integridade do receptor (RAIM) e de sua forma avançada (ARAIM), verificados contra o limite de alerta: aqui, a fase de alarme de integridade da missão encadeada. As barras hachuradas são épocas em que nenhum nível de proteção pôde ser formado.

Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

Telecom

Máscaras de temporização

MTIE (erro máximo de intervalo de tempo) e TDEV (desvio de tempo) de um holdover de 24 horas contra os limites da ITU-T (União Internacional de Telecomunicações, Setor de Normalização das Telecomunicações), aqui o do PRTC-A (relógio de tempo de referência primário, classe A).

Motor v0.40.0 · telecom-prtc-holdover-24h.toml · semente 20260925Abrir no Kshana StudioRelatório

Astrodinâmica

Órbitas: SGP4 e numéricas

Propagação SGP4 (Simplified General Perturbations 4) de um conjunto real de elementos de duas linhas, desenhada sobre imagens reais; efemérides CCSDS OEM e SP3 de entrada e de saída.

Motor v0.40.0 · ephemeris.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Cislunar

PNT lunar

Posicionamento, navegação e temporização ao redor da Lua: níveis de proteção horizontal e vertical (HPL, VPL) do ARAIM em um serviço de navegação lunar.

Motor v0.40.0 · lunanet-araim.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório

Sensores emergentes

Estudos de compromisso de sensores quânticos

Pese um relógio quântico contra um clássico antes que alguém compre hardware: holdover ao longo de uma varredura do ruído do relógio clássico.

Motor v0.40.0 · sweep-clock-stability.toml · semente 42Abrir no Kshana StudioRelatório

Roda em todo lugar

Navegador, terminal, notebook, IDE, assistente

O mesmo motor em Rust é distribuído como WebAssembly para o Kshana Studio, uma CLI (interface de linha de comando), pacotes Python e JavaScript, um plugin do JetBrains Marketplace para sua IDE (ambiente de desenvolvimento integrado) e um servidor MCP (Model Context Protocol).

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

CCSDS OEM: Consultative Committee for Space Data Systems Orbit Ephemeris Message. SP3: formato de órbita Standard Product 3.

Escopo, dito com clareza

O que o Kshana não é

Conhecer os limites importa tanto quanto conhecer os recursos.

Não é hardware gerador de sinais de RFEle não aciona nenhum rádio e não transmite nada; sua saída em nível de sinal são arquivos de amostras IQ em banda base para receptores de software.

Não é um receptor GNSS de hardware nem certificadoSeu receptor de software (aquisição e rastreamento sobre IQ gravado ou gerado) é uma ferramenta de análise, não um produto de navegação.

Não é um produto de vooUm instrumento de estudo e de análise de compromisso, com cada resposta rotulada como validada ou modelada.

03Assistentes de IA · kshana-mcp

Pergunte ao seu assistente de IA. O motor responde.

Seu assistente de IA (inteligência artificial) executa o motor por MCP (Model Context Protocol) por meio do kshana-mcp e lê de volta JSON (JavaScript Object Notation).

InstalarGerado a partir do repositório

Para qualquer pessoa, nada a instalar.

Iniciar o Kshana Studio

O motor é executado localmente como WebAssembly; nada é enviado.

Abrir o Kshana Studio Guia do Studio

Para engenheiros que querem o comando kshana.

Depois, verifiquekshana --version

crates.io: kshana Uso da linha de comando

Para analistas e notebooks.

Depois, verifiquepython -c "import kshana; print(kshana.version())"

PyPI: kshana Guia da API Python

Para desenvolvedores web e Node.js.

Depois, verifiquenpm ls kshana

npm: kshana Guia de npm e WebAssembly

Para quem usa um assistente compatível com MCP.

Depois, verifiquecargo install --list | grep kshana-mcp

crates.io: kshana-mcp Guia do servidor MCP

Depois, registre-o na configuração de cliente MCP do seu assistente. Configuração completa em Desenvolvedores

Assistente de IA + kshana-mcp Sessão registrada

As mensagens que um assistente troca com o kshana-mcp, capturadas do servidor.

Uma sessão gravada com o servidor kshana-mcp (Model Context Protocol, motor v0.40.0): o assistente lista as 49 ferramentas, valida clock-holdover.toml (válido: tipo de cenário detectado `clock`) e o executa: scenario 5ba83a232b94 | quantum holdover 6600s p95 1.20e-4ns integrity 1,000 security n/a (no attack) | classical holdover 2610s p95 19.7ns integrity 1,000 security n/a (no attack).

animate_scenario: Executa um cenário do Kshana e retorna sua série temporal como uma animação.
assess_receiver_log: Avalia a confiança de um registro real de receptor GNSS: lê um log u-blox UBX, RINEX 3 (opcionalmente com navegação por broadcast, o que acrescenta a solução de posição do próprio motor, o RAIM e um monitor auxiliado pelo relógio), Android GnssLogger ou NMEA, executa os monitores de confiança (queda da densidade de portadora a ruído, AGC, indicador de jamming, perda de travamento, salto de posição, RAIM, relógio) contra uma linha de base de calibração e retorna quando e por que o receptor deixou de ser confiável.
assess_vessel_log: Avalia um registro NMEA 0183 de uma embarcação como execução em lote (`kshana receiver-trust` com `[platform] kind = "vessel"`): o modelo de pontuação, os monitores executados e a pontuação de 0 a 100 de cada época com suas deduções, a geometria de satélites (boa, degradada, desconhecida) com um `label` (good, fair, poor) em cada época, com a geometria deduzindo apenas quando ruim, e uma classe em cada dedução (geometria, ambiente, inconsistência), com `geometry_model` (limiares, o teto e o piso em vigor, e a procedência) e `geometry_summary`.
assess_vessel_stream: Pontua um trecho limitado de um fluxo NMEA 0183 de uma embarcação do mesmo modo que `kshana receiver-trust live` o pontua, e retorna o estado de confiança por época (calibrating, nominal, degraded, untrusted) e a pontuação de 0 a 100 com os monitores que deduziram (esquema JSON-lines live 1,3: cada época traz `position`, uma declaração `advisory` de que a saída é consultiva e sua `geometry` de satélites (good, degraded com motivos como few-satellites ou high-pdop, ou unknown quando o trecho não tem GSV nem GSA) com um `label` (good, fair, poor; a geometria deduz apenas quando poor); toda dedução traz uma `class`: geometry (o céu, e não uma constatação de que nenhum ataque ocorreu), environment ou inconsistency (semelhante a ataque)), o resumo (contagens por estado, geometria e classe, pontuação mais baixa e final, quando veio a primeira época untrusted) e a última sentença `$PKSHT`.
attach_evidence_timestamp: Vincula um token de carimbo de tempo RFC 3161 a um pacote de evidências (`kshana evidence attach-timestamp`), em memória: `files` é um pacote como o retornado por `create_evidence_pack`, e `token_base64` são os bytes do arquivo `.tsr` de uma autoridade de carimbo de tempo.
build_interference_map: Constrói um mapa de interferência GNSS a partir de relatórios de posição de aeronaves (ADS-B NIC/NACp) ou navios (AIS) de licença aberta, fornecidos como texto CSV (`kshana interference-map adsb|ais`).
compliance_mapping: O mapeamento estático de referenciais públicos (`kshana compliance-report --mapping` / `--sources`) em Markdown: uma tabela por referencial, com a exigência parafraseada de cada linha, as saídas do Kshana que fornecem evidências em apoio de cada uma e a lacuna que as saídas não fecham; ou, com `sources` verdadeiro, os documentos-fonte citados pelas tabelas, com versões e URLs.
compliance_report: Preenche o mapeamento de referenciais públicos a partir de documentos de resultado do Kshana (`kshana compliance-report`): quais linhas de seis referenciais e normas de resiliência (o referencial Resilient PNT v2.0 do DHS dos EUA, as orientações da IMO para navios, as orientações da EASA para aviação, NIS2 Artigo 21, EN 16803, NIST IR 8323r1) as execuções fornecidas fornecem evidências em apoio de, quais não fornecem, e a lacuna que cada linha mantém.
create_evidence_pack: Cria um pacote de evidências assinado para uma janela de um registro NMEA 0183 de uma embarcação (`kshana receiver-trust evidence`): os bytes brutos do log da janela, a configuração com todos os limiares, os resultados e motivos por época, uma página de resumo autocontida e um manifesto que lista o SHA-256 de cada arquivo com o hash do log completo e uma cadeia de hashes, assinado com Ed25519.
create_round_trip_pack: Cria o pacote assinado de ida e volta de laboratório (`kshana evidence round-trip`, docs/spec/TEST-CONDITIONS.md): vincula por hash o cenário que produziu o movimento, o documento `kshana.test-conditions/1` do laboratório, o log do receptor e sua pontuação em relação aos eventos declarados, em um pacote de evidências assinado cujo `config.json` traz um bloco `round_trip`.
export_interop: Exporta um cenário do Kshana em um formato de interoperabilidade: `czml` (Cesium Language, para CesiumJS), `kml` (Keyhole Markup Language, para o Google Earth e ferramentas de sistemas de informação geográfica), `geojson` (RFC 7946), `stk` (efemérides `.e` do Systems Tool Kit, um arquivo por satélite) ou `sigmf` (gravação em Signal Metadata Format das amostras sintetizadas de um cenário `spectrum`).
export_oem: Exporta a constelação propagada de um cenário `orbit` como texto de efemérides CCSDS OEM 2,0 — a série temporal de estado inercial (TEME) com posição E velocidade, que ferramentas de dinâmica de voo (GMAT / Orekit / STK) leem.
export_omm: Exporta os elementos médios de um cenário `orbit` como um catálogo CCSDS 502.0-B-2 OMM (Orbit Mean-Elements Message) — um OMM por satélite.
export_sp3: Exporta a constelação propagada de um cenário `orbit` como texto de efemérides precisas SP3-c (o formato padrão de pós-processamento GNSS).
export_table_csv: Executa um cenário do Kshana e retorna sua tabela de reprodutibilidade como texto CSV — a tabela estável byte a byte que a CLI grava como `<scenario>.table.csv` e que os artigos citam.
export_test_bench: Exporta o movimento do veículo e os eventos de um cenário para um simulador GNSS de laboratório (`kshana bench-export`, docs/TEST-BENCH.md): um CSV de movimento e sua descrição em JSON (posição terrestre fixa e geodésica, velocidade, atitude, UTC), sentenças NMEA 0183 GGA/RMC, um texto de waypoints quando a grade de amostras é regular em milissegundos, e os eventos do cenário como CSV e como TOML `[[events]]` para um cenário `receiver-trust`.
fit_imu_log: Ajusta os parâmetros de sensor dos cenários `hybrid` e `fusion` a partir de um registro de IMU estacionário (`kshana imu-fit`, docs/MACHINE-INPUTS.md).
generate_training_nmea: Gera NMEA 0183 sintético de passadiço para treinamento de tripulações, a partir de um TOML `nmea-scenario` (`kshana nmea-scenario`): uma derrota de embarcação e uma linha do tempo de eventos roteirizados (jamming, arrasto de posição, falsificação de tempo, atraso de replay, com recuperação).
get_example_scenario: Retorna o texto TOML de um cenário de referência incluído, byte a byte o arquivo que o repositório distribui em `scenarios/`.
import_route: Grava uma rota GeoJSON em um cenário do Kshana que percorre uma trilha de waypoints, e retorna o novo TOML do cenário (execute-o com run_scenario).
iq_acquire: Aquisição por FFT de um ou mais PRNs sobre uma gravação IQ no diretório de trabalho (`kshana iq acquire`).
iq_campaign: Executa uma campanha de replay de laboratório mantida no diretório de trabalho (`kshana iq campaign`): gravações (cada uma descrita por um arquivo `kshana.test-conditions/1` que declara a verdade conhecida do laboratório) x cadeias de front-end x projetos de malha, com cada célula rastreada e pontuada em relação às condições declaradas (tempo até a perda de travamento, tempo de readquisição, degradação de C/N0 em relação ao J/S declarado ao lado de uma referência analítica rotulada MODELLED, taxa de falso travamento, jitter de PLL/DLL, disponibilidade).
iq_campaign_status: Informa o andamento de uma campanha de replay de laboratório a partir de sua pasta de saída no diretório de trabalho, apenas lendo arquivos: células concluídas e pendentes, as gravações, os front-ends e os projetos do plano, e o `digest` quando todas as células estiverem concluídas.
iq_frontend: Aplica DSP de front-end de receptor e de mitigação de interferência a uma gravação IQ no diretório de trabalho e grava o resultado como uma nova gravação bruta com um arquivo auxiliar `<out>.json` (`kshana iq frontend`).
iq_info: Descreve uma gravação IQ no diretório de trabalho sem processá-la: tipo (bruta com arquivo auxiliar, SigMF, coleção SigMF), formato das amostras, taxa de amostragem, frequência central, total de amostras, duração, arquivos de dados e seu tamanho, limites de captura e número de anotações, como JSON (a mesma linha que `kshana iq info` imprime).
iq_labfit: Ajusta o modelo de perda de travamento da malha de rastreamento a execuções de laboratório (`kshana iq labfit`): um TOML de cenário `iq-labfit` nomeia uma ou mais execuções, cada uma um log de receptor mais suas condições de teste declaradas; o motor carrega cada log, ajusta os modelos de malha e empírico, aplica bootstrap à incerteza e calcula o erro de conjunto reservado.
iq_monitor: Executa os monitores de detecção de interferência e de spoofing sobre uma gravação IQ no diretório de trabalho (`kshana iq monitor`): os monitores de banda larga `power` e `spectral` e, dados `signal` + `prns`, os monitores de C/N0 e de qualidade de sinal por satélite, cada um contra uma linha de base aprendida nos primeiros `baseline_s` segundos (ou a partir de um arquivo de configurações).
iq_scene: Gera uma cena IQ GNSS de vários satélites em um arquivo no diretório de trabalho (`kshana iq scene`).
iq_signals: A configuração da camada IQ GNSS, como JSON: `signals` (os nomes de sinal que iq_scene, iq_acquire e iq_track aceitam), `enabled` (se as ferramentas de arquivo IQ estão ativadas), `work_dir` (a única pasta que elas leem e gravam; todo argumento de caminho é relativo a ela), `max_samples` (o máximo de amostras complexas que uma chamada pode gerar ou processar) e, quando desativada, `reason`.
iq_sweep: Reproduz uma gravação IQ no diretório de trabalho em vários projetos de malha de rastreamento e informa o resultado em regime permanente de cada projeto (`kshana iq sweep`): os projetos são todos os projetos de um arquivo `kshana.loop-design/1` (`design`), ou o produto das listas `pll_bws_hz`, `dll_bws_hz`, `spacings_chips` e `coherents` sobre o projeto embutido.
iq_test_conditions: Valida um arquivo de condições de teste de laboratório (`kshana iq conditions`): um arquivo `kshana.test-conditions/1`, em texto TOML ou JSON, que declara a verdade conhecida do laboratório para uma gravação (os satélites esperados, o tempo de acomodação, o cronograma declarado de jamming ou interferência).
iq_track: Adquire e depois rastreia um ou mais PRNs sobre uma gravação IQ no diretório de trabalho (`kshana iq track`): a aquisição inicializa cada canal e, em seguida, o banco de malhas DLL/PLL (opcionalmente auxiliado por FLL) reproduz a gravação uma vez.
jammertest_import: Lê o catálogo de testes e o plano de transmissão publicados do Jammertest (NPRA/jammertest-plan, MIT) como verdade programada (`kshana jammertest import`): os intervalos de uma área de teste tornam-se eventos de receiver-trust, com o id do catálogo e o ano em cada rótulo.
jammertest_score: Pontua um log de receptor contra o cronograma do Jammertest (`kshana jammertest score`): para cada teste programado, a latência de detecção (primeiro alarme menos o início planejado), se foi detectado dentro da tolerância, tarde ou perdido, e o tempo de recuperação (um trecho sem alarme de `recover_hold_s`), além dos alarmes falsos fora de todo intervalo e de sua margem de guarda.
list_example_scenarios: Lista os cenários de referência incluídos como JSON: `count` e `scenarios`, um array de `name`, `kind` e `about` (a primeira frase do comentário de cabeçalho do próprio arquivo).
list_export_formats: Informa quais formatos de exportação de interoperabilidade se aplicam a um cenário do Kshana, sem executá-lo: um array JSON com uma entrada por formato (`czml`, `kml`, `geojson`, `stk`, `sigmf`) que fornece `applies`, o `reason` quando não se aplica e `spec_url`, a especificação publicada que o gravador segue.
list_scenario_kinds: Lista todo tipo de cenário embutido do Kshana com sua descrição e seus campos TOML obrigatórios/opcionais, como um array JSON.
list_standards_packs: Lista os pacotes de normas (`kshana standards-pack list`): conjuntos de cenários pontuados para os perfis de teste do referencial Resilient PNT do DHS, a IMO MSC.1/Circ.1575 e o ICAO Doc 9849 Apêndice F, cada um com os limiares que declara antes da execução e as linhas de compliance para as quais fornece evidências em apoio.
lunanet_afs_check: Verifica o LunaNet Augmented Forward Signal (AFS) em relação à especificação publicada, fixada em LNIS Version 5 Applicable Document 1 Volume A (LSIS-AFS V1.0, 29 de janeiro de 2025) (`kshana lunanet-afs-check`, docs/LUNANET-AFS.md).
render_leaderboard: Renderiza arquivos de resultado do kshana-bench (`kshana bench leaderboard`) como a página estática do leaderboard, em texto HTML na resposta: `results` é uma lista de textos JSON `kshana-bench-result/1` (no máximo 256, 4 MiB cada), cada um validado antes; um arquivo pontuado sob outra versão principal da especificação é recusado, porque resultados de versões principais diferentes nunca são colocados em uma só tabela.
report_scenario: Executa um cenário do Kshana e retorna seu relatório: um resumo executivo, as entradas, cada valor de resultado com sua unidade e seu rótulo VALIDATED ou MODELLED, os eventos, as linhas de capacidade que a execução exercitou e um registro de reprodutibilidade (versão do motor, resumos SHA-256 do cenário e do resultado, semente, o comando que o reproduz).
route_exposure: Resume quanto de uma rota passa por células degradadas de um ou mais mapas de interferência (`kshana route-exposure`): para cada mapa (um por fonte por dia UTC, o GeoJSON que `build_interference_map` retorna), o comprimento da rota e as parcelas desse comprimento em células degradadas, em células que não estavam degradadas, em células com amostra insuficiente para avaliação e em células não observadas.
run_scenario: Executa um cenário de resiliência PNT do Kshana a partir de uma definição TOML e retorna suas figuras de mérito.
run_standards_pack: Executa um pacote de normas (`kshana standards-pack run <id>`): todos os cenários dele, pontuados contra limiares declarados antes da execução.
score_benchmark: Pontua uma submissão ao kshana-bench (`kshana bench score`, bench/SPEC.md, docs/BENCH.md): um arquivo de previsões (`kshana-bench-predictions/1`) contra um arquivo de verdade (`kshana-bench-truth/1`), ambos em texto JSON, de no máximo 4 MiB cada, e retorna o arquivo de resultado (`kshana-bench-result/1`) com a versão da especificação, a tarefa (a detecção em logs de receptor, b detecção em IQ, c previsão de holdover de temporização, d lacuna de otimismo fora da distribuição), a divisão, o SHA-256 de ambas as entradas e as métricas da tarefa (AUC, probabilidade de detecção com um teto de alarmes falsos, RMSE por horizonte, ou a lacuna de otimismo).
sky_geometry: Geometria do céu sob um horizonte dependente do azimute (um cânion urbano, um porto, um fiorde, um terminal de contêineres): a partir de um local, um horário e predefinições de constelação, conjuntos de elementos de duas linhas (`tle`, com uma `epoch` UTC) ou satélites dados como azimute/elevação ou ECEF, quais satélites estão visíveis e quais estão ocultos pelo horizonte, GDOP/PDOP/HDOP/VDOP/TDOP a partir do núcleo de DOP verificado com o gnss_lib_py, o cofator e a covariância leste-norte-cima com um relógio de receptor por sistema (ou um em comum), e a elipse de erro horizontal a um sigma e a uma confiança declarada para um UERE declarado.
trust_telemetry: Renderiza um fluxo de confiança GNSS ou um resultado de `receiver-trust` como texto de telemetria de segurança (`kshana trust-telemetry`, docs/TRUST-TELEMETRY.md), com os mesmos codificadores que a linha de comando usa: `prometheus` (a exposição do estado final), `cef` ou `leef` (uma linha de syslog RFC 5424 por mudança de faixa, ou por época com `syslog_all`; sem carimbo de tempo, porque nenhum relógio é lido) ou `otlp` (a carga de métricas JSON OTLP/HTTP).
validate_scenario: Verificação prévia de um TOML de cenário do Kshana: confirma que ele é analisado como TOML e detecta o tipo de cenário, sem executá-lo.
verify_evidence_pack: Verifica um pacote de evidências assinado (`kshana evidence verify`): o SHA-256 de cada arquivo contra o manifesto, a cadeia de hashes, a assinatura Ed25519 e, com `public_key` (a chave do signatário, obtida do signatário por outra via), que o signatário é o esperado, e, com `full_log`, que o log que você possui é o que o pacote registra e que o trecho veio dele.

A sessão gravada é reproduzida aqui passo a passo.

Mesma execução no Studio: Motor v0.40.0 · clock-holdover.toml · seed 42Abrir no Kshana StudioRelatório

04Narrativa de rolagem · uma execução encadeada

De um céu limpo a um relógio em marcha livre.

Um receptor, T+01:16:10 de tempo de missão: um céu limpo, um interferidor, um spoofer que move a resposta em vez de bloqueá-la e, por fim, um relógio deixado por conta própria. Os 102 satélites são os quatro sistemas da execução da constelação, sobre a Terra real. Role.

01 · Nominal

Cada enlace, contabilizado.

8 satélites rastreados com C/N0 (densidade de portadora sobre ruído) médio de 43,0 dB-Hz. O nível de proteção vertical fica entre 9,1 e 21,6 m, abaixo do limite de alerta de 50 m.

02 · Jamming

O ruído engole o céu.

Um interferidor de banda larga a 1,0 km entra em ação a -30 dBW. O C/N0 cai para 30,6 dB-Hz, logo acima do piso de rastreamento de 25 dB-Hz. Ruidoso, então o receptor sabe.

03 · Spoofing

Uma mentira que parece uma correção.

Um spoofer empurra o relógio a 0,1 ns/s. O detector de RF (radiofrequência) dispara o alarme em T+00:20:00; o monitor assistido por relógio precisa de 370 s e, até lá, 36,0 ns já foram puxados.

04 · Holdover

Então o tempo começa a derivar.

O interferidor passa a 10 dBW e todos os satélites são perdidos. O relógio segue em marcha livre a partir dos 37,0 ns que o spoofer deixou e cruza sua guarda de 50 ns em T+00:35:40; o erro inercial chega a 24,3 km.

Campanha: Motor v0.40.0, compilação 3395218 · campaign-jam-spoof-holdover-integrity.toml · semente 20260928Abrir no Kshana StudioRelatório JSON TOML

Órbitas: Motor v0.40.0, compilação 3395218 · constellation-multi-gnss-coverage.toml · determinístico, sem sementeAbrir no Kshana StudioRelatório JSON TOML

Núcleo aberto, Kshana Pro, estudo sob medida

Gratuito para todos. Pro quando a resposta precisa se sustentar em uma revisão.

O Kshana Pro é uma camada proprietária que depende do núcleo aberto e nunca o bifurca, disponível sob contrato. Sem preços em uma página da web: todo caminho pago começa com uma mensagem para contact@ashforde.org.

Núcleo aberto · gratuito · AGPL-3.0

Por que todos precisam dele

Quem quer que obtenha posição ou tempo do GNSS está exposto: interferência, spoofing e perda de sinal atingem igualmente veículos, redes, redes elétricas e espaçonaves.
176 de 401 capacidades concordam com referências independentes externas; as demais são rotuladas como modeladas, em voz alta.
Todos os 92 tipos de cenário, gratuitos e sem restrição de recursos, determinísticos a partir do cenário, da semente e da versão do motor.
O mesmo núcleo sob uma licença comercial, para integração fechada.

Iniciar o Kshana Studio Instale o motor

Kshana Pro · sob contrato

Por que o Pro, ainda mais

A frente de Pareto de um espaço de projeto, com cada projeto da frente como um cenário que o motor gratuito reexecuta.
Incerteza e sensibilidade ao longo de milhares de execuções.
Um dossiê de missão em um único comando, com uma matriz de verificação e um arquivo PDF (Portable Document Format).
Pacotes de evidências reprodutíveis, de nível de auditoria; gêmeos digitais de relógio calibrados ao orçamento de Allan publicado do seu dispositivo; estudos de compromisso de arquitetura classificados por uma figura de mérito; ferramentas de engenharia de sistemas baseada em modelos (MBSE) e de programa.

Solicitar uma avaliação do Pro O que o Pro inclui

Estudo sob medida · feito para você

Estudo sob medida: a resposta, não a ferramenta

Um estudo modelado de resiliência de PNT do seu sistema, por exemplo uma auditoria de lacuna de otimismo. Não é uma certificação.
Modelos de sensores e de resiliência calibrados ao seu hardware.
Trabalho sujeito a controle de exportação sob o credenciamento de segurança apropriado e NDA (acordo de confidencialidade).
Integração, treinamento e consultoria.

Solicitar um estudo Por que e para quem

O mesmo motor, amplificado: saída real do Kshana Pro

O que o Pro inclui

Otimizador de projeto

15itens em aberto

12 requisitos verificados com execuções reais, PDF (Portable Document Format) de 21 páginas

Descubra onde a sua temporização quebra, antes que ela quebre.

Iniciar o Kshana Studio

Ensaie o minuto em que o GNSS fica às escuras.

Novidades da v0.40.0: uma sequência de missão, um rótulo de evidência em cada figura e dezessete idiomas

Veja um interferidor tomar a banda.

1/6Nominal

Fases · execuções-membro

Um só motor para toda a cadeia de falhas.

Jamming e interferência em GNSS

Detecção de spoofing

Holdover de relógio entre classes de osciladores

GNSS/INS em coasting

Temporização de slots

RAIM e ARAIM

Máscaras de temporização

Órbitas: SGP4 e numéricas

PNT lunar

Estudos de compromisso de sensores quânticos

Navegador, terminal, notebook, IDE, assistente

O que o Kshana não é

Pergunte ao seu assistente de IA. O motor responde.

De um céu limpo a um relógio em marcha livre.

Cada enlace, contabilizado.

O ruído engole o céu.

Uma mentira que parece uma correção.

Então o tempo começa a derivar.

Gratuito para todos. Pro quando a resposta precisa se sustentar em uma revisão.

Por que todos precisam dele

Por que o Pro, ainda mais

Estudo sob medida: a resposta, não a ferramenta

O mesmo motor, amplificado: saída real do Kshana Pro

Qual projeto devemos lançar?

Quão seguros estamos, e o que determina o resultado?

A missão satisfaz seus requisitos, e podemos entregar isso?

Descubra onde a sua temporização quebra, antes que ela quebre.