Forum

'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 !

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

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.