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

Éditions · cœur ouvert, Pro et étude sur mesure

Libre pour construire dessus. Pro quand il faut tenir devant une revue.

Le moteur est, et reste, open source sous l'AGPL-3.0 (GNU Affero General Public License, version 3), sans aucun verrou de fonctionnalité. Ashforde® OÜ le soutient par son expertise et une surcouche propriétaire, et non par des frais de poste sur le moteur ouvert. Ce site n'affiche aucun prix : toute voie payante commence par un message.

Lancer Kshana Studio Découvrir Kshana ProNous contacter
Un seul moteur · kshana v0.40.0 Depuis le dépôt
Le moteur ouvert au centre : une marque par type de scénario (92), pleine lorsque le type a des lignes de registre vérifiées, creuse lorsque ses lignes sont modélisées, un tiret lorsqu'aucun module du registre ne lui correspond par le nom. Kshana Pro et l'étude sur mesure l'entourent et se relient aux types sur lesquels ils s'appuient.

Moteur v0.40.0 · 92 types issus de src/api.rs · état du registre issu de web/data/verification-matrix.json · ce sur quoi s'appuient Pro et une étude : le registre des éditions du site · aucun scénario ni graineComparer les éditions

01Trois façons de travailler avec nous

Comparez les éditions.

Le même moteur se trouve sous les trois. Lisez une ligne en travers pour comparer pourquoi c'est important, à qui chacune s'adresse, ce qu'elle comprend et comment elle démarre.

Gratuit · AGPL-3.0 ou licence commerciale

Noyau ouvert

Tout le moteur validé et toutes les surfaces, gratuits et sans verrou de fonctionnalité. Tout ce qui se trouve sur ce site fonctionne dessus.

Pourquoi tout le monde en a besoin

Quiconque tire sa position ou son heure du GNSS (Global Navigation Satellite Systems) est exposé : brouillage, leurrage et perte de signal touchent aussi bien les véhicules, les réseaux, les systèmes électriques et les engins spatiaux. Le cœur ouvert montre à quel point, et dit quels chiffres sont vérifiés.

À qui elle s'adresse
  • Ingénieurs de véhicules, de réseaux, de systèmes électriques et d'engins spatiaux qui tirent leur position ou leur heure du GNSS
  • Chercheurs, étudiants et relecteurs qui ont besoin de chiffres qu'ils peuvent reproduire et citer
  • Développeurs qui intègrent le moteur dans du code, une suite d'intégration continue (CI) ou un assistant d'intelligence artificielle (IA)
Ce qui est inclus
  • Les 92 types de scénario et les 181 scénarios fournis : en natif, en Python, en JavaScript, dans le navigateur et via MCP (Model Context Protocol)
  • La matrice de vérification complète : 176 capacités sur 401 vérifiées par rapport à des références indépendantes, les autres étiquetées modélisées
  • Chaque résultat estampillé du hachage du scénario, de la graine et de la version du moteur, et écrit en JSON (JavaScript Object Notation), en tables CSV (valeurs séparées par des virgules) et en graphiques SVG (Scalable Vector Graphics)
  • L'exécuteur de suites gratuit kshana --study
Conditions

Gratuit sous l'AGPL-3.0. Le même cœur est aussi proposé sous licence commerciale, pour une intégration fermée dans des produits propriétaires (ci-dessous).

Lancer Kshana Studio Se renseigner sur une licence commerciale
Commercial · le même moteur, amplifié

Kshana Pro

Une surcouche propriétaire qui dépend du cœur ouvert sans jamais le dupliquer : un sur-ensemble strict de Kshana ouvert. Disponible sous contrat.

Pourquoi Pro, encore plus

Kshana ouvert exécute un scénario et vous dit ce qu'il donne. Kshana Pro répond aux questions que se pose ensuite un programme : quelle conception faire voler, avec quelle certitude, et si la mission satisfait ses exigences sous une forme qu'une commission de revue peut vérifier.

À qui elle s'adresse
  • Programmes qui doivent remettre un dossier de mission ou un paquet de preuves de qualité audit à une commission de revue ou d'achat
  • Architectes qui choisissent une conception sur le front de Pareto de tout un espace de conception, ou parmi des études d'arbitrage classées selon une figure de mérite
  • Équipes de synchronisation temporelle et de matériel qui ont besoin d'un jumeau numérique d'horloge calibré sur leur dispositif
