Ariane 5初号機(Flight 501)の打ち上げ失敗

1996年、Ariane 4向けに書かれた慣性基準装置のコードを再利用した結果、水平速度に関する内部値の64ビット浮動小数点から16ビット整数への変換が範囲検査で失敗し、その例外が保護されずに打ち上げが失敗した事故。

概念URI

https://comcomponent.com/knowledge/ariane-5-flight-501-failure/

別名・表記

Ariane 501 / Ariane 5事故

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 範囲制約(range constraint)はAriane 5初号機(Flight 501)の打ち上げ失敗の原因になることがあります。Ariane 4向けの慣性基準装置コードをAriane 5に再利用した際、水平速度に関する内部値の変換が範囲検査で失敗して例外になったが、保護されていなかったため打ち上げ失敗につながった。実行時チェック自体は問題を検出したが、前提の見直し不足と例外後のフェイルセーフ設計の不備が真因である。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語(言及)

一次資料

• https://esamultimedia.esa.int/docs/esa-x-1819eng.pdf

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。