基于CPS的實時系統(tǒng)的面向方面的QoS建模.pdf

1、服務質(zhì)量(Quality of Service,QoS)是指與用戶對服務滿意程度相關的各種性能效果。在軟件設計過程中,性能、可用性、可靠性和安全性等QoS方面決定了整個軟件系統(tǒng)對于使用者而言是否“有用”,因此QoS是系統(tǒng)不可或缺的重要方面。
　　 面向?qū)ο筌浖_發(fā)(Object-Oriented Software Development,OOSD)技術(shù)使得軟件系統(tǒng)更容易設計和實現(xiàn),并且具有良好的可復用性和可擴展性。然而在對象內(nèi)部

2、,性能、可用性、可靠性和安全性等QoS橫切關注點的代碼與核心關注點的代碼混雜在一起,不僅降低了程序的可理解性,更嚴重限制了程序的可復用性和可擴展性,OOSD技術(shù)對此卻無能為力。
　　 面向方面軟件開發(fā)(Aspect-Oriented Software Development,AOSD)技術(shù)繼承并發(fā)展了OOSD的思想,它能深入到對象內(nèi)部,將橫切關注點抽取出來并進行模塊化,與核心關注點完全分離。這有利于創(chuàng)建松散耦合的、可復用及可擴展

3、的大型軟件系統(tǒng)。用面向方面的方法對QoS建模顯得順理成章。
　　 隨著傳感技術(shù)、嵌入式計算技術(shù)和無線通信技術(shù)的發(fā)展,一場新的計算技術(shù)革命——Cyber Physical Systems(CPSs)——已經(jīng)開始興起。正如因特網(wǎng)改變了我們與他人交互的方式一樣,CPS將改變我們與物理世界的交互方式。CPS這個全新的領域給我們帶來大量的挑戰(zhàn),QoS保障便是其中之一。
　　 本文使用面向方面的方法對Cyber Physical網(wǎng)絡

4、環(huán)境下實時系統(tǒng)的QoS方面進行建模。首先介紹了分布式系統(tǒng)的QoS框架和分類學以及網(wǎng)絡QoS的一些主要衡量指標,并分析了CPS系統(tǒng)的服務質(zhì)量保障問題。然后應用關注點分離的思想,提出了基于通用建模環(huán)境(Generic Modeling Environment,GME)的Petri網(wǎng)建模方法。具體地說,本文通過GME提供的一套元模型以及繼承機制,定義了一個建模范式(即Petri網(wǎng)元模型)。接著使用該范式對基于組件的實時系統(tǒng)的行為結(jié)構(gòu)進行建模,