标签：#Ada编程语言

星簇卫星

阿丽亚娜V88飞行（Ariane flight V88）是1996年6月4日阿丽亚娜航天公司阿丽亚娜-5运载火箭首次失败的发射，该枚编号为501的运载火箭搭载了四颗由欧洲航天局研究卫星所组成的卫星群。 由于软件设计中的多个错误，发射以失败告终：对整数溢出保护不足的死代码（其运行仅有效于阿丽亚娜4号运载火箭），导致异常处理不当—停止整个惯性导航系统（否则就不会受到影响）。使火箭在发射37秒后偏离飞行轨道，在高空气动力作用下开始解体，最后通…