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

Edições · núcleo aberto, Pro e estudo sob medida

Livre para construir sobre ele. Pro quando precisa resistir a uma revisão.

O motor é, e continua sendo, código aberto sob a AGPL-3.0 (GNU Affero General Public License, versão 3), sem bloqueio de funcionalidades. A Ashforde® OÜ o sustenta com conhecimento especializado e uma camada proprietária, não com taxas por usuário sobre o motor aberto. Este site não traz preços: todo caminho pago começa com uma mensagem.

Iniciar o Kshana Studio Conheça o Kshana ProFale conosco
Um motor · kshana v0.40.0 Do repositório
O motor aberto no centro: uma marca por tipo de cenário (92), preenchida onde o tipo de cenário tem linhas validadas no registro, vazada onde suas linhas são modeladas, um traço onde nenhum módulo do registro corresponde a ele pelo nome. O Kshana Pro e o estudo sob medida ficam ao redor e se ligam aos tipos de cenário em que se baseiam.

Motor v0.40.0 · 92 tipos de cenário de src/api.rs · estado no registro de web/data/verification-matrix.json · em que o Pro e um estudo se baseiam: o registro de edições do site · sem cenário nem sementeComparar as edições

01Três maneiras de trabalhar conosco

Compare as edições.

O mesmo motor está por baixo das três. Leia ao longo de uma linha para comparar por que importa, a quem cada uma se destina, o que inclui e como começa.

Gratuita · AGPL-3.0 ou licença comercial

Núcleo aberto

O motor validado inteiro e todas as superfícies, gratuitos e sem bloqueio de funcionalidades. Tudo neste site roda sobre ele.

Por que todos precisam dele

Todo aquele que obtém posição ou tempo do GNSS (Global Navigation Satellite Systems) está exposto: jamming, spoofing e perda de sinal atingem igualmente veículos, redes, redes elétricas e espaçonaves. O núcleo aberto mostra o quanto se está exposto e diz quais valores são verificados.

A quem se destina
  • Engenheiros de veículos, redes, redes elétricas e espaçonaves que obtêm posição ou tempo do GNSS
  • Pesquisadores, estudantes e revisores que precisam de valores que possam reproduzir e citar
  • Desenvolvedores que integram o motor a código, a uma suíte de CI (integração contínua) ou a um assistente de IA (inteligência artificial)
O que está incluído
  • Todos os 92 tipos de cenário e 181 cenários incluídos: nativo, Python, JavaScript, no navegador e por MCP (Model Context Protocol)
  • A matriz de verificação completa: 176 de 401 capacidades validadas em relação a referências independentes, as demais rotuladas como modeladas
  • Todo resultado carimbado com o hash do cenário, a semente e a versão do motor, e escrito como JSON (JavaScript Object Notation), tabelas CSV (valores separados por vírgula) e gráficos SVG (Scalable Vector Graphics)
  • O executor gratuito de suítes kshana --study
Termos

Gratuito sob a AGPL-3.0. O mesmo núcleo também é oferecido sob uma licença comercial, para integração fechada em produtos proprietários (abaixo).

Iniciar o Kshana Studio Pergunte sobre uma licença comercial
Comercial · o mesmo motor, ampliado

Kshana Pro

Uma camada proprietária que depende do núcleo aberto e nunca o bifurca: um superconjunto estrito do Kshana aberto. Disponível sob contrato.

Por que o Pro, ainda mais

O Kshana aberto roda um cenário e diz o que ele fornece. O Kshana Pro responde às perguntas que um programa faz em seguida: qual projeto lançar, quão segura é a resposta e se a missão satisfaz seus requisitos em uma forma que um comitê de revisão possa verificar.

A quem se destina
  • Programas que precisam entregar um dossiê de missão ou um pacote de evidências com rigor de auditoria a um comitê de revisão ou de aquisição
  • Arquitetos que escolhem um projeto a partir da fronteira de Pareto de um espaço de projeto inteiro, ou de estudos comparativos ordenados por uma figura de mérito
  • Equipes de temporização e de hardware que precisam de um gêmeo digital de relógio calibrado para o seu dispositivo
