電子發燒友網>電子資料下載>電子論文>模擬數字論文>自適應軟件動態過程時間特性建模

自適應軟件動態過程時間特性建模

2755793 2018-04-19 | rar | 1.12 MB | 次下載 | 1積分

資料介紹

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

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

自適應軟件動態過程時間特性建模