今日頭條
官方微信
官方抖音
資訊頻道 摘要：由于軟件技術(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ù)研究
北京市公安局海淀分局備案號(hào)：11010802023656號(hào)