Ce qui est inclus
  • Un optimiseur de conception : le front de Pareto d'un espace de conception, chaque conception du front étant un scénario que le moteur gratuit réexécute
  • Incertitude et sensibilité sur des milliers d'exécutions
  • Un dossier de mission en une commande avec une matrice de vérification et un fichier PDF (Portable Document Format)
  • Paquets de preuves reproductibles de qualité audit, jumeaux numériques d'horloge calibrés sur le budget d'Allan publié d'un dispositif, et études d'arbitrage d'architecture classées selon une figure de mérite
  • Outils d'ingénierie système fondée sur les modèles (MBSE) et de programme qui vérifient les exigences d'un programme à partir d'exécutions du moteur ouvert, en ne lisant que les sorties que le moteur publie
Conditions

Kshana Pro est disponible sous contrat. Il dépend du cœur ouvert sans jamais le dupliquer, de sorte que rien n'est retiré du moteur gratuit.

Demander une évaluation Le voir amplifié
Travail payant · réalisé pour vous

Étude sur mesure

Un travail réalisé pour vous, sur votre système : l'étude sur mesure payante, et non la commande gratuite kshana --study.

Pourquoi une étude sur mesure

Quand la question est la vôtre mais que le temps, la modélisation ou l'habilitation ne le sont pas : nous modélisons votre système avec le même moteur, étiquetons chaque chiffre validé ou modélisé, et vous remettons un résultat que vous pouvez reproduire.

À qui elle s'adresse
  • Équipes de programme et d'achat qui ont besoin d'un regard indépendant et modélisé sur la résilience d'une architecture PNT (positionnement, navigation et synchronisation temporelle)
  • Constructeurs de matériel qui veulent des modèles de leurs propres dispositifs
  • Programmes sensibles à l'export, et équipes qui veulent Kshana dans leur chaîne d'outils
Ce qui est inclus
  • Une étude de résilience PNT modélisée, par exemple un audit de l'écart d'optimisme. Pas une certification.
  • Modèles de capteurs et de résilience calibrés sur votre matériel
  • Travaux de résilience soumis au contrôle des exportations, sous l'habilitation et l'accord de confidentialité (NDA) appropriés
  • Support et intégration commerciaux, formation et conseil
Conditions

Cadrée sur votre question et livrée sous contrat, reproductible à partir du scénario, de la graine et de la version du moteur.

Demander une étude Comment se déroule une étude
Licence du cœur ouvert

Un moteur, deux licences.

Choisissez celle qui convient à votre usage. Les deux couvrent le même moteur ouvert ; rien n'est retenu de part ni d'autre.

Guide des licencescontact@ashforde.org

Option A · open source

GNU AGPL-3.0

Utilisez-le, étudiez-le, modifiez-le et redistribuez-le gratuitement. Si vous distribuez un dérivé, ou laissez des personnes utiliser un moteur modifié à travers un réseau, vous partagez son code source sous la même licence.

Convient aux travaux universitaires, aux projets open source, à l'évaluation interne et à la recherche.

Option B · par Ashforde® OÜ

Licence commerciale

  • Intégrer le moteur dans un produit à code source fermé
  • Exploiter un service réseau sur un moteur modifié sans l'obligation de divulguer le code source
  • L'intégrer dans une chaîne d'outils dont les autres éléments ne peuvent pas être sous AGPL
  • Obtenir des conditions de garantie, d'indemnisation ou de support que l'AGPL exclut

Se renseigner sur une licence commerciale

Kshana Pro et les autres surcouches propriétaires sont des produits distincts sous leur propre contrat, et ne font partie d'aucune des deux licences. Ce que couvre la licence commerciale

Kshana Pro · le même moteur, amplifié

La version gratuite exécute un scénario. Pro répond à la question du programme.

