D'après mes sources, il y aurait effectivement du Linux embarqué chez Airbus. Ce que je peux vous garantir, c'est que ça a au moins été testé. Je ne sais pas par contre si c'est beaucoup utilisé sur l'A380, ni même si c'est utilisé tout court (je suis pas chez Airbus !).
Pour l'assembleur, ça m'étonne, il me semble qu'on utiliserait plutôt de l'ADA pour faire des tonnes de validations après. Enfin... c'est que mes souvenirs de cours d'avionique.
[^] # Re: Je ne veux pas être rabat-joie mais...
Posté par raphulon . En réponse au journal Vive GNU/linux & Airbus A380. Évalué à 1.
Pour l'assembleur, ça m'étonne, il me semble qu'on utiliserait plutôt de l'ADA pour faire des tonnes de validations après. Enfin... c'est que mes souvenirs de cours d'avionique.