Annonces, Actus et Infos » Linux et le libre SpaceX et linux
'lut,
Vous avez peut être vu les images du lancement de la fusée SpaceX et l'amarrage de la capsule Dragon à l'ISS, sachez que ses calculateurs tournent sous linux ! Je vais en décevoir plus d'un en disant que ce n'est pas la distribution mageia mais une version customisée pour la circonstance. On trouvera des infos par ici (en anglais désolé). On y apprend que c'est une version de linux basé sur noyau 3.2 patché pour faire du temps réel (soit 10 à 15% du code original) et tournant sur trois unités d'ordinateurs durcis aux radiations avec au total cela fait 54 processeurs. Les logiciels spécifiques sont développés sous C++ en utilisant tous les outils GNU standards (gcc, gdb, ftrace, etc.).
Perso ce que je trouve incroyable dans cette histoire est que linux soit arrivé à un tel niveau de maturité pour lui laisser les clés d'un vaisseau spatial avec le succès qu'on peut constater. Dans le monde de l'aéronautique et d'une manière générale de l'informatique embarqué, j'ai toujours connu des OS comme VxWorks ou a minima compatible avec la norme DO-178C comme LynxOS avec ada comme langage de programmation (si ce n'est l'assembleur directement) sur du matériel bien spécifique et certifié.
Là on aurait un "bête" noyau à peine patché, avec du développement C++ sans certification particulière ! Alors certes dans un premier temps l'ordinateur principal tournait sous VxWorks par sécurité, mais maintenant tout tourne sous linux. Ça me parait assez dingue !
Vous avez peut être vu les images du lancement de la fusée SpaceX et l'amarrage de la capsule Dragon à l'ISS, sachez que ses calculateurs tournent sous linux ! Je vais en décevoir plus d'un en disant que ce n'est pas la distribution mageia mais une version customisée pour la circonstance. On trouvera des infos par ici (en anglais désolé). On y apprend que c'est une version de linux basé sur noyau 3.2 patché pour faire du temps réel (soit 10 à 15% du code original) et tournant sur trois unités d'ordinateurs durcis aux radiations avec au total cela fait 54 processeurs. Les logiciels spécifiques sont développés sous C++ en utilisant tous les outils GNU standards (gcc, gdb, ftrace, etc.).
Perso ce que je trouve incroyable dans cette histoire est que linux soit arrivé à un tel niveau de maturité pour lui laisser les clés d'un vaisseau spatial avec le succès qu'on peut constater. Dans le monde de l'aéronautique et d'une manière générale de l'informatique embarqué, j'ai toujours connu des OS comme VxWorks ou a minima compatible avec la norme DO-178C comme LynxOS avec ada comme langage de programmation (si ce n'est l'assembleur directement) sur du matériel bien spécifique et certifié.
Là on aurait un "bête" noyau à peine patché, avec du développement C++ sans certification particulière ! Alors certes dans un premier temps l'ordinateur principal tournait sous VxWorks par sécurité, mais maintenant tout tourne sous linux. Ça me parait assez dingue !
info intéressante.

m@rco123
Membre non connecté

Du côté de l'ISS les PC permettant d'interagir avec la station tournent aussi sous Linux. Par contre les PC de travail (non connectés au système de contrôle de vol) sont sous Windows.
petite correction (lu ici) à propos des processeurs, en fait ils ont fait l'économie du durcissement aux rayonnements cosmiques en choisissant plutôt une triple redondance avec la même fonction assurée par 3 processeurs différents, c'est un peu bizarre car il me semble que les 3 processeurs sont arrosés par le même flux cosmique et qui sont susceptibles de flancher ensemble !
En revanche j'ai rien trouvé sur le type du processeur.
En revanche j'ai rien trouvé sur le type du processeur.
Yuusha :
Du côté de l'ISS les PC permettant d'interagir avec la station tournent aussi sous Linux. Par contre les PC de travail (non connectés au système de contrôle de vol) sont sous Windows.
Oui ils ont été développés à l'origine avec labview qui est effectivement assez adapté à ce genre de système.
Iaokhan
Membre non connecté

m@rco123 :
J'ai eu peur que tu écrives : " le spaceX tourne avec un rasp embarqué " 

C'est pour bientôt

AMD Ryzen 5 3600 @ 3.6 Ghz - SSD Kingston SA400M8 120 Go - 16 Go ram
Répondre
Vous n'êtes pas autorisé à écrire dans cette catégorie