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 à medida

Gratuito para desenvolver. Pro quando tem de resistir a uma revisão.

O motor é, e continuará a ser, de código aberto ao abrigo da AGPL-3.0 (GNU Affero General Public License, versão 3), sem qualquer restrição de funcionalidades. A Ashforde® OÜ sustenta-o com conhecimento especializado e uma camada proprietária, e não com taxas por posto sobre o motor aberto. Não há preços neste site: todas as vias pagas começam com uma mensagem.

Iniciar o Kshana Studio Ver o Kshana ProFale connosco
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 registo, vazada onde as suas linhas são modeladas, um traço onde nenhum módulo do registo corresponde a ele pelo nome. O Kshana Pro e o estudo à medida ficam em volta e ligam-se aos tipos de cenário em que se baseiam.

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

01Três formas de trabalhar connosco

Compare as edições.

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

Gratuito · AGPL-3.0 ou licença comercial

Núcleo aberto

Todo o motor validado e todas as superfícies, gratuitos e sem restrição de funcionalidades. Tudo o que há neste site funciona sobre ele.

Porque é que toda a gente precisa dele

Quem obtém posição ou tempo a partir de GNSS (Sistemas Globais de Navegação por Satélite) está exposto: jamming, spoofing e perda de sinal atingem por igual veículos, redes, redes elétricas e veículos espaciais. O núcleo aberto mostra o grau de exposição e indica quais os valores que são verificados.

A quem se destina
  • Engenheiros de veículos, redes, redes elétricas e veículos espaciais que obtêm posição ou tempo a partir de GNSS
  • Investigadores, estudantes e revisores que precisam de valores que possam reproduzir e citar
  • Programadores que integram o motor em código, num conjunto de CI (integração contínua) ou num 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 face a referências independentes, as demais etiquetadas como modeladas
  • Cada 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írgulas) e gráficos SVG (Scalable Vector Graphics)
  • O executor de conjuntos gratuito kshana --study
Condições

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

Iniciar o Kshana Studio Pedir informações 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.

Porque o Pro, ainda mais

O Kshana aberto executa um cenário e indica o que este fornece. O Kshana Pro responde às perguntas que um programa coloca a seguir: que projeto fazer voar, com que grau de certeza se responde, e se a missão satisfaz os seus requisitos de uma forma que um comité de revisão possa verificar.

A quem se destina
  • Programas que têm de entregar um dossiê de missão ou um pacote de evidências de nível de auditoria a um comité de revisão ou de aquisições
  • Arquitetos que escolhem um projeto a partir da frente de Pareto de todo um espaço de projeto, ou de estudos comparativos classificados por uma figura de mérito
  • Equipas de temporização e de equipamento que precisam de um gémeo digital do relógio calibrado para o seu dispositivo
O que está incluído
  • Um otimizador de projeto: a frente de Pareto de um espaço de projeto, com cada projeto da frente como um cenário que o motor gratuito volta a executar
  • Incerteza e sensibilidade ao longo de milhares de execuções
  • Um dossiê de missão com um só comando, com uma matriz de verificação e um ficheiro PDF (Portable Document Format)
  • Pacotes de evidências reproduzíveis de nível de auditoria, gémeos digitais de relógios calibrados para o orçamento de Allan publicado de um dispositivo, e estudos comparativos de arquitetura classificados por uma figura de mérito
  • Ferramentas de engenharia de sistemas baseada em modelos (MBSE) e de gestão de programas que verificam os requisitos de um programa face a execuções do motor aberto, lendo apenas as saídas que o motor publica
Condições

O Kshana Pro está disponível sob contrato. Depende do núcleo aberto e nunca o bifurca, pelo que nada é retirado ao motor gratuito.

Pedir uma avaliação Ver a versão ampliada
Trabalho pago · feito por nós

Estudo à medida

Trabalho feito por nós, no seu sistema: o estudo à medida pago, e não o comando gratuito kshana --study.

Porque um estudo à medida

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

A quem se destina
  • Equipas de programas e de aquisições que precisam de uma visão independente e modelada da resiliência de uma arquitetura PNT (posicionamento, navegação e temporização)
  • Construtores de equipamento que querem modelos dos seus próprios dispositivos
  • Programas sujeitos a controlo de exportação e equipas que querem o Kshana na sua cadeia de ferramentas
O que está incluído
  • Um estudo de resiliência PNT modelado, por exemplo uma auditoria da lacuna de otimismo. Não é uma certificação.
  • Modelos de sensores e de resiliência calibrados para o seu equipamento
  • Trabalho de resiliência sujeito a controlo de exportação, sob a credenciação e o NDA (acordo de confidencialidade) adequados
  • Apoio comercial e integração, formação e consultoria
Condições

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

Pedir um estudo Como decorre um estudo
Licença de núcleo aberto

Um motor, duas licenças.

Escolha a que se adapta à forma como o utiliza. Ambas abrangem o mesmo motor aberto; nada é retido em nenhuma delas.

