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

摘要

本发明公开了一种多触发机制CPS在线建模与检验的方法和装置。本发明通过指令变更指令执行时，总是在执行前指令变更提前时间A时间内发出指令变更预告信息，然后在执行在线验证时按时间周期D执行系统在线验证。指令变更提前时间A和时间周期D之间满足条件A≥2D。在这种本发明的设计方案下，指令变更发生后总能经过对指令变更的情形进行在线验证，从而避免由于指令变更引发的“空窗期”，保证系统运行的安全。

主权项

一种多触发机制CPS在线建模与检验的方法，其特征在于，包括如下步骤：S1：获取模型模板文件和配置文件；S2：获取执行系统在线验证所需的参数；S3：获取当前系统的实时信息；S4：根据模型模板文件、配置文件、执行系统在线验证所需的参数以及当前系统的实时信息，执行系统在线验证；S5：获取步骤S4系统在线验证的结果数据，并根据该结果数据对系统的安全性进行分析评估：假如系统安全的，则按时间周期D继续执行步骤S3和S4，否则执行应急计划；其中，所述执行系统在线验证所需的参数至少包括指令变更提前时间A；所述步骤S3中当前系统的实时信息至少包括指令变更预告信息；所述时间周期D与所述指令变更提前时间A之间满足关系：A≥2D；所述执行系统在线验证所需的参数还包括执行系统在线验证所覆盖的行为的时间T和执行应急计划所需时间F；所述执行系统在线验证所覆盖的行为的时间T、所述执行应急计划所需时间F和所述指令变更提前时间A之间满足关系：T＞A+F。