7777久久亚洲中文字幕,亚洲欧美中文日韩v在线观看,中文字幕亚洲色图

提高核電儀控系統(tǒng)軟件安全性的驗(yàn)證技術(shù)研究

廠商：《自動(dòng)化博覽》
作者：尹寶娟
點(diǎn)擊數(shù)：2533 發(fā)布時(shí)間：2012-10-10 15:24:00
分享到：

由于軟件技術(shù)在核電站中的應(yīng)用日益廣泛，其安全性顯得越發(fā)重要；而對(duì)提高軟件安全性的分析驗(yàn)證技術(shù)和方法的研究將進(jìn)一步促進(jìn)核電儀控軟件的應(yīng)用。本文將對(duì)核電站儀控系統(tǒng)軟件開(kāi)發(fā)全生命周期中的若干提高軟件安全性的驗(yàn)證技術(shù)與方法進(jìn)行闡述，包括：可追蹤性分析、危險(xiǎn)分析、安全性測(cè)試等。

關(guān)鍵詞：

摘要：由于軟件技術(shù)在核電站中的應(yīng)用日益廣泛，其安全性顯得越發(fā)重要；而對(duì)提高軟件安全性的分析驗(yàn)證技術(shù)和方法的研究將進(jìn)一步促進(jìn)核電儀控軟件的應(yīng)用。本文將對(duì)核電站儀控系統(tǒng)軟件開(kāi)發(fā)全生命周期中的若干提高軟件安全性的驗(yàn)證技術(shù)與方法進(jìn)行闡述，包括：可追蹤性分析、危險(xiǎn)分析、安全性測(cè)試等。

關(guān)鍵詞：儀控系統(tǒng)；軟件安全性；驗(yàn)證；可追蹤性分析；危險(xiǎn)分析；安全性測(cè)試

在線預(yù)覽：提高核電儀控系統(tǒng)軟件安全性的驗(yàn)證技術(shù)研究

1.我有以下需求：
得到貴公司產(chǎn)品詳細(xì)資料得到貴公司產(chǎn)品的價(jià)格信息貴公司產(chǎn)品銷售人員聯(lián)系我貴公司技術(shù)支持人員聯(lián)系我
2.詳細(xì)的需求：
*
姓名:	*
單位:
電話:	*
郵件:	*

技術(shù)頻道

行業(yè)頻道

熱門頻道

技術(shù)頻道

行業(yè)頻道

熱門頻道

資訊頻道

熱點(diǎn)新聞

推薦產(chǎn)品