Table of Contents

L'ingénierie spatiale fonctionne à la frontière de la fiabilité, de l'autonomie et de l'efficacité des ressources.Les systèmes d'exploitation qui contrôlent les engins spatiaux, les satellites et les rovers planétaires doivent résister à des conditions physiques extrêmes tout en gérant des tâches complexes avec une supervision humaine minimale.

Défis environnementaux uniques dans la conception de systèmes d'exploitation spatiale

Les environnements spatiaux imposent des conditions qui vont bien au-delà de ce que les systèmes d'exploitation terrestres rencontrent jamais, notamment l'exposition directe aux rayonnements ionisants, le cycle thermique rapide, le vide élevé et la microgravité.

Les rayonnements ionisants et leurs effets sur les logiciels et le matériel

Les rayonnements dans l'espace, principalement à partir de particules solaires et de rayons cosmiques, peuvent provoquer des perturbations à un seul événement (EVP) dans les circuits de mémoire et de logique, entraînant des retournements de bits, la corruption de données, voire des défaillances permanentes de verrouillage. Le système d'exploitation doit intégrer des codes de correction d'erreurs (ECC) dans la RAM et le stockage, le nettoyage périodique de la mémoire et les chronomètres de surveillance du matériel pour détecter et récupérer des défauts transitoires.

De plus, le système d'exploitation doit supporter la triplication sélective des structures critiques de données et la redondance dans les algorithmes de programmation. Par exemple, le VxWorks RTOS utilisé sur le Mars rovers met en œuvre un système de vote à trois points pour les calculs essentiels, où le système d'exploitation active un troisième processeur uniquement lorsque les sorties des deux premiers ne sont pas d'accord.

Extrémités thermiques et fluctuations de puissance

Les Spacecrafts subissent des variations de température de ‐150°C en éclipse à +120°C en plein soleil. Bien que le matériel soit physiquement protégé par des couvertures thermiques et des radiateurs, le système d'exploitation doit gérer des séquences gracieuses de puissance en mode sûr et gérer l'horaire des tâches thermiques afin d'éviter la surchauffe des composants sensibles.

Contraintes à l'aspiration et à l'échappement

Le vide de l'espace élimine le refroidissement convectif, ce qui signifie que toute dissipation de chaleur doit se faire par rayonnement. Bien que cela soit principalement une préoccupation matérielle, le système d'exploitation peut influencer la gestion thermique en contrôlant l'échelle des horloges du CPU et l'activité des entrées et sorties en fonction des capteurs de température.

Architecte pour la fiabilité et la tolérance aux fautes

Les systèmes d'exploitation spatiale sont conçus avec une tolérance aux défauts comme une exigence fondamentale, pas une réflexion après. Redundancy est employé à tous les niveaux: modules matériels redondants, processus logiciels redondants, et voies de communication redondantes.

Mécanismes d'exécution et de vote redondants

Dans une architecture TMR, trois éléments de traitement identiques exécutent le même flux d'instruction, et un électeur majoritaire compare leurs sorties. Le système d'exploitation doit gérer la synchronisation de ces éléments et gérer la récupération d'un électeur défaillant sans dégradation des performances. Par exemple, NASA , Core Flight System (cFS) fournit un cadre pour déployer des logiciels dans des environnements partitionnés où chaque partition peut représenter un nœud redondant.

Chronomètres de veille et récupération autonome

Les chronomètres de veille matériels et logiciels sont essentiels pour détecter les pendaisons ou les boucles infinies. Lorsqu'un délai d'arrêt survient, le système d'exploitation doit réinitialiser uniquement le module affecté tout en préservant l'état des composants sains. Cela nécessite un mécanisme robuste d'économie d'état et la possibilité de reconfigurer les services du système sans redémarrage complet.

Erreur‐Correctation des codes et du frottement de mémoire

La mémoire ECC est standard dans les ordinateurs spatiaux, mais le système d'exploitation doit la gérer activement. Le nettoyage périodique de la mémoire lit et corrige les erreurs avant qu'elles ne s'accumulent à des niveaux non correctables. Le programmeur doit allouer des tranches de temps pour les tâches de nettoyage sans avoir à mourir de faim en temps réel.

Systèmes d'exploitation en temps réel (RTOS) pour l'espace

