Ok, je postais ceci en commentaire mais devenait ridiculement long ...
J'ai travaillé pendant la majeure partie de ma vie professionnelle dans des domaines qui sont en quelque sorte liés. Je peux voir qu'il y a trois domaines d'étude qui vous aideront beaucoup ici.
Premièrement: les langages de programmation. Connaître une langue utilisée dans l'industrie est un plus. Maintenant je travaille dans l'industrie automobile / transport; Je ne travaille pas sur des matériaux critiques pour la sécurité, nous utilisons donc simplement le C / C ++ standard. Même à ce niveau une bonne connaissance de la programmation et des logiciels de bas niveau (comment écrire un pilote simple, comment interagir avec un périphérique en utilisant ioctl, etc.) sont très utiles.
Avant cela, je a travaillé sur un domaine lié aux langages de programmation et aux compilateurs, en particulier sur la simulation et l'analyse de code concurrent. Entre autres, j'ai brièvement interagi avec des personnes travaillant pour Airbus (des professeurs qui sont dans le milieu universitaire, mais qui aident à construire de vrais logiciels) .Ils voient et utilisent encore beaucoup d'Ada là-bas, alors ... sachant que c'est bien :) sachez que Java est également utilisé, ainsi que des outils spéciaux de vérification du code.
Ce qui nous amène à la seconde: tout ce qui concerne la vérification des logiciels , les deux d'un point de vue théorique et pratique, vous aidera énormément dans cette industrie. Étudiez et pratiquez au moins avec des moniteurs d'exécution et des vérificateurs de modèles. Découvrez diverses techniques d'analyse statique, comme l'interprétation abstraite. Suivez des cours à ce sujet, si vous le pouvez dans votre école.
Et troisièmement: étudiez et pratiquez avec des systèmes embarqués et avec les systèmes d'exploitation en temps réel (plus rares) et comment ils fonctionnent (et comment vous les programmez) Procurez-vous un arduino ou un netduino (pas un Raspberry PI - niveau trop élevé, trop de ressources là-bas!) Et entraînez-vous avec eux. Apprenez à propos d'uboot.