《安全關鍵軟體的故障診斷、隔離與恢復技術研究》是依託中國人民解放軍國防科技大學，由董威擔任項目負責人的面上項目。
基本介紹
- 中文名：安全關鍵軟體的故障診斷、隔離與恢復技術研究
- 項目類別：面上項目
- 項目負責人：董威
- 依託單位：中國人民解放軍國防科技大學
- 批准號：60673118
- 研究期限：2007-01-01 至 2009-12-31
- 申請代碼：F0203
- 支持經費：27（萬元）
- 負責人職稱：教授
中文摘要
由於安全關鍵軟體自身及其環境的複雜性，軟體故障難以完全避免。這使得軟體故障診斷、隔離與恢復成為確保已部署和運行的軟體全面、連續地支持系統任務，以及在發生故障情況下儘可能減免嚴重後果的重要途徑。本項目將以航天、武器控制等領域的典型安全關鍵軟體案例為背景，結合近年來軟體形式模型與設計驗證理論、程式靜態與動態分析技術等方向的最新進展，研究自動高效的軟體故障診斷、隔離和恢復理論框架及關鍵技術。具體研究內容包括：安全關鍵軟體的故障機理以及支持故障診斷的軟體形式模型和設計方法；構件級診斷與程式級診斷相結合的軟體故障診斷技術，以支持對故障原因和缺陷代碼的準確、快速定位；基於代碼隔離、控制隔離和軟硬體隔離等不同方式的軟體故障隔離技術，以保證軟體在完成修正和重新部署前能持續支持主要任務的執行；安全關鍵軟體的運行時恢復技術；具有較高自動化程度、與主流軟體工程環境相結合的軟體故障診斷、隔離與恢復支持環境。