O que está incluído
  • Um otimizador de projeto: a fronteira de Pareto de um espaço de projeto, com cada projeto da fronteira como um cenário que o motor gratuito reexecuta
  • Incerteza e sensibilidade ao longo de milhares de execuções
  • Um dossiê de missão com um único comando, com uma matriz de verificação e um arquivo PDF (Portable Document Format)
  • Pacotes de evidências reprodutíveis com rigor de auditoria, gêmeos digitais de relógio calibrados para o orçamento de Allan publicado de um dispositivo e estudos comparativos de arquitetura ordenados por uma figura de mérito
  • Ferramentas de engenharia de sistemas baseada em modelos (MBSE) e de programas que verificam os requisitos de um programa contra execuções do motor aberto, lendo apenas as saídas que o motor publica
Termos

O Kshana Pro está disponível sob contrato. Ele depende do núcleo aberto e nunca o bifurca, de modo que nada é retirado do motor gratuito.

Solicitar uma avaliação Veja-o ampliado
Trabalho pago · feito para você

Estudo sob medida

Trabalho feito para você, no seu sistema: o estudo sob medida pago, não o comando gratuito kshana --study.

Por que um estudo sob medida

Quando a pergunta é sua, mas o tempo, a modelagem ou a autorização de segurança não são: modelamos o seu sistema com o mesmo motor, rotulamos cada valor como validado ou modelado e devolvemos um resultado que você pode reproduzir.

A quem se destina
  • Equipes de programa e de aquisição que precisam de uma visão independente e modelada da resiliência de uma arquitetura PNT (posicionamento, navegação e temporização)
  • Construtores de hardware que querem modelos dos seus próprios dispositivos
  • Programas sensíveis do ponto de vista de exportação e equipes que querem o Kshana em sua cadeia de ferramentas
O que está incluído
  • Um estudo modelado de resiliência PNT, por exemplo uma auditoria da lacuna de otimismo. Não é uma certificação.
  • Modelos de sensores e de resiliência calibrados para o seu hardware
  • Trabalho de resiliência sujeito a controle de exportação sob a autorização de segurança apropriada e um NDA (acordo de confidencialidade)
  • Suporte e integração comerciais, treinamento e consultoria
Termos

Delimitado de acordo com a sua pergunta e entregue sob contrato, reproduzível a partir do cenário, da semente e da versão do motor.

Solicitar um estudo Como um estudo é conduzido
Licença do núcleo aberto

Um motor, duas licenças.

Escolha a que se ajusta à forma como você o usa. Ambas cobrem o mesmo motor aberto; nada é retido de nenhuma das duas.

Guia de licenciamentocontact@ashforde.org

Opção A · código aberto

GNU AGPL-3.0

Use, estude, modifique e redistribua gratuitamente. Se você distribuir um derivado, ou deixar pessoas usarem um motor modificado por uma rede, você compartilha o código-fonte sob a mesma licença.

Adequada para trabalho acadêmico, projetos de código aberto, avaliação interna e pesquisa.

Opção B · da Ashforde® OÜ

Licença comercial

  • Incorporar o motor em um produto de código fechado
  • Executar um serviço de rede sobre um motor modificado sem a obrigação de divulgar o código-fonte
  • Integrá-lo a uma cadeia de ferramentas cujas outras partes não podem ser AGPL
  • Obter termos de garantia, indenização ou suporte que a AGPL exclui

Pergunte sobre uma licença comercial

O Kshana Pro e as demais camadas proprietárias são produtos separados, sob contrato próprio, e não fazem parte de nenhuma das licenças. O que a licença comercial cobre

Kshana Pro · o mesmo motor, ampliado

O gratuito roda um cenário. O Pro responde à pergunta do programa.

O Kshana aberto roda um cenário e diz o que ele fornece. O Kshana Pro responde às perguntas que um programa faz em seguida, sobre o mesmo motor e os mesmos arquivos de cenário: qual projeto lançar, quão segura é a resposta e se a missão satisfaz seus requisitos em uma forma que um comitê de revisão possa verificar.

  • Um superconjunto estrito do Kshana aberto.Todo tipo de cenário aberto roda no Pro sem alterações, e um cenário aberto roda no Pro sem nenhuma licença.
  • Nenhuma física nova.Todo número do Pro vem de execuções do motor aberto, de modo que um valor do Pro é tão confiável quanto o tipo de cenário aberto de que veio, e nunca mais.
  • Reprodutível no motor gratuito.Quem tem o Kshana aberto pode reexecutar um e obter o mesmo valor.
  • Rótulos honestos mantidos até o fim.Todo resultado do Pro é rotulado como MODELLED. Todo valor mantém o nível que o motor aberto lhe deu (validado, modelado ou do parceiro), nunca um nível superior.
