航空嵌入式軟體可信性度量模型研究

《航空嵌入式軟體可信性度量模型研究》是依託北京航空航天大學，由張莉擔任項目負責人的重大研究計畫。

基本介紹

• 中文名：航空嵌入式軟體可信性度量模型研究
• 依託單位：北京航空航天大學
• 項目負責人：張莉
• 項目類別：重大研究計畫
• 批准號：90818017
• 申請代碼：F0203
• 負責人職稱：教授
• 研究期限：2009-01-01 至 2011-12-31
• 支持經費：50（萬元）

項目摘要

本項目以航空嵌入式軟體為載體，在充分調研和分析航空嵌入式軟體特點的基礎上，構造航空嵌入式軟體多維、多尺度可信屬性定性、定量指標體系，研究嵌入式軟體可信屬性定性、定量度量的轉換方法。從航空嵌入式軟體結構、功能和行為出發建立可信性度量模型，探索在包括操作錯誤、環境影響、外部攻擊等干擾條件下的可信性綜合評估策略與方法，為航空嵌入式軟體的需求描述、軟體設計、測試驗證、質量保證提供依據。依託相關航空工業部門的配合（本課題選定洪都航空工業集團有限責任公司、航空部631所為協作單位），構建航空嵌入式軟體可信性度量的實驗原型系統。