2 0 0 0 OA アリアン5の爆発事故とソフトウェア安全性に関する国際規格
- 著者
- 清水 久二
- 出版者
- 安全工学会
- 雑誌
- 安全工学 (ISSN:05704480)
- 巻号頁・発行日
- vol.41, no.1, pp.39-42, 2002-02-15 (Released:2017-02-28)
- 被引用文献数
- 1
言及状況
外部データベース (DOI)
Twitter (2 users, 2 posts, 3 favorites)
基盤ソフトウェアあるいはCPUのbit数変更に由来する事故と言えば、アリアンロケットが著名
https://t.co/nH4HEcjdUK
#情報工学科 #認知情報科学科
【2002年】
アリアン5の爆発事故とソフトウェア安全性に関する国際規格 https://t.co/cqU4hBCPw5
ソフトウェアの異常は64ビットの浮動小数点を16ビットの符号付整数へ変換するルーチンで起きた．浮動小数の大きさは16ビットの符号付整数で表しうる数よりも大きくこれがオペランドエラー．．ADA言語．．