Kshana ouvert exécute un scénario et vous dit ce qu'il donne. Kshana Pro répond aux questions que se pose ensuite un programme, sur le même moteur et les mêmes fichiers de scénario : quelle conception faire voler, avec quelle certitude, et si la mission satisfait ses exigences sous une forme qu'une commission de revue peut vérifier.

  • Un sur-ensemble strict de Kshana ouvert.Chaque type de scénario ouvert s'exécute dans Pro sans changement, et un scénario ouvert s'exécute dans Pro sans aucune licence.
  • Aucune physique nouvelle.Chaque nombre de Pro provient d'exécutions du moteur ouvert ; un chiffre de Pro est donc aussi fiable que le type de scénario ouvert dont il provient, et jamais plus.
  • Reproductible dans le moteur gratuit.Quiconque dispose de Kshana ouvert peut en réexécuter une et obtenir le même chiffre.
  • Des étiquettes honnêtes conservées jusqu'au bout.Chaque résultat de Pro est étiqueté MODELLED. Chaque chiffre conserve le niveau que lui a donné le moteur ouvert (validé, modélisé ou partenaire), jamais un niveau supérieur.
Optimiseur de conception

Quelle conception devons-nous faire voler ?

  • GratuitUn utilisateur gratuit évalue une conception qu'il a écrite à la main.
  • ProUn utilisateur Pro énonce l'espace de conception (chaque variable étant un paramètre de scénario avec ses valeurs permises), les contraintes et deux ou trois objectifs, et obtient tout le front de Pareto : les conceptions qu'aucune autre ne bat simultanément sur tous les objectifs.

Le scénario de base peut être de n'importe quel type ouvert, de sorte que le même outil conçoit une constellation autour de la Terre, de la Lune ou de Mars, ou arbitre un bilan de liaison. Chaque conception est une exécution du moteur ouvert. Chaque conception du front est écrite sous la forme d'un simple fichier de scénario ouvert, avec le hachage Secure Hash Algorithm (SHA-256) du résultat que le moteur gratuit en donne.

Ce qu'il ne fait pas. Il n'a pas de modèle de coût : une variable qu'aucun objectif ne pénalise dérive donc vers le bord de sa plage. Les études de constellation n'évaluent que la géométrie : ni puissance de signal, ni état de santé des satellites, ni terrain.

Front de Pareto · Constellation de navigation lunaireSortie de Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
chaque conception exécutéefront de Paretocouderéférence : conception de relais lunaire fournie (8 + 6 satellites)

Conception 004 du front · coude · 16 satellites, 85,0404 % de disponibilité · 2 plans à 8 000 km, 45° · réexécutée dans le moteur gratuit : même SHA-256 89882372…

608 conceptions, toutes exécutées (toute la Lune) : un front de 12 conceptions en 6 points ; 12 sur 12 réexécutées dans le moteur gratuit avec le même hachage de résultat. MODELLED.

Kshana Pro 0.2.0 sur moteur ouvert 0.29.0 · kshana-pro design · 609 exécutions du moteur · empreinte d'exécution df81aad4…

Incertitude et sensibilité

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

  • GratuitUn utilisateur gratuit obtient un seul nombre, ou une dispersion sur des graines aléatoires.
  • ProUn utilisateur Pro énonce l'incertitude de chaque entrée et obtient des bandes de confiance, la probabilité de respecter une limite, et un classement des entrées qui pilotent le résultat.

Cela fonctionne sur tout scénario ouvert. Les entrées sont classées par indices de sensibilité de Sobol' ou par coefficients de régression standardisés, et un classement qui n'est pas fiable est signalé comme tel. Une longue étude peut être arrêtée puis reprise.

Ce qu'il ne fait pas. Les entrées sont traitées comme indépendantes. Davantage d'exécutions réduisent l'erreur d'échantillonnage, pas l'erreur de modèle : un type MODELLED reste MODELLED.

Incertitude et sensibilitéSortie de Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
du 5e au 95e percentile de 2 000 exécutionsmédianeexécution de basepart dans la limite

Après 60 minutes : 1 366 exécutions sur 2 000 dans ±20 ns, une probabilité de 0,683 (intervalle à 95 % de 0,6623 à 0,703)

Holdover d'horloge avec un niveau de bruit incertain · entrée q_wf (le niveau de bruit blanc de fréquence de l'horloge) : uniform(4.5e-20 à 2.7e-19), ASSUMED · MODELLED · Kshana Pro 0.2.0 sur moteur ouvert 0.29.0 · kshana-pro uncertainty · 2 000 exécutions du moteur · empreinte d'exécution abab765e…

