通用即插即用體系架構(gòu)在可靠性方面的研究和實(shí)現(xiàn).pdf

1、本文對于通用即插即用（Universal Plug and Play簡稱UPnP）進(jìn)行研究，并對于UPnP的可靠性方面提出了改進(jìn)方案并給出實(shí)現(xiàn)。本文重點(diǎn)是在UPnP工作流程中加入一個新的網(wǎng)絡(luò)分布構(gòu)件，使UPnP在不可用情形立即對請求方發(fā)送回應(yīng)，從而增強(qiáng)了其狀態(tài)回應(yīng)能力，避免了錯誤的控制。本文對于軟件系統(tǒng)可靠性的研究是基于軟件構(gòu)件的，與傳統(tǒng)的對整個軟件系統(tǒng)可靠性進(jìn)行研究的方法有所不同?；跇?gòu)件的軟件可靠性分析方法被認(rèn)為是“白盒”方法，區(qū)

2、別于一般“黑盒”方法的對于整個軟件系統(tǒng)的進(jìn)行分析，“白盒”方法分拆軟件系統(tǒng)，對組成軟件的構(gòu)件彼此之間的協(xié)作和適應(yīng)作分析。針對于UPnP工作流程在不可用的工作環(huán)境下出現(xiàn)的主機(jī)端的發(fā)現(xiàn)階段的可靠性瓶頸問題，本文提出了使用分布中間構(gòu)件“狀態(tài)服務(wù)器”來提升UPnP的工作流程的整體可靠性。本文還針對共享設(shè)備的并發(fā)訪問問題，利用狀態(tài)服務(wù)器方法提出了可靠性的解決方案。最后，文章結(jié)合基于狀態(tài)的可靠性模型Cheung模型對狀態(tài)服務(wù)器進(jìn)行形式化分析。應(yīng)