《實時軟體最壞執行時間的極值統計研究及分析工具原型》是依託大連理工大學,由吳國偉擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：實時軟體最壞執行時間的極值統計研究及分析工具原型
- 依託單位：大連理工大學
- 項目類別：青年科學基金項目
- 項目負責人：吳國偉
- 批准號：60703101
- 申請代碼：F0204
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：17（萬元）
項目摘要
（1）以程式執行時間測量值的最大值序列作為樣本，研究程式最壞執行時間的極值分布，建立最壞執行時間的極值估計模型，給出模型參數估計方法。(2)建立模型有效性的驗證方法。(3)建立實驗方法。（4）建立WCET分析工具原型。通過極值統計學與程式最壞執行時間WCET分析相結合的理論框架和實驗方法的建立，為WCET估計提供新的分析方法，這種分析方法相對於靜態WCET分析方法簡單易行，不需要對系統的某種程度上的額外知識和限定性的假設，可以綜合考慮處理器的各種硬體特性對程式執行時間的影響，因此可以獲得更高精度的WCET估計，為調度分析提供準確的時間信息，提高實時系統效率和資源利用率。建立具有開放性和可擴展性的分析工具框架原型，可以很方便的集成不同的WCET分析方法。
