フランスのロケットが打ち上げ失敗で爆発　原因はdouble型をintに変換するとき桁あふれしたため

http://www.shippai.org/fkd/cf/CA0000284.html
アリアン5型ロケットが制御不能で４０秒後に爆発

事例概要
1996年6月4日、フランス領ギアナの宇宙センターからヨーロッパ最新の無人サテライト発信ロケットが
打ち上げられた。しかし、打ち上げ後約40秒後に爆発した。
これは慣性座標システムのソフトに仕様と設計のエラーが生じて、誘導および姿勢情報を
完全に失ってしまったからである。

経過
アリアン５号は打ち上げ後、約30秒後に誘導および姿勢情報を完全に失い、
経路をそれ、約40秒後に高度約3700mの空中で方向を変え、爆発した。
破片か火の粉となって、降りてきたが、ほとんどがマングローブや海上に落ち、
煙は風にふかれて海方向へ流れていった。

原因
このロケットは打ち上げから約30秒後に誘導姿勢情報を完全に失った。
これは、慣性座標システムのソフトに仕様と設計のエラーによるもので、
このエラーは、ロケットの水平速度に関連する64ビット浮動小数点を16ビット符号付整数へ
変換する際、数字が16ビット符号付整数として保存できる最大値の32,768を超えてしまい、
変換が失敗に終わった。

知識化
あらゆる状況が起こる可能性を見極めることが非常に重要である。
細かい部分も、どのような状況がおこりえるかを考慮する必要がある。

背景
事前にこのような計算ができたのではないかと思われるが、これはアリアン号初の
打ち上げであったので、未知の部分も多々あったかとも思われる。