《實時嵌入式系統的不確定性分析與測試方法研究》是依託廈門大學，由郭東輝擔任項目負責人的專項基金項目。
基本介紹
- 中文名：實時嵌入式系統的不確定性分析與測試方法研究
- 項目類別：專項基金項目
- 項目負責人：郭東輝
- 依託單位：廈門大學
- 負責人職稱：教授
- 申請代碼：F0214
- 研究期限：2010-01-01 至 2010-12-31
- 批准號：60940029
- 支持經費：10（萬元）
項目摘要
由於實時嵌入式系統存在不確定性問題可能導致系統故障在調試或測試過程中難以重現，同時，實時嵌入式系統的不確定性可能改變系統運行的時序特性，以致引發競態條件的出現從而導致系統崩潰。本課題擬研究基於宿主機/目標機架構的追蹤/重演方法，來解決實時嵌入式系統可能出現故障調試的不可重現性問題；並通過研究實時嵌入式系統任務調度及任務間通訊同步的通用模型，構建具有時序特性的競態條件圖，建立相關理論分析系統潛在的競態條件；同時，研究建立針對實時嵌入式系統的時間事件模型來仿真分析潛在競態條件對應的系統同步關係，並通過啟發式算法來自動產生有效的測試執行序列，以檢測出可能導致系統崩潰的潛在故障。最後，開發出一套針對VxWorks及uC/OS-II實時嵌入式系統的自動化測試工具以驗證我們的研究成果。
