可信軟件研究*

俞烈彬，王立杰

(江蘇自動化研究所，江蘇 連云港 222061)

現代裝備中大部分電子設備的關鍵功能由軟件來完成，隨著系統自動化、智能化水平的不斷提高，軟件規模和復雜度也不斷提高，比如在F-22戰機的綜合航電系統中，軟件實現的航電功能高達80%，軟件代碼達到170萬余行。而在F-35戰機的先進綜合航電系統中，軟件代碼達到500萬～800萬行。這表明，越來越多的安全性關鍵系統軟件日益密集化。另一方面，由軟件引發的事故或事件卻頻發不斷:如2004年12月20日，一架F-22因飛行控制軟件故障而墜毀;2007年2月11日，12架F-22在穿越國際日期變更線時又因軟件缺陷問題造成導航故障，戰機被迫在無導航和通信能力下危險返航。由此可見，武器裝備中的軟件是否具備包括可靠、可用、安全等特性在內的可信特征已成為衡量和影響武器裝備效能的最重要的指標，構建可信的裝備軟件，對搶占未來信息化戰爭制高點有著重要的作用。

近十年來軟件的可信性研究一直受到廣泛重視。美國政府的“網絡與信息技術研究發展計劃(NITRD)”［1］中，列出了8個重點領域，有4個與“可信軟件”密切相關。美國自然科學基金會(NSF)在加州大學伯克利分校建立了科學與技術研究中心TRUST［2］，其研究內容圍繞可信系統的設計、構建和運行展開。國家自然科學基金的“可信軟件基礎研究”重大研究計劃［3］是目前國內可信軟件研究的主要研究計劃之一，其重點支持對嵌入式軟件和網絡應用軟件領域的軟件可信性進行研究。……