Les applications spatiales fonctionnent sous des contraintes temporelles strictes. La lecture ou la commande du capteur doit être traitée en microsecondes à millisecondes pour assurer un contrôle d'assiette, une propulsion ou une charge utile approprié.

Calendrier des priorités et des taux

Dans l'espace, les tâches sont assignées en fonction de leur criticité. La programmation à la vitesse et à la vitesse (RMS) alloue des fréquences plus élevées à des tâches plus critiques, garantissant que les systèmes de survie et les boucles de guidage respectent toujours les délais. Le système d'exploitation doit également soutenir les calendriers à échéances (p. ex., la première date limite) pour les charges de travail dynamiques.

Partitionnement et virtualisation pour la sécurité

Pour certifier les fonctions critiques et non critiques sur le même matériel, les systèmes d'exploitation de l'espace utilisent souvent le partitionnement (par exemple ARINC 653 pour l'avionique ou le système de gestion de partition spécifique dans cFS). Chaque partition exécute sa propre instance OS avec des budgets dédiés à la mémoire et aux processeurs, garantissant qu'une défaillance dans une partition n'affecte pas les autres.

Par exemple, le système OSKOS (Operating System for KOMPSAT) utilisé dans les satellites coréens met en œuvre une architecture cloisonnée où le système de contrôle d'attitude fonctionne dans une partition durcie tandis que le traitement de la charge utile fonctionne dans un environnement plus flexible mais isolé.

Autonomie et prise de décision intelligente

En raison des retards de communication, de quelques secondes pour la Lune à plus de 20 minutes pour Mars, les engins spatiaux doivent agir de manière autonome. Le système d'exploitation doit soutenir la planification, le diagnostic et la récupération à bord sans intervention au sol.

Détection, isolement et récupération des défauts à bord (FDIR)

Les systèmes FIRF sont intégrés dans le système d'exploitation ou le middleware. Ils surveillent en permanence la télémétrie à partir de capteurs et la comparent aux valeurs attendues. Lorsqu'une anomalie est détectée (par exemple, un propulseur tirant à un mauvais angle), le système déclenche une procédure d'isolement : il met en quarantaine le matériel suspect, réoriente le contrôle vers une unité redondante et enregistre l'événement pour analyse au sol.

Intégration de l'IA et de l'apprentissage automatique

L'OS spatial moderne commence à intégrer des moteurs d'inférence AI légers pour la classification des images, la détection des anomalies et la planification du parcours. Comme ces algorithmes nécessitent une puissance de calcul importante, l'OS doit gérer le temps du processeur et les budgets de puissance de façon adaptative.

Un exemple d'IA dans l'espace est la mission OPS-SAT ESA, qui utilise un système d'exploitation basé sur Linux augmenté avec un module d'apprentissage automatique pour la classification des cultures à bord et la détection de nuages, réduisant le besoin de déconnecter des images inutilisables.

Gestion de la mémoire et du stockage

Les systèmes spatiaux utilisent souvent des mémoires non volatiles (NVM), comme le flash durci rad ou le FRAM pour le stockage. Le système d'exploitation doit mettre en œuvre des algorithmes de nivellement d'usure pour prolonger la durée de vie de la mémoire flash, qui est soumise à un nombre limité de cycles d'écriture.

Systèmes de fichiers pour l'espace

Les systèmes de fichiers classiques comme FAT ou ext4 sont inefficaces ou dangereux pour l'espace. Au lieu de cela, les systèmes de fichiers spécialisés sont utilisés par l'OS spatial : le système de fichiers RTEMS (p. ex., le libnetFS) ou la couche de fichier MDS (Musio Data System) développée par la NASA.

Solutions de stockage en suspension de rayonnement

Les choix de technologie de mémoire ont une incidence directe sur la conception du système d'exploitation. Par exemple, la RAM magnétorésitive (MRAM) est immunisée contre les EVP, mais sa densité est limitée. Le système d'exploitation doit adapter sa gestion de page et ses politiques de cache en conséquence.

Gestion de l'énergie et de l'énergie

Spacecraft compte sur des panneaux solaires et des batteries; l'énergie est toujours limitée. Le système d'exploitation doit mettre en œuvre des stratégies agressives d'économie d'énergie tout en assurant des fonctions critiques ne jamais mourir de faim.

Voltage dynamique et calibrage de fréquence (DVFS)

DVFS permet à l'OS de réduire la vitesse et la tension du processeur lorsque la demande de calcul est faible, réduisant ainsi considérablement la consommation d'énergie. Par exemple, le VxWorks OS utilisé dans le Mars Science Laboratory peut faire baisser le CPU à 10% des performances de pointe pendant les périodes de silence, puis se lever instantanément lorsqu'un événement critique se produit.

Calendrier des tâches avec contraintes énergétiques

Le programmeur en temps réel peut être étendu pour tenir compte d'un budget --power -- pour chaque tâche. Dans certaines implémentations, le système d'exploitation maintient un compte énergétique par partition et des partitions non critiques lorsque la charge de batterie tombe sous un seuil.

Sécurité dans les systèmes d'exploitation spatiale

Les biens spatiaux sont de plus en plus la cible d'attaques cybernétiques, que ce soit par des commandes au sol ou par des chaînes d'approvisionnement logicielles.

Secure Boot and Trusted Execution

Tout l'espace OS charge son noyau et ses modules critiques seulement après vérification des signatures numériques. Cela empêche le firmware non autorisé de fonctionner. L'environnement d'exécution de confiance (TEE) assure que les clés cryptographiques et les données de télémétrie sont isolées des processus d'espace utilisateur. Par exemple, l'espace spatial OS pour la série satellite GOES‐R utilise une chaîne de démarrage sécurisée qui valide chaque couche jusqu'à l'application.

Chiffrement et communication sécurisée

Le système d'exploitation doit gérer les clés de chiffrement pour la télémétrie et les liens de commande. Il intègre souvent un module de sécurité matérielle (HSM) pour le stockage des clés. Le programmeur doit garantir que les tâches de chiffrement n'introduisent pas de latences imprévisibles dans les boucles de contrôle déterministes.

Essais, vérification et validation

Space OS subit des essais rigoureux avant le lancement, y compris des campagnes de simulation, d'injection de défauts et de matériel dans la boucle (HIL).

Logiciels dans la boucle (SIL) et matériel dans la boucle (HIL)

Dans les tests SIL, le système d'exploitation et l'application fonctionnent sur un modèle de matériel simulé qui imite les conditions d'espace. Les tests HIL remplacent la simulation par du matériel de processeur réel et comprennent des sources émettant des radiations. Le système d'exploitation doit prendre en charge les fonctions de logage et de débogage qui n'affectent pas le comportement en temps réel.

Essai d'injection par défaut

Pour vérifier la tolérance aux défauts, les campagnes de test injectent délibérément des EVP dans des cellules de mémoire, des bus de données corrompus et simulent les défaillances des capteurs. L'OS doit démontrer qu'il peut détecter, récupérer et poursuivre les opérations de mission sans intervention humaine.

Orientations futures du développement des systèmes d ' exploitation spatiale

À mesure que les missions deviennent plus complexes, y compris les vols en équipage sur Mars, les infrastructures de l'espace profond et les essaims autonomes de CubeSats, les systèmes d'exploitation évolueront dans plusieurs domaines clés.

Computing quantique et résilience des erreurs

La recherche sur la cryptographie et l'optimisation améliorée quantique peut se croiser dans l'espace OS. La correction d'erreurs pour les bits quantiques nécessite une latence ultra-faible, ce qui pourrait pousser la conception RTOS à des extrêmes plus importants.

Systèmes d'auto-guérison et d'inspiration biologique

Les chercheurs développent, à partir de la biologie, des noyaux OS autoguérisants capables de détecter les sections endommagées de code ou de données et de les réparer de façon autonome, en utilisant des informations génomiques redondantes stockées dans la mémoire distribuée.

Calcul de bord pour traitement in situ

Avec une résolution de capteur croissante, il est impossible de déconnecter toutes les données brutes. L'OS spatial futur intégrera des processeurs de bord puissants (comme les FPGA ou les GPU) et exécutera des applications conteneurisées légères qui traitent les données en temps réel.

En résumé, la conception de systèmes d'exploitation pour l'ingénierie spatiale exige une intégration profonde de la fiabilité, des performances en temps réel, de l'autonomie et de la sécurité. De la gestion de la mémoire tolérante aux rayonnements jusqu'à la récupération de défauts par l'IA, l'OS est le catalyseur silencieux de toute découverte faite au-delà de la Terre.