Documentação do Kshana
Tudo aqui é renderizado em tempo de build a partir de arquivos Markdown rastreados no repositório do Kshana (motor v0.40.0), mais duas páginas de referência geradas a partir dos arquivos de cenário e da matriz de verificação. Nada é escrito à mão para o site.
Primeiros passos
- Visão geralO Kshana reproduz jamming, spoofing e holdover de relógio quando os sinais do GNSS (Global Navigation Satellite System)…
- Introdução aos conceitosEsta página explica o que o Kshana faz e por quê, partindo do zero e chegando à física.
- GlossárioDefinições em linguagem simples dos termos usados no Kshana.
- IdiomasO texto do motor voltado às pessoas está em 17 idiomas além do inglês: nl, pl, pt-BR, pt-PT, fi, sv, da, nb, cs…
- Guia do StudioKshana Studio: execute o motor no seu navegador, sem instalar nada.
- TutoriaisExemplos práticos que levam você de “executar um cenário distribuído” a “quantificar e defender um resultado”…
- 1 · Sua primeira órbitaAo final, você terá propagado a constelação GPS operacional real, lido sua disponibilidade e…
- 2 · Holdover de relógioAo final, você terá executado um holdover de relógio com os sinais do GNSS (Global Navigation Satellite System) negados…
- 3 · Quântico contra clássicoO projeto final. Você executará um cenário de detector de spoofing e um posicionamento, navegação e temporização totalmente fundido…
- Exemplo prático: pipeline com várias ferramentasEste exemplo percorre uma trajetória pelos tipos de cenário de interoperabilidade baseada em padrões e de análise de missão, de ponta a…
Cenários
- Tipos de cenárioOs 92 tipos de cenário incorporados sobre os quais kshana::api::run_toml distribui, cada um com a sua descrição de uma…
- Todos os tipos de cenário, por famíliaTodos os tipos de cenário que o motor v0.40.0 distribui (92), organizados em 13 famílias.
- Todos os comandoskshana <scenario.toml> executa um cenário; todos os outros comandos são subcomandos. kshana --help imprime o uso…
- Todas as superfíciesUm motor, os mesmos resultados em toda parte. docs/SURFACES.md lista, para cada comando e tipo de cenário, qual superfície…
- Domínios de capacidadeTodas as capacidades do mapa público, por domínio, com seu rótulo no registro.
- Referência de cenáriosTodos os arquivos de cenário incluídos (193), agrupados por tipo, com suas principais configurações.
- Esquema de resultadoCada execução grava um artefato JSON (JavaScript Object Notation) versionado e autodescritivo ao lado do cenário.
- Usando TLEs reaisO scenarios/orbit-sgp4-gps.toml incluído já traz TLEs reais (conjuntos de elementos de duas linhas): o Celestrak…
- CampanhasUm único cenário responde a uma pergunta sobre uma situação.
Saídas e exportações
- Relatórios de execuçãoCada execução da interface de linha de comando (CLI) grava um relatório ao lado de seu resultado: um HyperText imprimível…
- Exportação de animação--animate transforma a série temporal de uma execução em algo que se move: um Scalable Vector Graphics (SVG) animado…
- Exportações e importações de interoperabilidadeUma execução grava um documento de resultado, um gráfico e um relatório. --export também grava a geometria do cenário, ou seu…
Validação e evidências
- Situação da validaçãoSobre as tolerâncias. "validado" abaixo significa que um teste de calibração afirma que a estatística simulada coincide com…
- Matriz de verificaçãoO registro de evidências completo, verificado por máquina: 401 linhas — 176 VALIDATED, 221 MODELLED, 4 PARTNER.
- Referência de capacidadesOs cartões de capacidade e todas as 401 linhas da matriz de verificação.
- Por que as linhas continuam modeladasEstas capacidades são implementadas a partir de física publicada ou de primeiros princípios, com testes, mas são honestamente…
- Afirmações contra a realidadeUma auditoria independente de uma versão anterior do Kshana catalogou quatorze afirmações excessivas (OC-0…OC-13): lugares onde…
- ProveniênciaA disciplina central de honestidade do Kshana é que todo parâmetro de sensor, modelo físico e conjunto de dados de validação…
- ReprodutibilidadeO Kshana é construído para ser reprodutível: as mesmas entradas produzem os mesmos resultados, e os artefatos de build podem ser…
- Mapa de capacidadesO Kshana é um motor de evidências de desempenho e resiliência de PNT (posicionamento, navegação e temporização), não um…
- Padrões e interoperabilidadeO Kshana fala os formatos de intercâmbio padrão do GNSS (sistema global de navegação por satélite)…
- Cobertura de linhasA “cobertura de linhas de ~95 %” no selo do README, na tabela de CI (integração contínua) do README, no crates.io…
- Pacotes de evidênciasUm pacote é um registro técnico, não um parecer jurídico.
- Parceiros de dados e linhas promovidasO Kshana rotula cada capacidade em um registro verificado por máquina (matriz de verificação).
Temporização
- Enlaces ópticos através da atmosferaO tipo de cenário optical-atmosphere responde com que frequência um enlace óptico até o solo funciona, por que falha…
- Temporização de slotsO tipo de cenário slot-timing responde a três perguntas para um relógio que funciona livremente entre sincronizações…
- Temporização de telecomunicaçõesEsta página lista cada limite que o tipo de cenário telecom-timing verifica, de onde vem cada um e o que foi…
- Tempo enganadoUma nota técnica para operadores de redes indexadas por tempo: constelações que roteiam, atribuem tarefas ou transferem com base em um…
- Teste de holdover e hardware de temporização em malhaOs operadores de telecomunicações e de energia testam um sistema de temporização retirando o seu GNSS e observando o que o relógio faz.
- Formatos de log de relógiosrc/clock_log.rs lê um log de relógio medido em uma série de fase normalizada: uma grade uniforme de (time_s…
- Segurança de hardwareO Kshana é software de caráter consultivo para investigação, simulação e ensaio.
Integridade e interferência
- Integridade e segurançaO Kshana informa duas figuras de mérito (FoMs) — Integridade e Segurança — que são fáceis de confundir com…
- Espectro e waterfallO tipo de cenário spectrum constrói a banda L do Global Navigation Satellite System (GNSS), e qualquer outra banda que um…
- Referência do ARAIMEsta nota documenta a implementação aberta do Kshana de Advanced Receiver Autonomous Integrity Monitoring…
- Mapa DO-316 / DO-229EEste documento mapeia, da RTCA (antigamente Radio Technical Commission for Aeronautics), a DO-229E (SBAS…
- Correspondência de resiliênciaAlinhado a, não classificado nem aprovado. Isto mapeia as capacidades simuladas do Kshana para a resiliência de PNT publicada…
Confiança do receptor e marítimo
- Confiança do receptorkshana receiver-trust lê um log de um receptor real de sistema global de navegação por satélite (GNSS), executa a confiança…
- Confiança marítimakshana receiver-trust pode pontuar, para uma embarcação em movimento, uma figura de confiança ao vivo de 0-100 para cada correção de posição, a partir…
- Fluxos de treinamento NMEAAcademias marítimas e centros de simuladores podem alimentar NMEA 0183 gerado pelo Kshana em um simulador de passadiço ou em um…
- Mapa de interferência e exposição de rotakshana interference-map constrói um retrato diário de onde aeronaves e navios relataram navegação degradada…
- Mapa de interferência: fontes de dados e licençasAs saídas do Kshana nunca contêm identificadores por aeronave ou por embarcação (hex ICAO, MMSI, indicativo, nome).
- Integrações marítimasA pontuação de confiança marítima do Kshana (MARITIME-TRUST.md) é acessível a partir de software que os navegantes já usam: um Signal K…
- Geometria do céu e skylinesAté a 0,36, todo teste de visibilidade da Terra no motor era um único corte de elevação, mask_deg: um satélite…
- Confiança como telemetria de segurançakshana trust-telemetry transforma o fluxo de confiança GNSS por época (pontuação 0-100, faixa, motivos) em sinais que um…
- Verificação OSNMA do GalileoUm verificador do lado do receptor para a Galileo Open Service Navigation Message Authentication (OSNMA), em Rust puro.
- Sinal direto aumentado do LunaNetO Kshana implementa os códigos de espalhamento e a camada de mensagem do LunaNet Augmented Forward Signal (AFS) como…
- Jammertest como árbitrokshana jammertest import lê o catálogo de testes e o plano de transmissão do Jammertest e transforma a área de um teste…
- Entradas de máquinas e sensoresLeitores que trazem outros receptores, solucionadores e sensores para o tipo de cenário receiver-trust.
- Protocolos de receptor lidosSomente leitura, do começo ao fim: nada aqui grava um byte em um receptor, e não há nenhum caminho de transmissão de qualquer tipo.
- Observatório de interferência: métodoUm produto por dia UTC e região, a partir de um único arquivo aberto de posições de aeronaves.
- Observatório de interferência: resultadosExemplo do que um dia mostra: em 2026-09-15 o arquivo continha 110.619.797 linhas de posição em 79.826 arquivos de trilha…
- kshana-benchUm conjunto aberto de tarefas, divisões e métricas para detecção de interferência GNSS e holdover de temporização.
Compliance e test bench
- Executando um receptor contra um cenárioUm fabricante de receptores que possui um simulador GNSS de laboratório pode reproduzir o movimento do veículo de um cenário do Kshana através…
- Mapeamento de complianceCompradores e fabricantes de receptores respondem a frameworks públicos de resiliência.
- Framework de PNT resiliente do DHS dos EUAO framework descreve níveis de resiliência de 0 a 4 construídos a partir de oito requisitos numerados, e uma avaliação…
- Orientações da IMO para naviosO texto da IMO sobre interferência GNSS para navios é escasso: a MSC.1/Circ.1644 se dirige principalmente aos Estados-Membros, e…
- Orientações da EASA para a aviaçãoO Safety Information Bulletin da EASA é informativo, não obrigatório, e dirigido a autoridades, empresas aéreas…
- NIS2 da UE, Artigo 21O Artigo 21 lista, no parágrafo 2, alíneas (a) a (j), as medidas que as entidades essenciais e importantes tomam para…
- EN 16803A EN 16803 é um padrão pago. Apenas a estrutura de suas partes e os números de cláusulas visíveis em catálogos públicos…
Órbitas
- Validação do SGP4O propagador de órbita do Kshana é validado em relação à referência canônica da comunidade para SGP4/SDP4 (SGP4…
- Validação do modelo de forçasO motor de forças completo do Kshana (src/precise_od.rs) ajustado a produtos reais de órbita precisa de agências, com honestidade…
- Sistema solar e outros corposO tipo de cenário constellation-design usa o mesmo catálogo para construir constelações em torno de qualquer um destes corpos…
- Estação de referência lunarMODELLED. Sob as suposições declaradas (a constelação, seu erro de sinal no espaço, o levantamento da estação…
- Navegação de usuário espacial (gnss-ssv)Apenas consultivo. Resultados modelados a partir de entradas declaradas e de uma verdade simulada; não é uma certificação, uma…
- Órbita e superfície lunares como infraestruturaOs projetos, as entradas e os limiares foram fixados em xval/lunar-infra/PREREGISTRATION.md (registrados antes de qualquer estudo…
- Sequência de missão: do lançamento à reentradaSoftware de caráter consultivo, não um equipamento de navegação certificado.
- Sequência de missão: o segmento lunarQuatro tipos de cenário, cada um também um tipo de fase da interface de sequência de missão (src/mission_thread/): eles…
Navegação em órbita baixa da Terra (LEO)
- Posicionamento, navegação e temporização LEOLEO-PNT é posicionamento, navegação e temporização (PNT) a partir de satélites em órbita terrestre baixa (LEO), junto com ou…
- Projetos de sinal LEOO tipo de cenário leo-signal analisa sinais de posicionamento, navegação e temporização (PNT) em órbita terrestre baixa (LEO).
- Passagem LEO e orçamento de enlaceLEO-PNT é posicionamento, navegação e temporização (PNT) a partir de satélites em órbita terrestre baixa (LEO).
- Mensagem de navegação LEOO tipo de cenário leo-navmsg constrói a efeméride transmitida e a mensagem de relógio de um satélite em órbita terrestre baixa (LEO)…
- Posicionamento fundido MEO e LEOTrês tipos de cenário fornecem posicionamento, navegação e temporização (PNT) com satélites em órbita terrestre baixa…
- Projeto de constelaçõesO tipo de cenário constellation-design constrói uma ou mais constelações de satélites em torno da Terra, da Lua, de Marte…
Sensores quânticos
- Modelos de sensores quânticosO Kshana é um simulador de resiliência de PNT (PNT: posicionamento, navegação e temporização) com sensores quânticos…
- Interferômetro de átomos friosA maior parte do Kshana conduz seus sensores quânticos a partir de coeficientes de Allan/ruído publicados — consultas a folhas de dados (veja…
APIs e integrações
- API PythonO Kshana distribui uma interface de programação de aplicações (API) Python de primeira classe, construída com PyO3 e maturin.
- npm e WebAssemblyO Kshana reproduz jamming, spoofing e holdover de relógio quando os sinais do GNSS (Global Navigation Satellite System)…
- Crate RustO Kshana reproduz jamming, spoofing e holdover de relógio quando os sinais do GNSS (Global Navigation Satellite System)…
- Servidor MCPkshana-mcp é um servidor Model Context Protocol (MCP) para o Kshana, o simulador de código aberto para PNT…
- Servidor MCP: todos os canais de instalaçãoConsultivo, não um equipamento de navegação homologado: o operador continua responsável pela navegação.
- Servidor MCP: modo HTTP auto-hospedadoO Kshana não hospeda um endpoint. Não existe um servidor kshana compartilhado para o qual apontar um cliente.
- Usando o Kshana a partir de um agentePara um agente (ou a pessoa que o dirige): qual ferramenta chamar para qual pergunta, o que as ferramentas farão e…
- Onde cada capacidade é acessívelToda capacidade está disponível nas superfícies em que faz sentido; onde uma não pode carregar uma capacidade, a…
- Plugin do JetBrainsUm plugin nativo que executa o simulador de resiliência de PNT do Kshana de dentro de qualquer IDE JetBrains (IntelliJ IDEA…
- Onde o Kshana rodaUm limite de escopo, escrito para que ninguém o descubra como um compromisso em uma reunião.
- ArquiteturaO Kshana é um motor organizado em camadas sobre um núcleo compartilhado: os pacotes de sensores (relógio, inercial…
- Onde o Kshana se situaO Kshana é um motor de evidências de resiliência de PNT (posicionamento, navegação e temporização) aberto e reprodutível.
Projeto
- Registro de alteraçõesTodas as alterações notáveis no Kshana estão documentadas aqui.
- LicenciamentoO Kshana tem licenciamento duplo. Você pode usar o motor aberto sob a licença aberta (AGPL-3.0) ou uma…
- SegurançaNão abra uma issue pública para relatos sensíveis à segurança.
- ContribuindoObrigado pelo seu interesse. O Kshana pretende ser uma referência neutra, reprodutível e validada com honestidade para…
- GovernançaEste documento declara como o Kshana é governado: quem toma as decisões, como, e o que o projeto irá e não irá…
- Código de condutaNós, como membros, contribuidores e líderes, nos comprometemos a fazer da participação em nossa comunidade uma experiência livre de assédio…
Famílias de tipos de cenário
- Campanhas1 tipo de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Relógios, temporização e holdover9 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Cobertura e geometria das constelações7 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Medições GNSS, posicionamento e integridade6 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- PNT alternativo em ambientes sem GPS5 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Fusão inercial e sensores quânticos9 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Jamming, spoofing e o espectro6 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Navegação em órbita terrestre baixa7 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Lunar e cislunar24 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Análise de missão, enlaces e operações espaciais14 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Sequências de missão1 tipo de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- PNT óptico2 tipos de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
- Navegação de usuário espacial1 tipo de cenário do motor v0.40.0. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não…
Páginas de tipos de cenário
92 páginas, uma para cada tipo de cenário, ligadas a partir de Todos os tipos de cenário, por família.
Não incluído
Os documentos do processo de manutenção permanecem no repositório: docs/RELEASING.md (procedimento de lançamento); docs/WHEEL_TAGS.md (detalhes de empacotamento); docs/revisions/ (notas internas de alterações); docs/design/ (notas internas de projeto); README.pypi.md (a página do PyPI; a documentação da API Python a cobre); modelos de .github/; docs/integrations.md (organizado em torno de produtos de IA de terceiros nomeados, que este site não nomeia).