Guia de licenciamentocontact@ashforde.org

Opção A · código aberto

GNU AGPL-3.0

Pode usá-lo, estudá-lo, modificá-lo e redistribuí-lo gratuitamente. Se distribuir uma obra derivada, ou permitir que outros utilizem um motor modificado através de uma rede, partilha o seu código-fonte sob a mesma licença.

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

Opção B · da Ashforde® OÜ

Licença comercial

  • Incorporar o motor num produto de código fechado
  • Operar um serviço de rede sobre um motor modificado sem a obrigação de divulgação do código-fonte
  • Integrá-lo numa cadeia de ferramentas cujas outras partes não podem ser AGPL
  • Obter condições de garantia, indemnização ou apoio que a AGPL exclui

Pedir informações sobre uma licença comercial

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

Kshana Pro · o mesmo motor, ampliado

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

O Kshana aberto executa um cenário e indica o que este fornece. O Kshana Pro responde às perguntas que um programa coloca a seguir, sobre o mesmo motor e os mesmos ficheiros de cenário: que projeto fazer voar, com que grau de certeza se responde, e se a missão satisfaz os seus requisitos de uma forma que um comité de revisão possa verificar.

  • Um superconjunto estrito do Kshana aberto.Todos os tipos de cenário abertos funcionam no Pro sem alterações, e um cenário aberto funciona no Pro sem qualquer licença.
  • Sem física nova.Todos os números do Pro provêm de execuções do motor aberto, pelo que um valor do Pro é tão fiável quanto o tipo de cenário aberto de onde veio, e nunca mais.
  • Reproduzível no motor gratuito.Quem tiver o Kshana aberto pode voltar a executar um resultado e obter o mesmo valor.
  • Rótulos honestos mantidos até ao fim.Todos os resultados do Pro são rotulados como MODELLED. Cada valor mantém o nível que o motor aberto lhe atribuiu (validado, modelado ou do parceiro), nunca um superior.
Otimizador de projeto

Que projeto devemos fazer voar?

  • GratuitoO utilizador da edição gratuita pontua um projeto que escreveu à mão.
  • ProO utilizador do Pro indica o espaço de projeto (cada variável é uma definição do cenário com os seus valores permitidos), as restrições e dois ou três objetivos, e obtém toda a frente de Pareto: os projetos que nenhum outro projeto supera em todos os objetivos em simultâneo.

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

O que não faz. Não tem modelo de custos, pelo que uma variável que nenhum objetivo penaliza desloca-se para o limite do seu intervalo. Os estudos de constelações pontuam apenas a geometria: sem potência de sinal, estado dos satélites nem terreno.

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

Projeto da frente 004 · 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 frente 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 · resumo da execução df81aad4…

Incerteza e sensibilidade

Com que grau de certeza, e o que determina o resultado?

  • GratuitoO utilizador da edição gratuita obtém um só número, ou uma dispersão sobre sementes aleatórias.
  • ProO utilizador do Pro indica o grau de incerteza de cada entrada e obtém bandas de confiança, a probabilidade de satisfazer um limite e uma classificação das entradas que determinam o resultado.

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

O que 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
percentil 5 a 95 de 2 000 execuçõesmedianaexecução de basefraçã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 do relógio com um 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 · resumo da execução abab765e…

Dossiê de missão

A missão satisfaz os seus requisitos, e podemos entregá-lo?

  • GratuitoO utilizador da edição gratuita obtém um relatório por execução.
  • ProO utilizador do Pro obtém um dossiê de missão com um só comando: requisitos verificados face a execuções reais, uma matriz de verificação com os seus itens em aberto e um PDF (Portable Document Format) em que cada número pode ser rederivado com o motor gratuito.

Um requisito atingido numa base MODELLED ou PARTNER é assinalado. Os requisitos a verificar por ensaio, inspeção ou demonstração permanecem itens em aberto, independentemente do resultado da execução.

O que 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 da 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 em órbita terrestre baixa (LEO) adicionados, o posicionamento preciso de ponto (PPP) deve convergir em 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

    Só com GPS e Galileo, o posicionamento preciso de ponto (PPP) deve convergir em 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 de 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 uma diluição da 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 de posição, a mediana da diluição da precisão de posição (PDOP) 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 programada, a relação portadora-ruído (C/N0) do GPS L5 deve manter-se igual ou superior a 25 dB-Hz.

    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 programada, a relação portadora-ruído (C/N0) do GPS L1 coarse/acquisition (C/A) deve manter-se igual ou superior a 25 dB-Hz.

    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 manter-se dentro da sua guarda de 50 ns em cada passo da cronologia.

    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 nos 30 minutos seguintes ao 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 com a constelação deve ser de 5 m de valor quadrático médio (RMS) ou melhor ao longo de um sol.

    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

    A caixa do recetor deve ostentar 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 numa base MODELLED ou PARTNER · SHA-256 do dossiê 49df1e0e… · compilação de desenvolvimento

Mais três respostas

