En orbite, t'as pas droit
à une deuxième passe.
Un vaisseau devient inatteignable dès qu'il quitte le pas de tir — chaque analyse qui l'a mis là doit être juste, reproductible et défendable des années plus tard quand la revue d'anomalie s'ouvre. On sert les programmes spatiaux + satellites avec du logiciel, pas des grues : compute de vérification orbitale, de mission et de charge utile déterministe sur Heisen, cryptographie post-quantique pour les liens espace-sol, et gréage de manutention propre Murlink pour la charge utile + les opérations au sol. Même nombre à chaque exécution, avec piste d'audit, souverain. Le programme fait voler la mission ; nous, on rend le compute derrière reproductible.
Exact au bit
Même intrant, même résultat, à chaque exécution — déterministe
FIPS 203/204/205
Crypto post-quantique pour les liens espace-sol
AS9100D
Posture SGQ logiciel aérospatial
Souverain
Conçu au Canada, possédé par vous — aucune dépendance étrangère
Six expositions dans le compute de mission.
Le risque spatial est un risque de compute avant d'être un risque de matériel : une analyse irreproductible, un lien crypto qui ne survivra pas à un adversaire quantique, une chaîne de vérification qui ne tient pas à la revue d'anomalie. Les expositions ci-dessous sont ce que le logiciel déterministe et audit-grade existe pour contrôler — la moitié logicielle d'un programme spatial faite selon la norme.
Analyse irreproductible
Si une analyse orbitale ou de mission donne un nombre différent à la réexécution, la revue d'anomalie ne peut rien lui faire confiance. Heisen est déterministe par construction — même intrant, même résultat, avec les intrants + la version épinglés pour rejeu des années plus tard.
Récolter-maintenant-déchiffrer-plus-tard
La télémétrie + les liens de commande espace-sol interceptés aujourd'hui peuvent être déchiffrés dès qu'un ordinateur quantique existe. La crypto post-quantique (NIST FIPS 203/204/205) sur le lien ferme la fenêtre récolter-maintenant-déchiffrer-plus-tard avant qu'elle s'ouvre.
Lacune de chaîne de vérification
Une étape de vérification qui n'est pas enregistrée, attribuable et reproductible est une lacune que la revue trouvera. Le compute a une piste d'audit de bout en bout — chaque analyse traçable à ses intrants, sa version de code et son opérateur.
Contamination en manutention propre
Le gréage d'acier perd des particules qui contaminent une charge utile en salle blanche. Le gréage synthétique Murlink est sans marque + compatible salle blanche — la manutention qui ne compromet pas la charge utile.
Dépendance logicielle étrangère
Du compute mission-critique sur une plateforme contrôlée par l'étranger est une exposition de souveraineté + ITAR. Heisen est conçu au Canada + souverain — le programme possède le logiciel, déployable dans son propre environnement.
Dérive numérique entre chaînes d'outils
Des résultats en virgule flottante qui dérivent entre machines ou versions de bibliothèque corrompent silencieusement une longue analyse. Le compute déterministe épingle la numérique — le résultat est le résultat, peu importe où il roule.
Logiciel d'abord. Le compute derrière la mission.
L'espace + satellites est un mandat logiciel pour nous — compute déterministe, crypto post-quantique, registre de vérification, plus gréage de manutention propre. Six insertions concrètes.
Compute de vérification orbitale + mission
Compute de mécanique orbitale, de chronologie de mission et de géométrie de constellation déterministe — reproductible au bit près, version épinglée, rejouable à la revue d'anomalie.
Vérification de données charge utile + capteurs
Pipelines de réduction de données charge utile + capteurs déterministes — chaque transformation enregistrée + reproductible, pour que la science (ou le renseignement) tienne à l'examen.
Liens espace-sol post-quantiques
Intégration NIST PQC (FIPS 203/204/205) pour les liens de télémétrie + commande — fermant la fenêtre récolter-maintenant-déchiffrer-plus-tard sur les actifs à longue durée de vie.
Registre de vérification + revue d'anomalie
Une chaîne de vérification avec piste d'audit — chaque analyse attribuable, contemporaine, reproductible. Le registre qu'attend le comité d'anomalie, bâti au fur et à mesure du travail.
Gréage charge utile + sol salle blanche
Gréage synthétique Dyneema® pour la manutention de charge utile + au sol — sans marque, compatible salle blanche, non-conducteur. La manutention qui ne contamine pas la charge utile. Distribution autorisée au Québec.
S'intègre dans votre pile de mission
Heisen s'intègre par API dans votre pile d'analyse de mission / GMAT / adjacente-STK existante — la couche déterministe à côté de vos outils, pas un remplacement.
Espace et satellites sur le terrain
Du contexte sectoriel aux levages qu'on planifie — un aperçu d'où ce travail se déroule.
Les normes qu'on applique.
On bâtit le logiciel selon les normes aérospatiales + de systèmes spatiaux contre lesquelles votre programme est révisé, et on fournit le gréage selon la norme de gréage de grue. L'ingénierie du vaisseau + de la mission est celle du programme — on bâtit le compute déterministe + la vérification autour.
European Cooperation for Space Standardization
Les normes d'ingénierie + logiciel ECSS gouvernent le développement de systèmes spatiaux. Notre logiciel de vérification est bâti pour s'aligner à la posture d'assurance-produit-logiciel ECSS que suit votre programme.
Norme modèles + simulations
La norme de la NASA sur la crédibilité des modèles + simulations — vérification, validation, reproductibilité. La discipline que notre compute déterministe est bâti pour satisfaire.
Gestion de la qualité aérospatiale
Le standard SGQ aérospatial. Notre posture de développement logiciel est bâtie pour s'insérer dans une chaîne d'approvisionnement auditée AS9100D.
Cryptographie post-quantique
ML-KEM, ML-DSA, SLH-DSA — les normes NIST PQC. Intégrées sur les liens espace-sol pour protéger les actifs à longue durée contre le déchiffrement quantique futur.
Normes des systèmes de données spatiales
Les normes CCSDS pour la télémétrie + commande spatiales. Notre logiciel de lien + données s'aligne au cadre CCSDS qu'utilise votre segment sol.
Élingues + gréage
Gouverne les élingues + le gréage. Cité sur la spec de gréage Murlink pour la manutention charge utile + au sol en salle blanche — chaque composant coté + sélectionné contre la contamination.
Logiciel d'abord. Murlink pour la manutention. Pas de grues ici.
L'espace est l'un des deux secteurs où nos piliers de levage par grue se retirent. Le mandat est logiciel d'abord, avec Murlink pour la manutention propre. Voici comment chaque pilier s'applique — honnêtement, y compris là où il ne s'applique pas.
Plans scellés + réponse d'urgence
Non applicableLes levages lourds par grue ne s'appliquent pas à un programme spatial + satellite — il n'y a pas de prise de grue dans notre portée ici. Le mandat est le logiciel déterministe et le gréage de manutention propre.
Distribution + formation + implémentation
Non applicableSans levage par grue en portée, la simulation de levage CRANEbee ne s'applique pas à ce secteur. Notre valeur de modélisation ici est dans le compute déterministe de mission + charge utile, pas une étude de grue.
Distribution + conseil + formation
Gréage synthétique Dyneema® pour la manutention de charge utile + au sol en salle blanche — sans marque, compatible salle blanche, non-conducteur, aucune perte de particule près de la charge utile. Distribution autorisée au Québec, avec conseil sur la spec.
Plateforme d'ingénierie déterministe
Tout le mandat. Compute de vérification orbitale / mission / charge utile déterministe + crypto espace-sol post-quantique sur Heisen — reproductible au bit près, avec piste d'audit, plus Maxor Audit + Maxor Ground. Souverain, conçu au Canada. Heisen s'intègre dans votre pile de mission par API.
Du compute qui donne la même réponse à la revue d'anomalie.
Pour l'espace, le mandat est le logiciel — ancré sur Heisen. On bâtit du compute déterministe et audit-grade : même posture d'ingénierie, même équipe du kickoff au go-live, souverain par défaut. Une analyse qui retourne le même nombre à la réexécution des années plus tard, quand le comité de revue veut retracer exactement comment la mission a été vérifiée. Conçu au Canada, possédé par vous.
Heisen — notre couche d'intelligence déterministe — est optionnel sur tout projet : on l'intègre ou non, à votre choix. Dans les deux cas, il se branche par API dans une nouvelle app custom comme dans votre logiciel tiers existant.
Compute de vérification de mission déterministe
Analyse orbitale, de chronologie de mission et de géométrie de constellation reproductible au bit près, version épinglée et rejouable à la revue d'anomalie — pas une boîte noire qui dérive entre les exécutions.
Crypto espace-sol post-quantique
NIST PQC (FIPS 203/204/205) sur les liens de télémétrie + commande — fermant la fenêtre récolter-maintenant-déchiffrer-plus-tard sur des actifs qui voleront une décennie ou plus.
Réduction de données charge utile + registre de vérification
Pipelines de charge utile + capteurs déterministes avec une chaîne de vérification à piste d'audit — chaque transformation reproductible, pour que la science ou le renseignement survive à l'examen.
Cadrer votre mandat espace + satellites.
Dites-nous la mission, le compute et l'obligation de vérification + crypto. Un responsable senior répond dans la journée ouvrable avec un mandat cadré et un chemin vers le premier livrable.