一種模型驅(qū)動的工業(yè)控制系統(tǒng)安全防護方法

基本信息

申請?zhí)?/td> CN202210131933.9 申請日 -
公開（公告）號 CN114489025A 公開（公告）日 2022-05-13
申請公布號 CN114489025A 申請公布日 2022-05-13
分類號 G05B23/02（2006.01）I 分類 控制；調(diào)節(jié);
發(fā)明人 黃佳;還約輝;王宏武;楊根科 申請（專利權）人 上海交通大學寧波人工智能研究院
代理機構 上海劍秋知識產(chǎn)權代理有限公司 代理人 -
地址 315012浙江省寧波市南門街道南站西路29號
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種模型驅(qū)動的工業(yè)控制系統(tǒng)安全防護方法，涉及工業(yè)控制系統(tǒng)安全技術領域，包括S100、系統(tǒng)抽象；S200、環(huán)境假設；S300、安全特性抽象；S400、形式化模型構建；S500、形式化規(guī)約構建，S600、受到攻擊的形式化模型構建；S700、攻擊序列生成；S800、安全彈性監(jiān)控器設計和部署。本發(fā)明對物理過程進行形式化建模，基于模型對異常狀態(tài)進行檢測，設計的安全彈性監(jiān)控器從邏輯層面對工控系統(tǒng)進行防護，阻止了攻擊或者減輕攻擊對工控系統(tǒng)的影響，降低了計算復雜度，提升了工控系統(tǒng)的實時性，易于部署，顯著提升了工控系統(tǒng)的安全性。