Dossier de mission

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

  • GratuitUn utilisateur gratuit obtient un rapport par exécution.
  • ProUn utilisateur Pro obtient un dossier de mission en une commande : des exigences vérifiées sur de vraies exécutions, une matrice de vérification avec ses points ouverts, et un PDF (Portable Document Format) dans lequel chaque nombre peut être re-dérivé avec le moteur gratuit.

Une exigence satisfaite sur une base MODELLED ou PARTNER est signalée. Les exigences à vérifier par essai, inspection ou démonstration restent des points ouverts quel que soit le déroulement de l'exécution.

Ce qu'il ne fait pas. Les preuves de simulation comptent comme analyse et ne remplacent ni un essai, ni une inspection, ni une démonstration. Un dossier n'est ni une certification, ni une qualification, ni une acceptation par une quelconque autorité.

Dossier de mission · Programme de résilience de la navigation : Terre, Lune et MarsSortie de Kshana Pro
12exigences
7atteint
4non atteintes
1non vérifiées
15points ouverts
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minatteinteMODELLED

    Avec 240 satellites en orbite basse (LEO) ajoutés, le positionnement précis par point (PPP) doit converger en 10 minutes (médiane sur les exécutions avec graine).

    Méthode : analyse · exécution RUN-LEO · valeur lue : 7,5 min

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

    Point ouvert : base MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minnon atteinteMODELLED

    Avec GPS et Galileo seuls, le positionnement précis par point (PPP) doit converger en 10 minutes (médiane sur les exécutions avec graine).

    Méthode : analyse · exécution RUN-LEO · valeur lue : 11,5 min

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

    Point ouvert : non atteinte

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

    Avec la couche LEO, l'erreur de position tridimensionnelle fusionnée doit être de 0,5 m en moyenne quadratique (RMS) ou mieux.

    Méthode : essai · exécution RUN-LEO · valeur lue : 0,4349 m

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

    Point ouvert : méthode, base MODELLED

  • LUN-001global.availability_pct >= 95 %non atteinteMODELLED

    La constellation de relais lunaire doit donner une position avec une dilution de précision de position (PDOP) de 6 ou mieux sur au moins 95 % de la surface lunaire et de la journée.

    Méthode : analyse · exécution RUN-LUNAR · valeur lue : 21,3286 %

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

    Point ouvert : non atteinte

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

    Là où la constellation de relais lunaire donne une position, la dilution de précision de position (PDOP) médiane doit être de 6 ou mieux.

    Méthode : analyse · exécution RUN-LUNAR · valeur lue : 5,22 1

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

    Point ouvert : base MODELLED

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

    Sous l'interférence en bande L scénarisée, le rapport densité de porteuse sur bruit (C/N0) du GPS L5 doit rester supérieur ou égal à 25 dB-Hz.

    Méthode : analyse · exécution RUN-SPECTRUM · valeur lue : 44,0752 dB-Hz

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

    Point ouvert : base PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hznon atteintePARTNER

    Sous l'interférence en bande L scénarisée, le rapport densité de porteuse sur bruit (C/N0) du GPS L1 à code grossier/d'acquisition (C/A) doit rester supérieur ou égal à 25 dB-Hz.

    Méthode : analyse · exécution RUN-SPECTRUM · valeur lue : 3,2329 dB-Hz

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

    Point ouvert : non atteinte

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values pour toutes les valeursnon atteintePARTNER

    Dans la mission enchaînant brouillage, leurrage et holdover, l'erreur de temps de l'horloge doit rester dans sa garde de 50 ns à chaque pas de la chronologie.

    Méthode : analyse · exécution RUN-CAMPAIGN · valeur lue : 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

    Point ouvert : non atteinte

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

    Dans la mission enchaînée, une alarme de leurrage doit être levée dans les 30 minutes suivant le début.

    Méthode : démonstration · exécution RUN-CAMPAIGN · valeur lue : 1 200 s

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

    Point ouvert : méthode, base PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 matteinteMODELLED

    Autour de Mars, l'erreur de position de la constellation seule doit être de 5 m en moyenne quadratique (RMS) ou mieux sur un sol.

    Méthode : analyse · exécution RUN-MARS · valeur lue : 1,8827 m

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

    Point ouvert : base MODELLED

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

    Autour de Mars, la constellation doit donner une position à 99 % des époques ou plus.

    Méthode : analyse · exécution RUN-MARS · valeur lue : 1 1

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

    Point ouvert : base MODELLED

  • OPS-001aucun critère vérifiable par machinenon vérifiées

    Le boîtier du récepteur doit porter l'étiquette d'identification du programme.

    Méthode : inspection · exécution aucune · valeur lue : aucune exécution tracée

    Point ouvert : aucune preuve, vérification manuelle

