實(shí)時(shí)信息物理系統(tǒng)的中間件的研究.pdf

1、隨著Internet應(yīng)用的不斷發(fā)展，無(wú)處不在的分布式實(shí)時(shí)系統(tǒng)的應(yīng)用是計(jì)算發(fā)展的必然趨勢(shì)。大型分布式實(shí)時(shí)系統(tǒng)執(zhí)行的環(huán)境的不斷變化，包括作業(yè)量的變化，資源的不可用，或主機(jī)故障等等。加上新的實(shí)時(shí)通信、異構(gòu)等問(wèn)題。分布式實(shí)時(shí)系統(tǒng)日趨大型化、復(fù)雜化。在許多情況下，開(kāi)發(fā)這樣大型的應(yīng)用系統(tǒng)，是不符合成本效益。相比之下，中間件服務(wù)可以提供給應(yīng)用程序，從而允許以透明的方式來(lái)克服這些問(wèn)題。
　　 許多解決方案都是在典型的架構(gòu)中加入一些機(jī)制(例如，W

2、eb服務(wù)器)。然而，這些機(jī)制通常不能兼容其他版本或相關(guān)軟件。而且，這些解決方案無(wú)法作用于運(yùn)行時(shí)階段，必須重新部署應(yīng)用程序。組合架構(gòu)幫助我們?cè)O(shè)計(jì)和實(shí)現(xiàn)自適應(yīng)性軟件。它可以提供靜態(tài)和動(dòng)態(tài)的軟件組成，實(shí)現(xiàn)新的目標(biāo)，而不需要在設(shè)計(jì)，負(fù)載時(shí)，或運(yùn)行階段進(jìn)行預(yù)測(cè)。因此，像面向方面、計(jì)算反射等編程規(guī)范的出現(xiàn)，改善了自適應(yīng)軟件開(kāi)發(fā)。
　　 面向方面編程作為一種基于關(guān)注點(diǎn)分離的新軟件開(kāi)發(fā)范例，把非功能需求形成的橫切關(guān)注點(diǎn)從功能需求形成的核心關(guān)注點(diǎn)

3、中分離出來(lái)，將功能需求和非功能需求模塊化，分別進(jìn)行設(shè)計(jì)與編碼。最后通過(guò)面向方面的編織技術(shù)織入系統(tǒng)。
　　 為了驗(yàn)證某些高層次屬性，信息物理融合系統(tǒng)可以被看作是一個(gè)混合系統(tǒng)。如安全性能，可以通過(guò)一個(gè)可達(dá)集計(jì)算研究。為此，在一個(gè)有限的時(shí)間間隔、在一定的確定性和橫向離散的遷移條件之下，為混合系統(tǒng)提出了一種逼近可達(dá)集理論。
　　 本文針對(duì)分布式實(shí)時(shí)系統(tǒng)異構(gòu)性等特點(diǎn)，以及面向方面中間件的要求，著重從以下幾個(gè)方面進(jìn)行研究：
　

4、　 首先，介紹了信息物理融合系統(tǒng)，并對(duì)國(guó)內(nèi)外中間件、面向方面中間件的研究現(xiàn)狀做了一個(gè)綜合概括。接著，闡述了分布式實(shí)時(shí)系統(tǒng)中間件研究所需的理論基礎(chǔ)和基本概念。
　　 其次，提出了一種確定性橫向離散遷移條件下的逼近可達(dá)集理論對(duì)混合系統(tǒng)安全性驗(yàn)證進(jìn)行研究。
　　 最后，研究分析了本文所提出的分布式面向方面中間件的參考模型，并對(duì)該模型的各個(gè)層次進(jìn)行了詳細(xì)討論，還提出一個(gè)分布式組合模型，可以分離分布式關(guān)注點(diǎn)，如來(lái)自組合模型的分布