公开(公告)号：CN104866317B

公开(公告)日：2018-02-16

申请号：CN201510298635.9

申请日：2015-06-03

Applicant: 南京大学

Inventor： 卜磊 ,  刘润 ,  王林章 ,  李宣东

IPC: G06F9/44

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

公开(公告)号：CN104866317A

公开(公告)日：2015-08-26

申请号：CN201510298635.9

申请日：2015-06-03

Applicant: 南京大学

Inventor： 卜磊 ,  刘润 ,  王林章 ,  李宣东

IPC: G06F9/44

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