Page 1 du dossier de mission généréPage 2 du dossier de mission généré

21 pages, une commande. Ouvrir le PDF généré (Portable Document Format)

Kshana Pro 0.2.0 sur moteur ouvert 0.29.0 · kshana-pro mission build · 5 exécutions et une étude d'arbitrage · 7 atteintes, toutes sur une base MODELLED ou PARTNER · SHA-256 du dossier 49df1e0e… · version de développement

Trois autres réponses

Le dernier changement a-t-il dégradé un chiffre qui nous importe ?

  • GratuitUn utilisateur gratuit exécute une campagne et lit le résultat.
  • ProUn utilisateur Pro désigne les chiffres qui comptent dans un ensemble de scénarios, dit ce que signifie « pire » pour chacun, et obtient un pipeline qui échoue lorsqu'un changement de scénario, de modèle ou de moteur dégrade l'un d'eux, ou lui fait cesser de satisfaire son exigence.

Il étend le contrôle de régression des scénarios. Un chiffre Monte Carlo est jugé par des statistiques et non par une tolérance, de sorte qu'un nouveau jeu de graines aléatoires n'est pas qualifié de régression alors qu'une dispersion doublée l'est. Chaque exécution est ajoutée à un historique dans lequel chaque enregistrement porte le hachage du précédent, et un contrôle indique si cette chaîne est intacte.

Ce qu'il ne fait pas. Une surveillance prouve qu'un chiffre MODELLED est resté stable ou a bougé ; elle ne prouve pas que le chiffre est vrai. Un chiffre sans sens indiqué est rapporté et ne fait jamais échouer une exécution.

Surveillance de campagne · six révisions, un historiqueSortie de Kshana Pro
Chiffre surveillé · révision
rapport densité de porteuse sur bruit (C/N0) à la fin de la phase de brouillage○·▲▼··
plus grande erreur de temps sur la chronologie de la mission○····≈
satellites suivis à la fin de la phase de brouillage○··▼··
part de la mission sous alarme○··▼·▲
leurrage détecté (durée de la phase)○····▲
erreur de temps à la fin du holdover○····≈
▼dégradé▲amélioré·inchangé≈a bougé dans sa tolérance○première exécution : devient la référence de base

Révision r4-stronger-jammer · brouilleur relevé de -33 à -24 dBW (décibels par rapport à un watt) : C/N0 à la fin de la phase de brouillage 30,60 → 21,82 dB-Hz (décibel-hertz), sous le plancher de 25 dB-Hz, exigence non atteinte ; satellites suivis 8 → 0 ; trois surveillances dégradées · échec, code de sortie 1

Le lot de campagnes fourni, 10 chiffres surveillés sur trois campagnes ouvertes, exécuté deux fois : réussite les deux fois, 0 chiffre sur 125 a bougé, historique de 2 enregistrements intact.

Kshana Pro 0.2.0 sur moteur ouvert 0.29.0 · kshana-pro ci · révisions de démonstration de campaign-jam-spoof-holdover-integrity.toml · historique de 6 enregistrements, chaîne intacte, dernier hachage bb2f10eb… · MODELLEDOuvrir dans Kshana Studio

Aussi dans Kshana Pro

Exigences et traçabilité

L'outillage d'ingénierie système fondée sur les modèles (MBSE) et de programme de Kshana Pro vérifie les exigences d'un programme à partir d'exécutions du moteur ouvert : il importe des exigences en valeurs séparées par des virgules (CSV), ou en un sous-ensemble documenté du Requirements Interchange Format (ReqIF) ou du texte du Systems Modeling Language version 2 (SysML v2), et produit une matrice de référence croisée de vérification (VCRM), un modèle SysML v2, un rapport d'impact des changements et un paquet de preuves hors ligne. Il ne réexécute ni ne recalcule rien.

