​###宇宙での代表的な失敗例
​アリアン5型ロケット: 先代から流用したコードが、新型機の高い機動性に耐えられず計算オーバーフローを起こし自爆。

​マーズ・パスファインダー: 火星で「優先順位の逆転」という稀な競合が発生し、デバッグをすり抜けたリセットバグが顕在化。

​ひまわり6号: 累積稼働時間が設計想定を超えた瞬間、時間管理用カウンタがオーバーフローして機能停止。

​要点:
C言語のコードが安定しているのは「バグがない」からではなく、**「まだその限界条件や環境の変化に遭遇していないだけ」であることが多いのです。そのため、現代の宇宙開発では、コードの完璧さを信じるのではなく、「想定外が起きても壊れない設計（冗長化）」**を最優先しています。