Otimizador de projeto

Qual projeto devemos lançar?

  • GratuitoUm usuário gratuito avalia um projeto que escreveu à mão.
  • ProUm usuário Pro declara o espaço de projeto (cada variável é um parâmetro do cenário com seus valores permitidos), as restrições e dois ou três objetivos, e obtém toda a fronteira de Pareto: os projetos que nenhum outro projeto supera em todos os objetivos ao mesmo tempo.

O cenário de base pode ser de qualquer tipo aberto, de modo que a mesma ferramenta projeta uma constelação em torno da Terra, da Lua ou de Marte, ou compara orçamentos de enlace. Cada projeto é uma execução do motor aberto. Cada projeto da fronteira é gravado como um arquivo de cenário aberto simples, com o hash do Secure Hash Algorithm (SHA-256) do resultado que o motor gratuito dá para ele.

O que ele não faz. Não tem modelo de custo, de modo que uma variável que nenhum objetivo penaliza deriva para a borda de sua faixa. Os estudos de constelação avaliam apenas a geometria: nada de potência de sinal, saúde dos satélites ou terreno.

Fronteira de Pareto · Constelação de navegação lunarSaída do Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
todos os projetos executadosfronteira de Paretojoelhoreferência: projeto de retransmissão lunar incluído (8 + 6 satélites)

Projeto 004 da fronteira · joelho · 16 satélites, 85,0404 % de disponibilidade · 2 planos a 8.000 km, 45° · reexecutado no motor gratuito: mesmo SHA-256 89882372…

608 projetos, todos executados (Lua inteira): uma fronteira de 12 projetos em 6 pontos; 12 de 12 reexecutados no motor gratuito com o mesmo hash de resultado. MODELLED.

Kshana Pro 0.2.0 sobre o motor aberto 0.29.0 · kshana-pro design · 609 execuções do motor · digest da execução df81aad4…

Incerteza e sensibilidade

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

  • GratuitoUm usuário gratuito obtém um número, ou uma dispersão sobre sementes aleatórias.
  • ProUm usuário Pro declara quão incerta é cada entrada e obtém faixas de confiança, a probabilidade de satisfazer um limite e uma ordenação das entradas que determinam o resultado.

Funciona com qualquer cenário aberto. As entradas são ordenadas pelos índices de sensibilidade de Sobol' ou por coeficientes de regressão padronizados, e uma ordenação que não é confiável é sinalizada como tal. Um estudo longo pode ser interrompido e retomado.

O que ele não faz. As entradas são tratadas como independentes. Mais execuções reduzem o erro de amostragem, não o erro do modelo: um tipo MODELLED continua MODELLED.

Incerteza e sensibilidadeSaída do Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
do 5º ao 95º percentil de 2.000 execuçõesmedianaexecução de baseproporção dentro do limite

Após 60 minutos: 1.366 de 2.000 execuções dentro de ±20 ns, uma probabilidade de 0,683 (intervalo de 95 % de 0,6623 a 0,703)

Holdover de relógio com nível de ruído incerto · entrada q_wf (o nível de ruído branco de frequência do relógio): uniforme(4.5e-20 a 2.7e-19), ASSUMED · MODELLED · Kshana Pro 0.2.0 sobre o motor aberto 0.29.0 · kshana-pro uncertainty · 2.000 execuções do motor · digest da execução abab765e…

Dossiê de missão

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

  • GratuitoUm usuário gratuito obtém um relatório por execução.
  • ProUm usuário Pro obtém um dossiê de missão com um único comando: requisitos verificados contra execuções reais, uma matriz de verificação com seus itens em aberto e um PDF (Portable Document Format) em que cada número pode ser rederivado com o motor gratuito.

Um requisito satisfeito em base MODELLED ou PARTNER é sinalizado. Requisitos a serem verificados por ensaio, inspeção ou demonstração permanecem itens em aberto, qualquer que tenha sido o resultado da execução.

O que ele não faz. A evidência de simulação conta como análise e não substitui um ensaio, uma inspeção ou uma demonstração. Um dossiê não é uma certificação, uma qualificação nem uma aceitação por parte de qualquer autoridade.

Dossiê de missão · Programa de resiliência de navegação: Terra, Lua e MarteSaída do Kshana Pro
12requisitos
7atingido
4não atingidos
1não verificados
15itens em aberto
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minatingidoMODELLED

    Com 240 satélites de órbita terrestre baixa (LEO) adicionados, o posicionamento preciso de ponto (PPP) deve convergir em até 10 minutos (mediana sobre as execuções com semente).

    Método: análise · execução RUN-LEO · valor lido: 7,5 min

    `ppp.cases[1].median_convergence_min <= 10 min`: 7.5 min <= 10 min is true

    Item em aberto: base MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minnão atingidoMODELLED

    Apenas com GPS e Galileo, o posicionamento preciso de ponto (PPP) deve convergir em até 10 minutos (mediana sobre as execuções com semente).

    Método: análise · execução RUN-LEO · valor lido: 11,5 min

    `ppp.cases[0].median_convergence_min <= 10 min`: 11.5 min <= 10 min is false

    Item em aberto: não atingido

  • LEO-003fusion.fused.rms_error_3d_m <= 0,5 matingidoMODELLED

    Com a camada LEO, o erro de posição tridimensional fundido deve ser de 0,5 m em raiz do valor quadrático médio (RMS) ou melhor.

    Método: ensaio · execução RUN-LEO · valor lido: 0,4349 m

    `fusion.fused.rms_error_3d_m <= 0.5 m`: 0.434888 m <= 0.5 m is true

    Item em aberto: método, base MODELLED

  • LUN-001global.availability_pct >= 95 %não atingidoMODELLED

    A constelação de retransmissão lunar deve fornecer uma solução de posição com diluição de precisão de posição (PDOP) de 6 ou melhor em pelo menos 95 % da superfície lunar e do dia.

    Método: análise · execução RUN-LUNAR · valor lido: 21,3286 %

    `global.availability_pct >= 95 %`: 21.3286 % >= 95 % is false

    Item em aberto: não atingido

  • LUN-002global.pdop.median <= 6atingidoMODELLED

    Onde a constelação de retransmissão lunar fornece uma solução, a diluição de precisão de posição (PDOP) mediana deve ser de 6 ou melhor.

    Método: análise · execução RUN-LUNAR · valor lido: 5,22 1

    `global.pdop.median <= 6`: 5.22 <= 6 is true

    Item em aberto: base MODELLED

  • SPC-001timeline.bands[3].min_cn0_dbhz >= 25 dB-HzatingidoPARTNER

    Sob a interferência em banda L roteirizada, a razão de densidade de portadora sobre ruído (C/N0) do GPS L5 deve permanecer em 25 dB-Hz ou acima.

    Método: análise · execução RUN-SPECTRUM · valor lido: 44,0752 dB-Hz

    `timeline.bands[3].min_cn0_dbhz >= 25 dB-Hz`: 44.075187 dB-Hz >= 25 dB-Hz is true

    Item em aberto: base PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hznão atingidoPARTNER

    Sob a interferência em banda L roteirizada, a razão de densidade de portadora sobre ruído (C/N0) do GPS L1 de código grosseiro/aquisição (C/A) deve permanecer em 25 dB-Hz ou acima.

    Método: análise · execução RUN-SPECTRUM · valor lido: 3,2329 dB-Hz

    `timeline.bands[0].min_cn0_dbhz >= 25 dB-Hz`: 3.232859 dB-Hz >= 25 dB-Hz is false

    Item em aberto: não atingido

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values para todos os valoresnão atingidoPARTNER

    Na missão encadeada de jamming, spoofing e holdover, o erro de tempo do relógio deve permanecer dentro de sua guarda de 50 ns em cada passo da linha do tempo.

    Método: análise · execução RUN-CAMPAIGN · valor lido: 51,7825 ns

    `timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values` for all: 275 of 458 elements satisfy (first failing); element 214: 51.782497 ns <= 50 ns

    Item em aberto: não atingido

  • CMP-002min(timeline.events[].t_s) <= 30 minatingidoPARTNER

    Na missão encadeada, um alarme de spoofing deve ser emitido em até 30 minutos após o início.

    Método: demonstração · execução RUN-CAMPAIGN · valor lido: 1.200 s

    `min(timeline.events[].t_s) <= 30 min`: 1200 s <= 1800 s is true

    Item em aberto: método, base PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 matingidoMODELLED

    Em torno de Marte, o erro de posição apenas da constelação deve ser de 5 m em raiz do valor quadrático médio (RMS) ou melhor ao longo de um dia marciano.

    Método: análise · execução RUN-MARS · valor lido: 1,8827 m

    `fom.rms_error_relays_m <= 5 m`: 1.882704 m <= 5 m is true

    Item em aberto: base MODELLED

  • MARS-002fom.availability_relays >= 99 %atingidoMODELLED

    Em torno de Marte, a constelação deve fornecer uma solução de posição em 99 % das épocas ou mais.

    Método: análise · execução RUN-MARS · valor lido: 1 1

    `fom.availability_relays >= 99 %`: 1 >= 0.99 is true

    Item em aberto: base MODELLED

  • OPS-001nenhum critério verificável por máquinanão verificados

    O invólucro do receptor deve conter a etiqueta de identificação do programa.

    Método: inspeção · execução nenhuma · valor lido: nenhuma execução rastreada

    Item em aberto: sem evidência, verificação manual

