提高核電儀控系統(tǒng)軟件安全性的驗證技術(shù)研究
- 廠商:《自動化博覽》
- 作者:尹寶娟
- 點擊數(shù):2195 發(fā)布時間:2012-10-10 15:24:00
- 分享到:
由于軟件技術(shù)在核電站中的應(yīng)用日益廣泛,其安全性顯得越發(fā)重要;而對提高軟件安全性的分析驗證技術(shù)和方法的研究將進(jìn)一步促進(jìn)核電儀控軟件的應(yīng)用。本文將對核電站儀控系統(tǒng)軟件開發(fā)全生命周期中的若干提高軟件安全性的驗證技術(shù)與方法進(jìn)行闡述,包括:可追蹤性分析、危險分析、安全性測試等。
關(guān)鍵詞: