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

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

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

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

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