Página 1 do dossiê de missão geradoPágina 2 do dossiê de missão gerado

21 páginas, um comando. Abrir o PDF gerado (Portable Document Format)

Kshana Pro 0.2.0 sobre o motor aberto 0.29.0 · kshana-pro mission build · 5 execuções e um estudo comparativo · 7 atingidos, todos em base MODELLED ou PARTNER · SHA-256 do dossiê 49df1e0e… · build de desenvolvimento

Mais três respostas

A última mudança piorou um valor que nos importa?

  • GratuitoUm usuário gratuito executa uma campanha e lê o resultado.
  • ProUm usuário Pro nomeia os valores que importam em um conjunto de cenários, diz o que significa piorar para cada um e obtém um pipeline que falha quando uma mudança em um cenário, em um modelo ou no motor piora um deles, ou faz com que deixe de satisfazer seu requisito.

Ele estende a verificação de regressão de cenários. Um valor de Monte Carlo é julgado com estatística em vez de uma tolerância, de modo que um novo conjunto de sementes aleatórias não é chamado de regressão e uma dispersão dobrada é. Cada execução é anexada a um histórico em que cada registro traz o hash do anterior, e uma verificação informa se essa cadeia está íntegra.

O que ele não faz. Uma vigilância prova que um valor MODELLED permaneceu estável ou se moveu; não prova que o valor é verdadeiro. Um valor sem direção declarada é informado e nunca faz uma execução falhar.

Vigilância de campanha · seis revisões, um históricoSaída do Kshana Pro
Valor vigiado · revisão
razão de densidade de portadora sobre ruído (C/N0) ao fim da fase de jamming○·▲▼··
maior erro de tempo na linha do tempo da missão○····≈
satélites rastreados ao fim da fase de jamming○··▼··
proporção da missão sob alarme○··▼·▲
spoofing detectado (duração da fase)○····▲
erro de tempo ao fim do holdover○····≈
▼regrediu▲melhorou·inalterado≈moveu-se dentro da sua tolerância○primeira execução: torna-se a linha de base

Revisão r4-stronger-jammer · interferente elevado de -33 para -24 dBW (decibéis em relação a um watt): C/N0 ao fim da fase de jamming 30,60 → 21,82 dB-Hz (decibel-hertz), abaixo do piso de 25 dB-Hz, requisito não atingido; satélites rastreados 8 → 0; três vigilâncias regrediram · falha, código de saída 1

O pacote de campanhas incluído, 10 valores vigiados em três campanhas abertas, executado duas vezes: sucesso nas duas, 0 de 125 valores se moveram, histórico de 2 registros íntegro.

Kshana Pro 0.2.0 sobre o motor aberto 0.29.0 · kshana-pro ci · revisões de demonstração de campaign-jam-spoof-holdover-integrity.toml · histórico de 6 registros, cadeia íntegra, último hash bb2f10eb… · MODELLEDAbrir no Kshana Studio

Também no Kshana Pro

Requisitos e rastreabilidade

