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

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

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