[发明专利]一种多触发机制CPS在线建模与检验的方法和装置

权利要求书

1.一种多触发机制CPS在线建模与检验的方法，其特征在于，包括如下步骤：

S1：获取模型模板文件和配置文件；

S2：获取执行系统在线验证所需的参数；

S3：获取当前系统的实时信息；

S4：根据模型模板文件、配置文件、执行系统在线验证所需的参数以及当前系统的实时信息，执行系统在线验证；

S5：获取步骤S4系统在线验证的结果数据，并根据该结果数据对系统的安全性进行分析评估：假如系统安全的，则按时间周期D继续执行步骤S3和S4，否则执行应急计划；

其中，所述执行系统在线验证所需的参数至少包括指令变更提前时间A；所述步骤S3中当前系统的实时信息至少包括指令变更预告信息；所述时间周期D与所述指令变更提前时间A之间满足关系：A≥2D；所述执行系统在线验证所需的参数还包括执行系统在线验证所覆盖的行为的时间T和执行应急计划所需时间F；所述执行系统在线验证所覆盖的行为的时间T、所述执行应急计划所需时间F和所述指令变更提前时间A之间满足关系：T＞A+F。

2.如权利要求1所述的多触发机制CPS在线建模与检验的方法，其特征在于，所述步骤S1中获取模型模板文件包括：通过与操作人员编辑交互生成模型模板文件的步骤。

3.如权利要求1所述的多触发机制CPS在线建模与检验的方法，其特征在于，所述步骤S1中获取配置文件包括：通过与操作人员编辑交互生成配置文件的步骤。

4.一种多触发机制CPS在线建模与检验的装置，其特征在于，包括：初始化模块、参数设置模块、实时信息获取模块、在线验证模块、验证结果判断模块和应急计划执行模块；

所述初始化模块用于获取模型模板文件和配置文件；

所述参数设置模块用于获取执行系统在线验证所需的参数；

所述实时信息获取模块用于获取当前系统的实时信息；

所述在线验证模块用于根据模型模板文件、配置文件、执行系统在线验证所需的参数以及当前系统的实时信息，执行系统在线验证；

所述验证结果判断模块用于获取系统在线验证的结果数据，并根据该结果数据对系统的安全性进行分析评估：假如系统安全的，则按时间周期D继续调用实时信息获取模块和在线验证模块，否则调用应急计划执行模块；

所述应急计划执行模块用于执行应急计划；

其中，所述执行系统在线验证所需的参数至少包括指令变更提前时间A；所述实时信息获取模块包括用于接收指令变更预告信息的模块；所述时间周期D与所述指令变更提前时间A之间满足关系：A≥2D；所述执行系统在线验证所需的参数还包括执行系统在线验证所覆盖的行为的时间T和执行应急计划所需时间F；所述执行系统在线验证所覆盖的行为的时间T、所述执行应急计划所需时间F和所述指令变更提前时间A之间满足关系：T＞A+F。

5.如权利要求4所述的多触发机制CPS在线建模与检验的装置，其特征在于，所述初始化模块包括模板文件编辑模块；所述模板文件编辑模块用于通过与操作人员编辑交互生成模型模板文件。

6.如权利要求4所述的多触发机制CPS在线建模与检验的装置，其特征在于，所述初始化模块包括配置文件编辑模块：所述配置文件编辑模块通过与操作人员编辑交互生成配置文件。