基於編譯的高可信嵌入式軟體開發與驗證方法研究

《基於編譯的高可信嵌入式軟體開發與驗證方法研究》是依託武漢大學，由毋國慶擔任項目負責人的重大研究計畫。

基本介紹

• 中文名：基於編譯的高可信嵌入式軟體開發與驗證方法研究
• 項目類別：重大研究計畫
• 項目負責人：毋國慶
• 依託單位：武漢大學
• 批准號：91018009
• 申請代碼：F0203
• 負責人職稱：教授
• 研究期限：2011-01-01 至 2011-12-31
• 支持經費：50（萬元）

項目摘要

嵌入式系統的套用領域越來越廣泛，其可信性備受關注。提高嵌入式軟體的可信性是保證嵌入式系統可信的核心環節。通用的軟體開發框架難以滿足嵌入式軟體對安全性、可靠性、容錯性、實時性的要求，研究針對嵌入式軟體特點的開發與驗證框架、可信性驗證、安全性加強與可靠性保障機制具有非常重要意義。本項目擬對基於編譯的高可信嵌入式軟體開發與驗證方法進行研究，主要研究內容包括三個方面：（1）對嵌入式軟體的開發與驗證框架進行研究，確保框架具有可擴展性並且可以在開發的各個階段進行可信性驗證；（2）基於總體框架，從編譯的角度對嵌入式軟體安全性加強、可靠性保障、可信性驗證技術進行研究；（3）對基於編譯的輔助自動化測試方法進行研究。