今日頭條
官方微信
官方抖音
資訊頻道 摘要：由于軟件技術在核電站中的應用日益廣泛，其安全性顯得越發(fā)重要；而對提高軟件安全性的分析驗證技術和方法的研究將進一步促進核電儀控軟件的應用。本文將對核電站儀控系統(tǒng)軟件開發(fā)全生命周期中的若干提高軟件安全性的驗證技術與方法進行闡述，包括：可追蹤性分析、危險分析、安全性測試等。
關鍵詞：儀控系統(tǒng)；軟件安全性；驗證；可追蹤性分析；危險分析；安全性測試
在線預覽：提高核電儀控系統(tǒng)軟件安全性的驗證技術研究
摘要：由于軟件技術在核電站中的應用日益廣泛，其安全性顯得越發(fā)重要；而對提高軟件安全性的分析驗證技術和方法的研究將進一步促進核電儀控軟件的應用。本文將對核電站儀控系統(tǒng)軟件開發(fā)全生命周期中的若干提高軟件安全性的驗證技術與方法進行闡述，包括：可追蹤性分析、危險分析、安全性測試等。
關鍵詞：儀控系統(tǒng)；軟件安全性；驗證；可追蹤性分析；危險分析；安全性測試
在線預覽：提高核電儀控系統(tǒng)軟件安全性的驗證技術研究
電話：010-62669087 控制網版權所有未經許可不得轉載
地址：北京市海淀區(qū)上地十街輝煌國際5號樓1416室(100085)
版權所有 控制網 京ICP備14036844-2號 
北京市公安局海淀分局備案號：11010802023656號
x
| 1.我有以下需求： | |
|
|
|
| 2.詳細的需求： | |
| * | |
| 姓名: | * |
| 單位: | |
| 電話: | * |
| 郵件: | * |
