bon, je ne cite pas tout pour ne pas être trop long, mais:
- tu remarqueras que je n'ai pas abordé ADA, juste RTCA, qui je le maintiens est une organisation a priori civile;
- Pour ce qui est du 178B, la FAA l'utilise depuis 93 (AC 20-115B)
- pour les réseaux, les militaires regardent aussi du côté des technologies civiles, ça va dans les deux sens
- pour la fiabilité, on regarde des probas de failure à 10^{-9} pour les civils, et 10^{-6} pour les militaires (quoique ça dépend du type d'appareil...