提高核電儀控系統軟件安全性的驗證技術研究

<source id="nqvhe"></source><xmp id="nqvhe"></xmp>

<source id="nqvhe"></source>

關注中國自動化產業發展的先行者！

今日頭條

官方微信

官方抖音

工業安全工業無線運動控制與伺服系統人機界面機器視覺自動化軟件工廠信息化變頻器與軟啟動器儀器儀表嵌入式系統傳感器工業以太網現場總線 DCS/FCS/SCADA PLC /PAC/PCC/RTU 工控機電源 SCADA-RTU 電氣聯接低壓電器

新能源電力冶金化工機床包裝電梯物流倉儲紡織印刷航空航天電子制造汽車制藥/醫療智慧交通節能環保石油天然氣市政智能裝備

新能源電力冶金化工機床包裝電梯物流倉儲紡織印刷航空航天電子制造汽車制藥/醫療智慧交通節能環保石油天然氣市政智能裝備

提高核電儀控系統軟件安全性的驗證技術研究

由于軟件技術在核電站中的應用日益廣泛，其安全性顯得越發重要；而對提高軟件安全性的分析驗證技術和方法的研究將進一步促進核電儀控軟件的應用。本文將對核電站儀控系統軟件開發全生命周期中的若干提高軟件安全性的驗證技術與方法進行闡述，包括：可追蹤性分析、危險分析、安全性測試等。

關鍵詞：

請登錄以后訪問所有功能！
登錄注冊