Les sorties du moteur ouvert qu'il lit
  • result.jsonles champs que nomme un critère, leurs unités, l'estampille de reproductibilité (hachage du scénario, graine, version du moteur et version du schéma), ainsi que l'étiquette de l'exécution et les niveaux de ses chiffres
  • report.jsontype, enregistrement de reproductibilité et étiquettes de capacités
  • scenario fileson hachage, son type, sa graine et ses paramètres
  • field-units schemal'unité, la provenance et le niveau de preuve de chaque champ
  • verification matrixl'étiquette VALIDATED, MODELLED ou PARTNER de chaque capacité

Études d'arbitrage

Une étude d'arbitrage exécute chaque option d'architecture comme un scénario inchangé du moteur ouvert, classe les options selon une figure de mérite lue dans le résultat de chaque exécution, et écrit un paquet de preuves qui consigne le hachage du scénario de chaque option, de sorte que tout chiffre qui s'y trouve peut être reproduit en réexécutant ce scénario.

Jumeau numérique d'horloge

Un jumeau d'horloge est calibré sur le budget d'écart-type d'Allan publié d'un dispositif, puis vérifié en estimant l'écart-type d'Allan propre au jumeau avec l'estimateur du moteur ouvert et en comparant les deux dans une tolérance énoncée. Un jumeau de votre propre dispositif demande vos données de caractérisation et se construit sous contrat et accord de confidentialité.

Dossier d'étude

Un scénario devient une note technique reproductible en HTML (HyperText Markup Language) et JSON (JavaScript Object Notation) : périmètre, méthode, résultats avec un niveau sur chaque chiffre, limites, et le texte exact du scénario exécuté.

  • Pro demande une licence. Sans elle, Pro n'exécute que des scénarios ouverts et refuse toute fonctionnalité Pro par un message qui nomme ce qui est requis.
  • Certains travaux demandent un client sous contrat. Un jumeau de votre propre dispositif demande vos données de caractérisation et se construit sous contrat et accord de confidentialité.
  • Rien de ce que produit Pro n'est une certification. Chaque résultat est modélisé, et le dit.

Réalisé comme étude sur mesure

  • Modèles de votre matériel. Les modèles de capteurs ou de résilience calibrés sur votre matériel ne sont construits que sous contrat, avec vos données.
  • Les modèles de résilience soumis au contrôle des exportations ne sont pas proposés publiquement. Ce travail n'est réalisé que sous l'habilitation appropriée et un accord de confidentialité.
Demander une évaluation de Pro Guide des licences

Les graphiques de cette section sont tracés à partir des fichiers que les commandes Pro ont écrits pour les exemples traités livrés avec Pro : des résultats modélisés, et non des énoncés sur une mission réelle. La formulation est citée de la page publique Kshana Pro du dépôt ouvert.

02Étude sur mesure · comment elle se déroule

Quand il vous faut une réponse, pas un outil.

Une étude sur mesure utilise le même moteur que vous pouvez exécuter vous-même, de sorte que chaque chiffre qui s'y trouve peut être vérifié par n'importe qui.

  1. Dites-nous la question. Écrivez à contact@ashforde.org en indiquant le système et la décision qu'il alimente. Il n'y a pas de formulaire.
  2. Nous la cadrons. Ce qui sera modélisé, avec quels scénarios, et ce qui reste hors périmètre, sous l'habilitation et l'accord de confidentialité appropriés lorsque le travail l'exige.
  3. Nous la modélisons avec le même moteur. Chaque chiffre est étiqueté validé ou modélisé, exactement comme sur ce site.
  4. Vous obtenez un résultat reproductible. Reproductible à partir du scénario, de la graine et de la version du moteur. Une étude modélisée, et non une certification.

Pas la même chose que kshana --study : cette commande gratuite exécute une suite de scénarios que vous écrivez en un seul rapport estampillé (Développeurs). Une étude sur mesure est un travail payant que nous réalisons pour vous.

Installer le cœur ouvertTiré des manifestes

Pour tout le monde, rien à installer.

Lancer Kshana Studio

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

Ouvrir Kshana StudioGuide du Studio