分布式實時系統(tǒng)調度分析工具的改進研究.pdf

1、隨著信息科技的高速發(fā)展,針對網絡化、嵌入式集成特點的計算機系統(tǒng)得到廣泛研究,于是出現了分布式結構的實時系統(tǒng)。由于系統(tǒng)規(guī)模的擴大以及系統(tǒng)功能與非功能屬性的逐漸豐富,開發(fā)人員已經將重點從關注實現的細節(jié)轉向更高的抽象層次來考慮軟件設計結構的問題,從而基于模型的開發(fā)方法被逐漸地研究和使用。
　　 模型方法是根據開發(fā)者基于其不同的專業(yè)知識和開發(fā)需求對客觀世界的一種自然表達。在系統(tǒng)開發(fā)過程中,為了衡量系統(tǒng)的性能,開發(fā)者通過對系統(tǒng)模型中的屬性

2、進行驗證,能夠直接得到反饋,進而對模型進行完善,提高了軟件系統(tǒng)的可靠性、正確性與可維護性。在對模型進行確認之后,可以轉向框架代碼自動生成、軟件測試等系統(tǒng)開發(fā)操作,最終完成一個滿足分布式結構的實時性可靠嵌入式系統(tǒng)。
　　 從嵌入式系統(tǒng)的出現至今,關于時間方面的研究尤為突出,例如分布式任務是否滿足在截止時間限的情況下完成指定的行為,整體任務集合是否滿足端到端的延時要求,在復雜的系統(tǒng)環(huán)境中各種關聯關系是否影響到任務的執(zhí)行時間等等,這些

3、都可以通過對系統(tǒng)中任務的可調度性來判斷。利用形式化方法為解決上述難題提供了一種思路。形式化方法可以在不同的軟件工程活動之間過渡,利用數學的嚴謹性質,可以準確描述狀態(tài)、對象或動作結果,避免自然語言描述規(guī)格說明時的二義性,提供方法驗證,確認實現的正確性。有窮狀態(tài)機是一種典型的形式化方法,用于準確描述一個系統(tǒng)。時間自動機是在有窮狀態(tài)機的基礎上增加系統(tǒng)對時間的約束,表達時間與狀態(tài)的對應關系。在此基礎上,為了避免由于相同權限級別的干擾,需要針對系

4、統(tǒng)的時間與空間進行合理劃分,才能夠保證系統(tǒng)的高可信性。
　　 本文首先對分布式實時目標系統(tǒng)進行模型抽象,介紹一個利用時間自動機理論和插件開發(fā)方法設計和實現的調度分析工具,基于該工具的基本框架,對其在支持分布式多處理器、復雜系統(tǒng)環(huán)境、時鐘表達、分析效率等方面進行改進,并與之前版本工具進行比較測試。接著通過對時間和空間的劃分,強調對系統(tǒng)的隔離與保護,拓展出調度過程中的分區(qū)概念,設計并實現了符合ARINC653國際標準的基于分區(qū)的調度