As ferramentas de engenharia de sistemas baseada em modelos (MBSE) e de programas do Kshana Pro verificam os requisitos de um programa contra execuções do motor aberto: importam requisitos como valores separados por vírgula (CSV), ou como um subconjunto documentado do Requirements Interchange Format (ReqIF) ou de texto da Systems Modeling Language versão 2 (SysML v2), e produzem uma matriz de referência cruzada de verificação (VCRM), um modelo SysML v2, um relatório de impacto de mudanças e um pacote de evidências offline. Não reexecuta nem recalcula nada.

As saídas do motor aberto que ele lê
  • result.jsonos campos que um critério nomeia, suas unidades, o carimbo de reprodutibilidade com hash do cenário, semente, versão do motor e versão do esquema, e o rótulo da execução e os níveis dos valores
  • report.jsontipo, registro de reprodutibilidade e rótulos de capacidades
  • scenario fileseu hash, tipo, semente e parâmetros
  • field-units schemaa unidade, a proveniência e o nível de evidência de cada campo
  • verification matrixo rótulo VALIDATED, MODELLED ou PARTNER de cada capacidade

Estudos comparativos

Um estudo comparativo executa cada opção de arquitetura como um cenário inalterado do motor aberto, ordena as opções por uma figura de mérito lida do resultado de cada execução e escreve um pacote de evidências que registra o hash do cenário de cada opção, de modo que qualquer valor nele pode ser reproduzido reexecutando esse cenário.

Gêmeo digital de relógio

Um gêmeo de relógio é calibrado para o orçamento de desvio de Allan publicado de um dispositivo e depois verificado estimando o próprio desvio de Allan do gêmeo com o estimador do motor aberto e comparando os dois dentro de uma tolerância declarada. Um gêmeo do seu próprio dispositivo precisa dos seus dados de caracterização e é construído sob contrato e um acordo de confidencialidade.

Dossiê de estudo

Um cenário se torna uma nota técnica reprodutível em HTML (HyperText Markup Language) e JSON (JavaScript Object Notation): escopo, método, resultados com um nível em cada valor, limitações e o texto exato do cenário executado.

  • O Pro precisa de uma licença. Sem uma, o Pro executa apenas cenários abertos e recusa todo recurso Pro com uma mensagem que nomeia o que é necessário.
  • Alguns trabalhos precisam de um cliente com contrato assinado. Um gêmeo do seu próprio dispositivo precisa dos seus dados de caracterização e é construído sob contrato e um acordo de confidencialidade.
  • Nada do que o Pro produz é uma certificação. Todo resultado é modelado e diz isso.

Feito como estudo sob medida

  • Modelos do seu hardware. Modelos de sensores ou de resiliência calibrados para o seu hardware são construídos apenas sob contrato, com os seus dados.
  • Modelos de resiliência sujeitos a controle de exportação não são oferecidos publicamente. Esse trabalho é feito apenas sob a autorização de segurança apropriada e um acordo de confidencialidade.
Solicitar uma avaliação do Pro Guia de licenciamento

Os gráficos desta seção são desenhados a partir dos arquivos que os comandos do Pro gravaram para os exemplos trabalhados que acompanham o Pro: resultados modelados, não afirmações sobre qualquer missão real. A redação é citada da página pública do Kshana Pro do repositório aberto.

02Estudo sob medida · como é conduzido

Quando você precisa de uma resposta, não de uma ferramenta.

Um estudo sob medida usa o mesmo motor que você mesmo pode executar, de modo que todo valor nele pode ser verificado por qualquer pessoa.

  1. Conte-nos a pergunta. Escreva para contact@ashforde.org com o sistema e a decisão que ele alimenta. Não há formulário.
  2. Delimitamos o escopo. O que será modelado, com quais cenários, e o que fica fora do escopo, sob a autorização de segurança e o NDA apropriados quando o trabalho os exige.
  3. Modelamos com o mesmo motor. Todo valor é rotulado como validado ou modelado, exatamente como neste site.
  4. Você recebe um resultado reprodutível. Reprodutível a partir do cenário, da semente e da versão do motor. Um estudo modelado, não uma certificação.

Não é o mesmo que kshana --study: esse comando gratuito executa uma suíte de cenários que você escreve em um único relatório carimbado (Desenvolvedores). Um estudo sob medida é um trabalho pago que fazemos para você.

Instale o núcleo abertoA partir dos manifestos

Para qualquer pessoa, nada a instalar.

Iniciar o Kshana Studio

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

Abrir o Kshana StudioGuia do Studio