摘要:由于軟件技術(shù)在核電站中的應(yīng)用日益廣泛,其安全性顯得越發(fā)重要;而對提高軟件安全性的分析驗證技術(shù)和方法的研究將進一步促進核電儀控軟件的應(yīng)用。本文將對核電站儀控系統(tǒng)軟件開發(fā)全生命周期中的若干提高軟件安全性的驗證技術(shù)與方法進行闡述,包括:可追蹤性分析、危險分析、安全性測試等。
關(guān)鍵詞:儀控系統(tǒng);軟件安全性;驗證;可追蹤性分析;危險分析;安全性測試
在線預(yù)覽:提高核電儀控系統(tǒng)軟件安全性的驗證技術(shù)研究