CN112231687A - 一种可编程工业控制器的安全验证***及方法 - Google Patents
一种可编程工业控制器的安全验证***及方法 Download PDFInfo
- Publication number
- CN112231687A CN112231687A CN202011146443.3A CN202011146443A CN112231687A CN 112231687 A CN112231687 A CN 112231687A CN 202011146443 A CN202011146443 A CN 202011146443A CN 112231687 A CN112231687 A CN 112231687A
- Authority
- CN
- China
- Prior art keywords
- verification
- industrial
- safety
- programmable
- module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000012795 verification Methods 0.000 title claims abstract description 234
- 238000000034 method Methods 0.000 title claims description 20
- 238000004088 simulation Methods 0.000 claims abstract description 72
- 238000011084 recovery Methods 0.000 claims abstract description 48
- 238000011076 safety test Methods 0.000 claims abstract description 15
- 230000000694 effects Effects 0.000 claims description 14
- 238000012544 monitoring process Methods 0.000 claims description 9
- 238000011156 evaluation Methods 0.000 claims description 6
- 238000004891 communication Methods 0.000 claims description 3
- 238000010200 validation analysis Methods 0.000 claims 4
- 238000012360 testing method Methods 0.000 description 3
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000015654 memory Effects 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/30—Authentication, i.e. establishing the identity or authorisation of security principals
- G06F21/44—Program or device authentication
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G05B19/058—Safety, monitoring
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Security & Cryptography (AREA)
- Theoretical Computer Science (AREA)
- Automation & Control Theory (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Programmable Controllers (AREA)
Abstract
本发明属于可编程工业控制器的安全验证技术领域,具体地说,涉及一种可编程工业控制器的安全验证***,其包括:工业控制子***和安全验证子***;该工业控制子***,用于根据接收的镜像文件,对模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境;该安全验证子***,用于将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;该安全验证子***,还用于在安全验证结束后,对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***。
Description
技术领域
本发明属于可编程工业控制器的安全验证技术领域,具体地说,涉及一种可编程工业控制器的安全验证***及方法。
背景技术
可编程工业控制器,也称为可编程控制器(Programmable Logic Controller,简称PLC)。采用可以编制程序的存储器,用来在执行存储逻辑运算和顺序控制、定时、计数和算术运算等操作的指令,并通过数字或模拟的输入(I)和输出(O)接口,控制各种类型的机械设备或生产过程。
但是,由于产品自身的设计问题,可编程工业控制器存在着安全漏洞,可被利用的安全漏洞在逐年增多;因此,现有的方法中无法对可编程工业控制器的自身安全风险进行安全验证。
发明内容
为解决现有技术存在的上述缺陷,本发明提出了一种可编程工业控制器的安全验证***,该***能够对可编程工业控制器的安全风险进行测试和安全验证,及时发现可编程工业控制器的安全漏洞,对可编程工业控制器进行优化。
本发明提供了一种可编程工业控制器的安全验证***,所述安全验证***包括:工业控制子***和安全验证子***;
所述工业控制子***,用于根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境;
所述安全验证子***,用于将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;
所述安全验证子***,还用于在安全验证结束后,对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***。
作为上述技术方案的改进之一,所述***还包括:评估子***,用于根据验证结果,对待验证的可编程工业控制器进行安全风险评估。
作为上述技术方案的改进之一,所述工业控制子***包括:远程监控显示模块、可编程控制器模块、工业组态模块和执行模块;
所述远程监控显示模块,用于实时控制和显示基于工业组态模块、可编程工业控制器模块和执行模块构建的模拟验证环境;
所述工业组态模块,用于根据接收的镜像文件,配置适合待验证的可编程工业控制器的输入输出指令和工作状态;
所述可编程控制器模块,用于根据接收的镜像文件,配置适合待验证的可编程工业控制器;
所述执行模块,用于根据获取的适合待验证的可编程工业控制器,以及适合待验证的可编程工业控制器的输入输出指令和工作状态,输出适合待验证的可编程工业控制器所控制的输入输出指令和工作状态。
作为上述技术方案的改进之一,所述安全验证子***包括:安全接入模块、安全验证模块、验证效果显示模块和多实例镜像恢复模块;
所述安全接入模块,用于提供安全测试工具的接入通道,将安全证模块提供的安全验证工具接入当前的模拟验证环境,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输入至验证效果显示模块;还用于通过接入通道,将镜像文件发送至工业控制子***;
所述安全验证模块,用于提供安全验证工具;
所述验证效果显示模块,用于显示安全验证结果;
所述多实例镜像恢复模块,用于在完成安全验证之后,将生成的镜像文件通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
作为上述技术方案的改进之一,所述安全验证模块的具体实现过程如下:
通过待验证的可编程工业控制器上的通信接口,将安全验证工具放入对应的模拟验证环境中,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输出至安全接入模块。
作为上述技术方案的改进之一,所述多实例镜像恢复模块的具体实现过程如下:
根据实例镜像恢复模块提供的可编程工业控制器控制数据库和组态***配置数据库,对工业控制子***构建的模拟验证环境进行镜像恢复,提供不同的恢复所需要的工业组态和可编程工业控制器的参数,调整恢复前的模拟验证环境中的工业组态和可编程工业控制器的参数,加载不同配置的可编程工业控制器的逻辑指令和工业组态的***配置,获得镜像文件,并将其通过安全接入模块反馈至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
本发明还提供了一种可编程工业控制器的安全验证方法,该方法包括:
安全验证子***将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;
在安全验证结束后,安全验证子***对当前的模拟验证环境进行镜像恢复,并将镜像文件反馈至工业控制子***;
工业控制子***根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境。
作为上述技术方案的改进之一,所述安全验证子***将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;具体为:
安全接入模块提供安全测试工具的接入通道,将安全证模块提供的安全验证工具接入当前的模拟验证环境,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输入至验证效果显示模块,通过验证显示模块进行输出和显示。
作为上述技术方案的改进之一,所述在安全验证结束后,安全验证子***对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***;具体为:
在完成安全验证之后,根据实例镜像恢复模块提供的可编程工业控制器控制数据库和组态***配置数据库,对工业控制子***构建的模拟验证环境进行镜像恢复,提供不同的恢复所需要的工业组态和可编程工业控制器的参数,调整恢复前的模拟验证环境中的工业组态和可编程工业控制器的参数,加载不同配置的可编程工业控制器的逻辑指令和工业组态的***配置,获得镜像文件,并将其通过安全接入模块反馈至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
作为上述技术方案的改进之一,所述工业控制子***根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境:具体为:
工业组态模块根据接收的镜像文件,配置适合当前模拟验证环境的、待验证的可编程工业控制器的输入输出指令和工作状态;
可编程控制器模块根据接收的镜像文件,配置待验证的可编程工业控制器;
执行模块根据获取的待验证的可编程工业控制器,以及适合待验证的可编程工业控制器的输入输出指令和工作状态,输出适合待验证的可编程工业控制器所控制的输入输出指令和工作状态;
基于工业组态模块、可编程工业控制器模块和执行模块构建模拟验证环境;
远程监控显示模块实时控制和显示所构建的模拟验证环境。
本发明与现有技术相比的有益效果是:
本发明的***为可编程工业控制器的安全验证提供真实的验证环境,并提供可管理的接入和恢复***,能够对安全验证的结果进行显示和评估。另外,通过本发明的***能够快速实现对于可编程工业控制器的安全漏洞进行安全验证,提供可视化的验证效果和安全的测试接入环境,利用多实例镜像恢复模块能够实现对***的快速恢复,能够大幅提高验证效率。
附图说明
图1是本发明的一种可编程工业控制器的安全验证***的结构示意图。
具体实施方式
现结合附图对本发明作进一步的描述。
如图1所示,本发明提供了一种可编程工业控制器的安全验证***,该***实现对可编程工业控制器的安全漏洞利用有效性的快速验证,验证安全漏洞的安全风险。利用支持多实例镜像恢复***,实现安全验证***的快速恢复,不仅能够提高安全测试效果真实性,还能够有效保护验证环境的运行安全。
所述安全验证***包括:工业控制子***和安全验证子***;
所述工业控制子***,用于根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境;
所述安全验证子***,用于将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;
所述安全验证子***,还用于在安全验证结束后,对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***。
其中,所述工业控制子***包括:远程监控显示模块、可编程控制器模块、工业组态模块和执行模块;
所述远程监控显示模块,用于实时控制和显示基于工业组态模块、可编程工业控制器模块和执行模块构建的模拟验证环境;
所述工业组态模块,用于根据接收的镜像文件,配置适合待验证的可编程工业控制器的输入输出指令和工作状态;
所述可编程控制器模块,用于根据接收的镜像文件,配置适合待验证的可编程工业控制器;
所述执行模块,用于根据获取的适合待验证的可编程工业控制器,以及适合待验证的可编程工业控制器的输入输出指令和工作状态,输出适合待验证的可编程工业控制器所控制的输入输出指令和工作状态。
其中,所述安全验证子***包括:安全接入模块、安全验证模块、验证效果显示模块和多实例镜像恢复模块;
所述安全接入模块,用于提供安全测试工具的接入通道,将安全证模块提供的安全验证工具接入当前的模拟验证环境,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输入至验证效果显示模块;还用于通过接入通道,将镜像文件发送至工业控制子***;
所述安全验证模块,用于提供安全验证工具;
所述验证效果显示模块,用于显示安全验证结果;
所述多实例镜像恢复模块,用于在完成安全验证之后,将生成的镜像文件通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
作为上述技术方案的改进之一,所述安全验证模块的具体实现过程如下:
通过待验证的可编程工业控制器上的通信接口,将安全验证工具放入对应的模拟验证环境中,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输出至安全接入模块。
具体地,根据实例镜像恢复模块提供的可编程工业控制器控制数据库和组态***配置数据库,对工业控制子***构建的模拟验证环境进行镜像恢复,提供不同的恢复所需要的工业组态和可编程工业控制器的参数,调整恢复前的模拟验证环境中的工业组态和可编程工业控制器的参数,加载不同配置的可编程工业控制器的逻辑指令和工业组态的***配置,获得镜像文件,并将其通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复,实现对工业控制子***提供的模拟验证环境进行快速恢复,以适应针对不同的待验证的可编程工业控制器进行安全验证,实现了在可编程工业控制器自身上就能根据不同的验证环境,对其进行多次安全验证。
本发明还提供了一种可编程工业控制器的安全验证方法,该方法包括:
安全验证子***将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;
具体地,安全接入模块提供安全测试工具的接入通道,将安全证模块提供的安全验证工具接入当前的模拟验证环境,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输入至验证效果显示模块,通过验证显示模块进行输出和显示。
在安全验证结束后,安全验证子***对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***;
具体地,在完成安全验证之后,根据实例镜像恢复模块提供的可编程工业控制器控制数据库和组态***配置数据库,对工业控制子***构建的模拟验证环境进行镜像恢复,提供不同的恢复所需要的工业组态和可编程工业控制器的参数,调整恢复前的模拟验证环境中的工业组态和可编程工业控制器的参数,加载不同配置的可编程工业控制器的逻辑指令和工业组态的***配置,获得镜像文件,并将其通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复,实现对工业控制子***构建的模拟验证环境进行快速恢复,以适应针对不同的待验证的可编程工业控制器进行安全验证,实现了在可编程工业控制器自身上就能根据不同的验证环境,对其进行多次安全验证。
工业控制子***根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境。
具体地,工业组态模块根据接收的镜像文件,配置适合当前模拟验证环境的、待验证的可编程工业控制器的输入输出指令和工作状态;
可编程控制器模块根据接收的镜像文件,配置待验证的可编程工业控制器;
执行模块根据获取的待验证的可编程工业控制器,以及适合待验证的可编程工业控制器的输入输出指令和工作状态,输出适合待验证的可编程工业控制器所控制的输入输出指令和工作状态;
基于工业组态模块、可编程工业控制器模块和执行模块构建模拟验证环境;
远程监控显示模块实时控制和显示所构建的模拟验证环境。
所述方法还包括:利用评估子***,根据验证结果,对待验证的可编程工业控制器进行安全风险评估。
最后所应说明的是,以上实施例仅用以说明本发明的技术方案而非限制。尽管参照实施例对本发明进行了详细说明,本领域的普通技术人员应当理解,对本发明的技术方案进行修改或者等同替换,都不脱离本发明技术方案的精神和范围,其均应涵盖在本发明的权利要求范围当中。
Claims (10)
1.一种可编程工业控制器的安全验证***,其特征在于,所述安全验证***包括:工业控制子***和安全验证子***;
所述工业控制子***,用于根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境;
所述安全验证子***,用于将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;
所述安全验证子***,还用于在安全验证结束后,对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***。
2.根据权利要求1所述的可编程工业控制器的安全验证***,其特征在于,所述***还包括:评估子***,用于根据验证结果,对待验证的可编程工业控制器进行安全风险评估。
3.根据权利要求1所述的可编程工业控制器的安全验证***,其特征在于,所述工业控制子***包括:远程监控显示模块、可编程控制器模块、工业组态模块和执行模块;
所述远程监控显示模块,用于实时控制和显示基于工业组态模块、可编程工业控制器模块和执行模块构建的模拟验证环境;
所述工业组态模块,用于根据接收的镜像文件,配置适合待验证的可编程工业控制器的输入输出指令和工作状态;
所述可编程控制器模块,用于根据接收的镜像文件,配置适合待验证的可编程工业控制器;
所述执行模块,用于根据获取的适合待验证的可编程工业控制器,以及适合待验证的可编程工业控制器的输入输出指令和工作状态,输出适合待验证的可编程工业控制器所控制的输入输出指令和工作状态。
4.根据权利要求1所述的可编程工业控制器的安全验证***,其特征在于,所述安全验证子***包括:安全接入模块、安全验证模块、验证效果显示模块和多实例镜像恢复模块;
所述安全接入模块,用于提供安全测试工具的接入通道,将安全证模块提供的安全验证工具接入当前的模拟验证环境,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输入至验证效果显示模块;还用于通过接入通道,将镜像文件发送至工业控制子***;
所述安全验证模块,用于提供安全验证工具;
所述验证效果显示模块,用于显示安全验证结果;
所述多实例镜像恢复模块,用于在完成安全验证之后,将生成的镜像文件通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
5.根据权利要求4所述的可编程工业控制器的安全验证***,其特征在于,所述安全验证模块的具体实现过程如下:
通过待验证的可编程工业控制器上的通信接口,将安全验证工具放入对应的模拟验证环境中,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输出至安全接入模块。
6.根据权利要求4所述的可编程工业控制器的安全验证***,其特征在于,所述多实例镜像恢复模块的具体实现过程如下:
根据实例镜像恢复模块提供的可编程工业控制器控制数据库和组态***配置数据库,对工业控制子***构建的模拟验证环境进行镜像恢复,提供不同的恢复所需要的工业组态和可编程工业控制器的参数,调整恢复前的模拟验证环境中的工业组态和可编程工业控制器的参数,加载不同配置的可编程工业控制器的逻辑指令和工业组态的***配置,获得镜像文件,并将其通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
7.一种可编程工业控制器的安全验证方法,其特征在于,该方法是基于上述权利要求1-6中任一所述的可编程工业控制器的安全验证***来实现,该方法包括:
安全验证子***将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;
在安全验证结束后,安全验证子***对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***;
工业控制子***根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境。
8.根据权利要求7所述的可编程工业控制器的安全验证方法,其特征在于,所述安全验证子***将提供的安全测试工具接入不同的模拟验证环境中,对不同的待验证的可编程工业控制器进行安全验证,并将对应的验证结果进行输出和显示;具体为:
安全接入模块提供安全测试工具的接入通道,将安全证模块提供的安全验证工具接入当前的模拟验证环境,对待验证的可编程工业控制器进行安全验证,并将安全验证结果输入至验证效果显示模块,通过验证显示模块进行输出和显示。
9.根据权利要求7所述的可编程工业控制器的安全验证方法,其特征在于,所述在安全验证结束后,安全验证子***对当前的模拟验证环境进行镜像恢复,并将镜像文件发送至工业控制子***;具体为:
在完成安全验证之后,根据实例镜像恢复模块提供的可编程工业控制器控制数据库和组态***配置数据库,对工业控制子***构建的模拟验证环境进行镜像恢复,提供不同的恢复所需要的工业组态和可编程工业控制器的参数,调整恢复前的模拟验证环境中的工业组态和可编程工业控制器的参数,加载不同配置的可编程工业控制器的逻辑指令和工业组态的***配置,获得镜像文件,并将其通过安全接入模块发送至工业控制子***,对工业控制子***提供的模拟验证环境进行恢复。
10.根据权利要求7所述的可编程工业控制器的安全验证方法,其特征在于,所述工业控制子***根据接收的镜像文件,对不同的模拟验证环境所需要的工业组态和可编程工业控制器进行配置,构建不同的模拟验证环境:具体为:
工业组态模块根据接收的镜像文件,配置适合当前模拟验证环境的、待验证的可编程工业控制器的输入输出指令和工作状态;
可编程控制器模块根据接收的镜像文件,配置待验证的可编程工业控制器;
执行模块根据获取的待验证的可编程工业控制器,以及适合待验证的可编程工业控制器的输入输出指令和工作状态,输出适合待验证的可编程工业控制器所控制的输入输出指令和工作状态;
基于工业组态模块、可编程工业控制器模块和执行模块构建模拟验证环境;
远程监控显示模块实时控制和显示所构建的模拟验证环境。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011146443.3A CN112231687A (zh) | 2020-10-23 | 2020-10-23 | 一种可编程工业控制器的安全验证***及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011146443.3A CN112231687A (zh) | 2020-10-23 | 2020-10-23 | 一种可编程工业控制器的安全验证***及方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN112231687A true CN112231687A (zh) | 2021-01-15 |
Family
ID=74109297
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202011146443.3A Pending CN112231687A (zh) | 2020-10-23 | 2020-10-23 | 一种可编程工业控制器的安全验证***及方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112231687A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114647233A (zh) * | 2022-05-18 | 2022-06-21 | 浙江国利网安科技有限公司 | Plc运行组态监测方法、装置、存储介质及电子设备 |
Citations (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6442441B1 (en) * | 1999-05-17 | 2002-08-27 | Ford Global Technologies, Inc. | Method of automatically generating and verifying programmable logic controller code |
EP2924520A1 (de) * | 2014-03-25 | 2015-09-30 | Siemens Aktiengesellschaft | Verfahren zur Simulation einer automatisierten industriellen Anlage |
CN106709613A (zh) * | 2015-07-16 | 2017-05-24 | 中国科学院信息工程研究所 | 一种适用于工业控制***的风险评估方法 |
CN108255711A (zh) * | 2017-12-29 | 2018-07-06 | 湖南优利泰克自动化***有限公司 | 一种基于污点分析的plc固件模糊测试***及测试方法 |
CN109582525A (zh) * | 2018-10-19 | 2019-04-05 | 京信通信***(中国)有限公司 | 测试代码验证方法、验证装置、设备和存储介质 |
CN109643092A (zh) * | 2016-08-24 | 2019-04-16 | 西门子股份公司 | 用于威胁影响确定的***和方法 |
CN110083074A (zh) * | 2019-04-23 | 2019-08-02 | 珠海汉迪自动化设备有限公司 | 虚拟实体调试方法、实体调试装置及计算机可读存储介质 |
CN110678864A (zh) * | 2017-05-24 | 2020-01-10 | 西门子股份公司 | 危害和取证数据的plc指标的收集 |
CN111103811A (zh) * | 2020-01-20 | 2020-05-05 | 清华大学 | 一种控制***半实物仿真平台 |
-
2020
- 2020-10-23 CN CN202011146443.3A patent/CN112231687A/zh active Pending
Patent Citations (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6442441B1 (en) * | 1999-05-17 | 2002-08-27 | Ford Global Technologies, Inc. | Method of automatically generating and verifying programmable logic controller code |
EP2924520A1 (de) * | 2014-03-25 | 2015-09-30 | Siemens Aktiengesellschaft | Verfahren zur Simulation einer automatisierten industriellen Anlage |
CN106709613A (zh) * | 2015-07-16 | 2017-05-24 | 中国科学院信息工程研究所 | 一种适用于工业控制***的风险评估方法 |
CN109643092A (zh) * | 2016-08-24 | 2019-04-16 | 西门子股份公司 | 用于威胁影响确定的***和方法 |
CN110678864A (zh) * | 2017-05-24 | 2020-01-10 | 西门子股份公司 | 危害和取证数据的plc指标的收集 |
CN108255711A (zh) * | 2017-12-29 | 2018-07-06 | 湖南优利泰克自动化***有限公司 | 一种基于污点分析的plc固件模糊测试***及测试方法 |
CN109582525A (zh) * | 2018-10-19 | 2019-04-05 | 京信通信***(中国)有限公司 | 测试代码验证方法、验证装置、设备和存储介质 |
CN110083074A (zh) * | 2019-04-23 | 2019-08-02 | 珠海汉迪自动化设备有限公司 | 虚拟实体调试方法、实体调试装置及计算机可读存储介质 |
CN111103811A (zh) * | 2020-01-20 | 2020-05-05 | 清华大学 | 一种控制***半实物仿真平台 |
Non-Patent Citations (2)
Title |
---|
李威;汤尧平;李钰靓;杜旋;: "基于模拟***和脆弱性测试的风险评估在工控***中的应用", 信息安全与技术, no. 11 * |
王月芹;: "基于组态的PLC实验仿真***的开发", 广西轻工业, no. 08 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114647233A (zh) * | 2022-05-18 | 2022-06-21 | 浙江国利网安科技有限公司 | Plc运行组态监测方法、装置、存储介质及电子设备 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10374894B2 (en) | Uninterruptable verification and control upgrade for real-time control system | |
US10521550B2 (en) | Planning and engineering method, software tool and simulation tool for an automation solution | |
KR101132358B1 (ko) | 다중 피엘씨 시뮬레이션 시스템 | |
CN111673251B (zh) | 一种机器人点焊焊接参数和焊接质量虚拟调试方法及装置 | |
CN103825737B (zh) | 用于工业控制***在线升级的安全装置、***及方法 | |
CN117336326B (zh) | 工业物联网的数据采集分析方法、装置、设备及存储介质 | |
WO2014173173A1 (zh) | 智能电网安全督查自动化*** | |
CN103838899A (zh) | 针对硬核mcu的中断控制器的仿真验证***及方法 | |
CN112231687A (zh) | 一种可编程工业控制器的安全验证***及方法 | |
CN103455024B (zh) | Ecu测试***及方法 | |
CN103324541A (zh) | 软件之间数据自动传输的方法 | |
CN103605068A (zh) | 键盘多功能自动化测试的***及方法 | |
CN105334756B (zh) | 一种敏捷卫星任务解译闭环仿真验证***及方法 | |
CN113220518B (zh) | 芯片验证***、芯片验证方法 | |
JP5589901B2 (ja) | ソフトウェア検証支援装置、ソフトウェア検証支援方法及びソフトウェア検証支援プログラム | |
CN113239366A (zh) | 一种电力工控设备的漏洞无损检测方法及*** | |
CN116132186B (zh) | 一种安全算法模块的验证方法、装置、电子设备以及存储介质 | |
CN112231062A (zh) | 一种用于可编程工业控制器的安全测试***及方法 | |
CN113434851A (zh) | 一种基于数据采集的密匙管理方法及*** | |
CN103645672B (zh) | 一种plc固件完整性验证装置及验证方法 | |
CN111143227A (zh) | 一种数据操作方法、装置、终端及存储介质 | |
Asenjo et al. | Control and data acquisition system for SCR-1 Stellarator | |
Fowler et al. | Automating fuzz test generation to improve the security of the controller area network | |
CN110909315B (zh) | 一种基于Matlab的汽车防盗功能的校验模型的加密方法和装置 | |
CN117992026A (zh) | 一种基于Lua脚本的仪器测试方法、***、设备及介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination |