为了纪念爱达的贡献,美国国防部在 1980 年将他们设计的一种计算机语言命名为 Ada,编号为 MIL-STD-1815,用以纪念爱达出生的年份。Ada 语言被广泛地应用于各种嵌入式系统,包括航天器、导弹和其他需要高度可靠性的设备。1996 年,欧洲航天局发射的 “阿丽亚娜 5 号” 火箭就使用了 Ada 语言。不幸的是火箭在发射 37 秒后爆炸并解体,价值 5 亿美元的卫星付之一炬。爆炸的原因是一段将 64 位浮点数转换为 16 位无符号整数的代码,没有返回正确的数值而返回了一个溢出诊断信息。这段代码是在设计阿丽亚娜 4 号火箭时加入的,当时的工程师经过估算认为传感器的数值远不足以造成 16 位系统的溢出,但在阿丽亚娜 5 号火箭中设计人员简单地重用了这段代码但没有重新估算数值的大小。
本站仅提供存储服务,所有内容均由用户发布,如发现有害或侵权内容,请
点击举报。