A última alteração piorou um valor que nos interessa?

  • GratuitoO utilizador da edição gratuita executa uma campanha e lê o resultado.
  • ProO utilizador do Pro nomeia os valores que importam num conjunto de cenários, indica o que significa pior para cada um e obtém uma cadeia de verificação que falha quando uma alteração a um cenário, a um modelo ou ao motor piora um deles, ou o faz deixar de satisfazer o seu requisito.

Estende a verificação de regressão de cenários. Um valor de Monte Carlo é avaliado com estatística em vez de uma tolerância, pelo que um novo conjunto de sementes aleatórias não é considerado uma regressão e uma dispersão duplicada é. Cada execução é acrescentada a um histórico em que cada registo contém o hash do anterior, e uma verificação indica se essa cadeia está intacta.

O que não faz. Uma vigilância prova que um valor MODELLED se manteve estável ou se deslocou; não prova que o valor seja verdadeiro. Um valor sem direção indicada é reportado e nunca faz falhar uma execução.

Vigilância de campanhas · seis revisões, um históricoSaída do Kshana Pro
Valor vigiado · revisão
relação portadora-ruído (C/N0) no fim da fase de jamming○·▲▼··
maior erro de tempo na cronologia da missão○····≈
satélites em seguimento no fim da fase de jamming○··▼··
fração da missão em alarme○··▼·▲
spoofing detetado (duração da fase)○····▲
erro de tempo no fim do holdover○····≈
▼piorou▲melhorou·inalterado≈variou dentro da sua tolerância○primeira execução: passa a ser a linha de base

Revisão r4-stronger-jammer · jammer aumentado de -33 para -24 dBW (decibéis relativos a um watt): C/N0 no 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 em seguimento 8 → 0; três vigilâncias pioraram · falhou, código de saída 1

O pacote de campanhas incluído, 10 valores vigiados em três campanhas abertas, executado duas vezes: passou em ambas, 0 de 125 valores variaram, histórico de 2 registos intacto.

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 registos, cadeia intacta, ú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 gestão de programas do Kshana Pro verificam os requisitos de um programa face a execuções do motor aberto: importam requisitos como valores separados por vírgulas (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 alterações e um pacote de evidências offline. Não volta a executar nem a recalcular nada.

As saídas do motor aberto que lê
  • result.jsonos campos que um critério nomeia, as suas unidades, o carimbo de reprodutibilidade com o hash do cenário, a semente, a versão do motor e a versão do esquema, e o rótulo da execução e os níveis dos valores
  • report.jsontipo, registo de reprodutibilidade e rótulos de capacidade
  • scenario fileo seu 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 do motor aberto inalterado, classifica as opções por uma figura de mérito lida do resultado de cada execução e escreve um pacote de evidências que regista o hash do cenário de cada opção, de modo que qualquer valor nele contido possa ser reproduzido voltando a executar esse cenário.

Gémeo digital do 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 desvio de Allan do próprio 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 torna-se uma nota técnica reprodutível em HTML (HyperText Markup Language) e JSON (JavaScript Object Notation): âmbito, 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 ela, o Pro executa apenas cenários abertos e recusa todas as funcionalidades Pro com uma mensagem que indica o que é necessário.
  • Algum trabalho precisa de um cliente com contrato. 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. Todos os resultados são modelados, e dizem-no.

Feito como estudo à medida

  • Modelos do seu equipamento. Os modelos de sensores ou de resiliência calibrados para o seu equipamento só são construídos sob contrato, com os seus dados.
  • Os modelos de resiliência sujeitos a controlo de exportação não são oferecidos publicamente. Esse trabalho só é feito sob a credenciação adequada e um acordo de confidencialidade.
Pedir uma avaliação do Pro Guia de licenciamento

Os gráficos desta secção são desenhados a partir dos ficheiros que os comandos do Pro escreveram para os exemplos trabalhados que acompanham o Pro: resultados modelados, e não afirmações sobre qualquer missão real. O texto é citado da página pública do Kshana Pro do repositório aberto.

02Estudo à medida · como decorre

Quando precisa de uma resposta, e não de uma ferramenta.

Um estudo à medida usa o mesmo motor que pode executar por si, pelo que qualquer pessoa pode verificar cada valor nele contido.

  1. Diga-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 âmbito. O que será modelado, com que cenários, e o que fica fora do âmbito, sob a credenciação e o NDA adequados quando o trabalho o exija.
  3. Modelamos com o mesmo motor. Cada valor é rotulado como validado ou modelado, exatamente como neste site.
  4. Recebe um resultado reprodutível. Reproduzí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 um conjunto de cenários que o utilizador escreve, num único relatório carimbado (Programadores). Um estudo à medida é trabalho pago que fazemos por si.

Instalar o núcleo abertoA partir dos manifestos

Para qualquer pessoa, sem nada para instalar.

Iniciar o Kshana Studio

O motor corre localmente como WebAssembly; nada é carregado para servidores.

Abrir o Kshana StudioGuia do Studio