《實時系統的軟體可靠性測試與驗證》是依託中國人民解放軍國防科技大學，由王戟擔任項目負責人的重點項目。
基本介紹
- 中文名：實時系統的軟體可靠性測試與驗證
- 項目類別：重點項目
- 項目負責人：王戟
- 依託單位：中國人民解放軍國防科技大學
- 負責人職稱：研究員
- 申請代碼：F0203
- 研究期限：2003-01-01 至 2006-12-31
- 批准號：60233020
- 支持經費：170（萬元）
中文摘要
研究實時系統的程式理論和量化規律，實時軟體的測試理論和關鍵技術，實時軟體的驗證理論和關鍵技術，建立與現代主流軟體工程標準，兼容的測試和驗證方法學，完成具有一定規模的示範演示系統。這些研究將推動實時系統計算理論和可信軟體工程技術的發展，對提高安全攸關套用中實時紗統的安全性和可靠性有重要意義。
