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

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

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

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

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