自適應(yīng)軟件（self-adaptive software）能夠在運行時實時監(jiān)測上下文變化并對自身進行動態(tài)調(diào)整，以消除或減輕變化帶來的不利影響。它能夠有效應(yīng)對運行環(huán)境和用戶需求的頻繁變化，降低軟件維護壓力，增強自身容錯和應(yīng)對變化的能力，現(xiàn)已成為軟件工程領(lǐng)域的熱點研究問題。

　　為提高自適應(yīng)軟件的可靠性，需對自適應(yīng)軟件的動態(tài)過程進行形式化建模和分析?；诖耍瑖鴥?nèi)外學者針對自適應(yīng)軟件的形式化方法開展了大量研究，能夠較好地支持自適應(yīng)邏輯和自適應(yīng)行為的刻畫和分析，卻鮮有研究考慮自適應(yīng)動態(tài)過程的時間約束。然而，實踐表明，在時間攸關(guān)應(yīng)用領(lǐng)域，自適應(yīng)軟件系統(tǒng)能否正確運行，不僅依賴于自適應(yīng)邏輯的正確性，而且要考慮系統(tǒng)自適應(yīng)過程的時間特性。首先，自適應(yīng)軟件的開發(fā)需在原應(yīng)用邏輯之上構(gòu)建自適應(yīng)邏輯，而自適應(yīng)邏輯的引入勢必會給原系統(tǒng)帶來時間開銷，將自適應(yīng)邏輯的時間開銷降到最低需綜合考慮自適應(yīng)各個子過程（如監(jiān)控、分析、規(guī)劃和執(zhí)行等）的時間約束；其次，自適應(yīng)軟件的很多應(yīng)用場景具有及時響應(yīng)性，如課題組前期研究中的自適應(yīng)火災(zāi)應(yīng)急響應(yīng)系統(tǒng)，需要系統(tǒng)能夠及時捕獲險情、及時傳遞險情并能夠及時啟動應(yīng)急設(shè)備，要刻面這類具有實時性的自適應(yīng)場景，時間特性是一個重要方面；最后，軟件形式化方法只能分析和驗證自適應(yīng)邏輯的正確性，不能衡量自適應(yīng)邏輯的響應(yīng)速度和響應(yīng)效果，現(xiàn)有研究尚缺乏性能指標和評估方法以全面評估自適應(yīng)邏輯的性能。