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