本文關(guān)鍵詞：信息物理融合系統(tǒng)的軟件需求分析

  更多相關(guān)文章： 信息物理融合系統(tǒng) 軟件需求 面向目標(biāo)的方法 問(wèn)題框架方法

【摘要】：計(jì)算過(guò)程與物理過(guò)程的融合使得信息物理融合系統(tǒng)(Cyber-Physical Systems,CPS)的軟件需求分析成為一個(gè)具有挑戰(zhàn)性的任務(wù).首先,分析人員需要從用戶所期望實(shí)現(xiàn)的物理實(shí)體變化出發(fā),基于對(duì)物理實(shí)體性質(zhì)的認(rèn)識(shí)來(lái)推理分析軟件需求;其次分析人員已不能將CPS中的軟件看成一個(gè)整體去描述它的外部行為,而需要分析CPS所應(yīng)包含的各個(gè)軟件實(shí)體和物理實(shí)體,描述每個(gè)物理實(shí)體的性質(zhì)和軟件實(shí)體應(yīng)具有的行為;還有計(jì)算過(guò)程與物理過(guò)程的融合也使得分析人員必須采取一種統(tǒng)一的方式來(lái)描述物理實(shí)體的性質(zhì)和軟件實(shí)體的行為,以方便用戶需求的滿足性驗(yàn)證.基于問(wèn)題框架方法和面向目標(biāo)方法,作者提出了一種適合于CPS的軟件需求分析方法.該方法采用現(xiàn)象間的因果關(guān)系式這一具體形式來(lái)統(tǒng)一描述CPS中物理實(shí)體的性質(zhì)和軟件實(shí)體的需求,然后從用戶所期望的物理現(xiàn)象出發(fā),遵循面向目標(biāo)的方法,將CPS軟件需求的分析過(guò)程轉(zhuǎn)化為建立滿足用戶需求的現(xiàn)象間因果關(guān)系鏈的過(guò)程,最后通過(guò)基于Alloy的目標(biāo)現(xiàn)象可達(dá)性驗(yàn)證來(lái)檢驗(yàn)用戶需求的可滿足性;并且用一個(gè)自適應(yīng)巡航控制系統(tǒng)的案例來(lái)說(shuō)明所提方法的可行性.
【作者單位】： 河南大學(xué)計(jì)算機(jī)與信息工程學(xué)院;高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室(北京大學(xué));北京大學(xué)信息科學(xué)與技術(shù)學(xué)院軟件研究所;
【關(guān)鍵詞】： 信息物理融合系統(tǒng) 軟件需求 面向目標(biāo)的方法 問(wèn)題框架方法
【基金】：國(guó)家自然科學(xué)基金(91318301,61300035,61402150) 中國(guó)博士后基金(2014M552000) 北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室開(kāi)放課題(HCST201301) 河南省教育廳重點(diǎn)研究項(xiàng)目(14A520009)資助~~
【分類號(hào)】：TP311.52
【正文快照】： (2014M552000)、北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室開(kāi)放課題(HCST201301)及河南省教育廳重點(diǎn)研究項(xiàng)目(14A520009)資phenomena.Starting from the physical phenomena desired by users,it then follows the goalbased analysis process,transforms the software require

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 毛利峰;;對(duì)軟件需求分析的一些思考[J];計(jì)算機(jī)時(shí)代;2008年07期

2 蔣海昌;;降低軟件需求分析風(fēng)險(xiǎn)之探索[J];計(jì)算機(jī)時(shí)代;2010年10期

3 王曉寧;;關(guān)于如何做好軟件需求分析的探討[J];科技資訊;2010年34期

4 李雪源;;淺論軟件需求分析[J];信息與電腦(理論版);2012年02期

5 董文彬;;淺論軟件需求分析[J];科技視界;2012年26期

6 汪瑩;孫玉濤;;淺談軟件需求分析[J];電子世界;2012年17期

7 趙承乾;;軟件需求分析方法創(chuàng)新分析[J];計(jì)算機(jī)光盤(pán)軟件與應(yīng)用;2013年03期

8 馮士心;軟件需求分析的一種有效方法:編寫(xiě)“業(yè)務(wù)流程規(guī)范”[J];計(jì)算機(jī)時(shí)代;2001年07期

9 王繼成,高珍;軟件需求分析的研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2002年08期

10 熊俊,蘇秦;基于過(guò)程要素的軟件需求分析質(zhì)量保證改進(jìn)方法及案例研究[J];計(jì)算機(jī)應(yīng)用研究;2003年10期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 孫玫肖;;軟件需求分析方法的研究[A];鐵道科學(xué)技術(shù)新進(jìn)展——鐵道科學(xué)研究院五十五周年論文集[C];2005年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 四川托普信息技術(shù)職業(yè)學(xué)院軟件研究所所長(zhǎng) 柏曉旭;用IPO圖為信息系統(tǒng)建模[N];計(jì)算機(jī)世界;2009年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 王培剛;基于復(fù)雜科學(xué)管理理論的軟件需求分析研究[D];武漢大學(xué);2012年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前5條

1 顏思源;基于UML的軟件需求分析過(guò)程及其實(shí)現(xiàn)[D];重慶大學(xué);2003年

2 肖魏娜;一種基于BP神經(jīng)網(wǎng)絡(luò)的軟件需求分析風(fēng)險(xiǎn)評(píng)估模型的研究[D];西南大學(xué);2011年

3 李麗;UML的研究及其軟件需求分析實(shí)現(xiàn)[D];中國(guó)農(nóng)業(yè)大學(xué);2001年

4 劉嵩;軟件需求分析方法創(chuàng)新研究[D];武漢理工大學(xué);2005年

5 肖晶;中國(guó)石油華中銷售公司客戶關(guān)系管理系統(tǒng)設(shè)計(jì)與開(kāi)發(fā)[D];電子科技大學(xué);2011年

，

本文編號(hào)：651295