【正文】 BH值比預(yù)想的大很多，因?yàn)榘Ⅺ悂喣龋弟壍榔鹗疾糠峙c阿麗亞娜４不同，存在更大的水平速度值。為什么缺少異常保護(hù)？ 3。 這就導(dǎo)致對(duì)軟件無(wú)冗余 也就導(dǎo)致兩個(gè)正常工作的關(guān)鍵設(shè)備關(guān)機(jī) 觀念錯(cuò)誤： ? 軟件在出現(xiàn)錯(cuò)誤之前總被認(rèn)為是正確的 ? 除非被嚴(yán)格證明，總應(yīng)假設(shè)軟件中含有錯(cuò)誤。 軟件重用分析： ? 軟件重用分析基于一個(gè)錯(cuò)誤觀點(diǎn)： 除非證明確有必要，要改變阿麗亞娜４中工作良好的軟件是不明智的 ? 即使如此，不對(duì)阿麗亞娜 5與阿麗亞娜 4的差異進(jìn)行全面細(xì)致的分析，無(wú)疑是完全錯(cuò)誤的 其它： 報(bào)告中對(duì) OBC軟件的不足只字未提，但似乎還有一些疑義： 1。但測(cè)試時(shí)不考慮一個(gè)完整的工作程序，無(wú)疑是有欠缺的。 但是 最初計(jì)劃以方法 b將 SRI置于回路。 確實(shí)是一個(gè)非常重要的方法。 分析總結(jié) ，無(wú)與故障 有關(guān)的事件發(fā)生； ，對(duì)故障的 發(fā)生沒(méi)有影響。在恢復(fù)的設(shè)備中有兩個(gè) SRI，它們已用于分 析。 速度逐漸增大的軌道，該水平速度比阿麗亞 娜４的水平速度大 5倍多。假如用了SRI，故障就會(huì)被檢查出來(lái)。在任何飛行試驗(yàn)之前必須進(jìn)行完整的仿真。 ? 驗(yàn)證軟件中任何內(nèi)部或傳送變量的取值范 圍。改進(jìn)技術(shù)以保持代碼與說(shuō)明文件相一致； ? 文實(shí)一致，永遠(yuǎn)是很重要的 ? 配置管理是一種保證方法，但要嚴(yán)格執(zhí)行 ? 同時(shí)還需要不斷改進(jìn)和完善 ? 當(dāng)然，這一切都建立在首先要寫、要按時(shí)寫文檔 ? R13. 建立一個(gè)小組，他們?yōu)榘Ⅺ悂喣龋禍?zhǔn)備鑒定軟件的過(guò)程，提出確認(rèn)這一鑒定的嚴(yán)格規(guī)則，并保證在阿麗亞娜５中軟件的規(guī)格說(shuō)明、軟件的驗(yàn)證和測(cè)試，具有一致的高質(zhì)量。軟件技術(shù)評(píng)審有其特定含義 ? 3。 ? R5. 評(píng)審所有飛行軟件 (包括嵌入式軟件 )， 特別是 ? 判別所有在代碼及其說(shuō)明文件基于設(shè)備提 供的數(shù)量值構(gòu)成的隱含假設(shè)。 501故障分析委員會(huì)的建議 基于分析和結(jié)論，阿麗亞娜 5故障 分析委員會(huì)作出如下 14條建議： ? R1. 起飛后立即關(guān)掉 SRI的校準(zhǔn)功能。 SRI在技術(shù)上 是可行的。采取這一設(shè)計(jì)決定時(shí)，沒(méi)有分析或完全理解當(dāng)在起飛后校準(zhǔn)軟件操作時(shí)，這個(gè)特殊變量會(huì)取那些值。 ，主 SRI實(shí)際上是傳送診斷信息給運(yùn)載火箭主計(jì)算機(jī)，這些信息被當(dāng)作了飛行數(shù)據(jù)并用于飛行控制計(jì)算。 評(píng)審?fù)? 其它推論： 報(bào)告中似乎對(duì) ESA的軟件開(kāi)發(fā)方法有疑義，有可能是針對(duì)開(kāi)發(fā)過(guò)程及過(guò)程控制的 這與前面其它問(wèn)題一起，可以看出，管理上還是有問(wèn)題的。 測(cè)試完 評(píng)審的問(wèn)題： 報(bào)告中對(duì)評(píng)審著墨不多 （可能是評(píng)審的技術(shù)性太強(qiáng)，不易量化和控制。第二種方法便宜，其性能主要依賴于仿真精度。鑒定測(cè)試 2。但缺乏對(duì)驗(yàn)收測(cè)試和環(huán)境約束的明確規(guī)定。 觀念錯(cuò)誤： 傳統(tǒng)思想：只注意硬件隨機(jī)故障。其它可能的缺陷 阿麗亞娜 4的問(wèn)題主要為： 1。 ? 盲目重用、過(guò)分強(qiáng)調(diào)控制技術(shù)狀態(tài)更改 ? 由于一個(gè)稱為 BH(水平偏差 )的內(nèi)部校準(zhǔn)功能結(jié)果的值出乎意料的大，運(yùn)算錯(cuò)誤就出現(xiàn)了。 ? 為什么 SRI1早一個(gè)周期停機(jī)？ ? 有專家說(shuō)： SRI1和 SRI2中各有備份的敏感設(shè)備，其測(cè)量是有誤差的。 ? 也有遙測(cè)數(shù)據(jù)為證 ? 噴管偏轉(zhuǎn)指令由箭載計(jì)算機(jī) (OBC)軟件 根據(jù)主慣性制導(dǎo)系統(tǒng) (SRI2)提供的數(shù)據(jù) 發(fā)出，而該時(shí)刻的部分?jǐn)?shù)據(jù)不含有正常飛行數(shù)據(jù)，表示的是SRI2計(jì)算機(jī)的診斷位模式，但它卻被認(rèn)為是飛行數(shù)據(jù)。 ? 關(guān)于原因有些初步解釋并正在調(diào)查之中。 后來(lái)飛行延遲至預(yù)報(bào)能見(jiàn)度好轉(zhuǎn) （因此天氣不成問(wèn)題） 起飛情況： 倒計(jì)時(shí)在 H0(主低溫發(fā)動(dòng)機(jī)點(diǎn)火命令 )－ 7 分鐘之前一直順利進(jìn)行， H0－ 7分鐘由 于發(fā)射窗口開(kāi)始時(shí)刻 (當(dāng)?shù)貢r(shí)間 08h35)不滿足能見(jiàn)度規(guī)定，發(fā)射推遲。為什么沒(méi)有查出這段 “ 盲腸 ” 在阿麗亞娜 5會(huì) “ 發(fā)炎 ” ？ 怎么發(fā)的炎？ ? 根源： ? SRI軟件是由當(dāng)前被認(rèn)為最嚴(yán)謹(jǐn)?shù)?ADA語(yǔ)言 編制的。 有兩個(gè)硬件和軟件完全一樣的 SRI并行工作。建立調(diào)查委員會(huì) 調(diào)查委員會(huì)被授權(quán) — 確定發(fā)射故障的原因； — 調(diào)查與所發(fā)生問(wèn)題有關(guān)連的鑒定測(cè)試和驗(yàn)收測(cè)試是否適合； — 提出糾正措施，以排除異常起因及事故中發(fā)現(xiàn)的系統(tǒng)的其它弱處。 計(jì)劃中的第二次飛行已經(jīng)安排在數(shù)月后進(jìn)行。 對(duì)這個(gè)全新的設(shè)計(jì)，運(yùn)載火箭使用了威力十倍于 阿麗亞娜 4的發(fā)動(dòng)機(jī)。他們被要求在七月中旬提交一份完全獨(dú)立的，報(bào)告，確定事故的原因，提出為避免如何進(jìn)一步的事故而設(shè)計(jì)的修正建議。信息的丟失是由于 SRI軟件的規(guī)格說(shuō)明和設(shè)計(jì)錯(cuò)誤引起的 ? 描述導(dǎo)致失敗的錯(cuò)誤、產(chǎn)生錯(cuò)誤的原因 ? 在阿麗亞娜５研制過(guò)程中進(jìn)行的廣泛評(píng)審和測(cè)試未包括對(duì) SRI或完整的飛行控 制系統(tǒng)進(jìn)行充分的分析和測(cè)試，而這樣的測(cè)試是能夠查出潛在的故障的。 ? 同樣有兩個(gè) OBC，飛行控制系統(tǒng)中還有很 多設(shè)備都是雙備份的。 怎么發(fā)的炎： ? 影響： ? 由于阿麗亞娜 5軌道的起始部分于阿麗亞娜 4不一樣，水平速度更大，與此相關(guān)聯(lián)的水平偏差 BH比預(yù)想的大得多。 ? 故障的原因很快局限于飛行控制系統(tǒng)，特別是兩個(gè)慣性制導(dǎo)系統(tǒng)，很明顯地在 H0＋ 乎同時(shí)失效。已經(jīng)顯示在阿麗亞娜 5操作模式中存在與慣性平 臺(tái)有關(guān)的故障。 SRI最后向 OBC送了什么？ SRI按需求異常處理不了就停機(jī)。被轉(zhuǎn)換的浮點(diǎn)數(shù)值大于 16位帶符號(hào)整數(shù)可表達(dá)的值，這就導(dǎo)致了一個(gè)運(yùn)算錯(cuò)誤。 ? 沒(méi)有認(rèn)識(shí)到，或不負(fù)責(zé)任地忽略 產(chǎn)生故障的原因 錯(cuò)誤的產(chǎn)生包括兩個(gè)部分： ? 開(kāi)發(fā)：為什么要這樣編？ ? 檢測(cè)：評(píng)審和檢查為什么沒(méi)有發(fā)現(xiàn)？ 軟件開(kāi)發(fā)方面： ? 從全報(bào)告看，故障分析委員會(huì)試圖對(duì)事不對(duì)人，只對(duì)阿麗亞娜５的故障發(fā)表看法。為什么關(guān)機(jī)？ 為什么有功能多余物？ 很奇怪，報(bào)告只說(shuō)了校準(zhǔn)功能為什么要延長(zhǎng)，卻沒(méi)有說(shuō)為什么要延長(zhǎng)到點(diǎn)火后的50秒，而不在點(diǎn)火時(shí)終止？ 可能是很難辦，如得不到準(zhǔn)確點(diǎn)火時(shí)間 否則就是一個(gè)大失誤 為什么缺少異常保護(hù)？ 異常有很多類，除自定義的異常外， ADA支持五種預(yù)定義異常：約束異常、數(shù)值異常、程序異常、存儲(chǔ)異常、任務(wù)異常 這里出現(xiàn)的轉(zhuǎn)換異?？珊跀?shù)值異常中。 ? 在設(shè)計(jì)時(shí)應(yīng)考慮到軟件會(huì)有異常（允許它出錯(cuò)并對(duì)此預(yù)防），有時(shí)必須假定它就有錯(cuò)并對(duì)此進(jìn)行保護(hù)。接口問(wèn)題 2。盡管沒(méi)要求 控制系統(tǒng)鑒定測(cè)試（沒(méi)太多地說(shuō)） ? 難道控制系統(tǒng)的規(guī)格說(shuō)明中也沒(méi)有提針對(duì)阿麗亞娜 5軌道的需求？ ? 控制系統(tǒng)集成后的確認(rèn)測(cè)試