一种软件执行异常检测防护方法、设备及介质技术

本发明专利技术公开了一种软件执行异常检测防护方法、设备及介质，软件程序运行过程划分为若干个串行执行的任务并按照任务执行顺序构建任务执行序列编码，软件程序运行过程中基于任务执行序列编码，对任务执行顺序进行传递式检测，以发现程序执行顺序异常。与传统的检测防护方法相比，提高了程序执行异常检测时效性，提升了系统安全性；而且实现方式简单，降低了系统设计复杂度。系统设计复杂度。系统设计复杂度。

【技术实现步骤摘要】
一种软件执行异常检测防护方法、设备及介质


[0001]本专利技术属于计算机
，具体涉及软件执行异常检测技术。

技术介绍

[0002]计算机软件在运行过程中，会按照软件指令序列顺序执行，当发生硬件随机故障，或者外部干扰时，会引起指示当前程序指令位置指针的随机跳转，使得程序运行偏离正常的指令路径，从而导致不可预计的运行结果，该故障现象俗称程序“跑飞”。在涉及安全的轨道交通行业应用中，程序“跑飞”会导致设备出现非预期的控制顺序，或异常控制数据的输出，从而导致发生严重的行车安全问题。
[0003]在轨道交通行业安全应用中，为了应对程序“跑飞”异常，通常采用“看门狗”检测和多重冗余系统并行相互校验等方法措施进行检测防护。“看门狗”通常设计为硬件检测电路，程序按照固定频率和“看门狗”电路之间通信，当“看门狗”超出时间阈值没有收到程序消息时，判定程序“跑飞”，“看门狗”电路此时采取硬件复位方式，强制程序重新开始运行；多重冗余系统并行相互校验的应对措施，采用多CPU程序任务同步运行的设计结构，实现程序任务级相互校验，当检测到对方CPU超出时间阈值本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.基于序列编码校验的软件执行异常检测方法，软件程序运行过程划分为若干个串行执行的任务并按照任务执行顺序构建任务执行序列编码，其特征在于：软件程序运行过程中基于任务执行序列编码，对任务执行顺序进行传递式检测，以发现程序执行顺序异常。2.根据权利要求1所述的基于序列编码校验的软件执行异常检测方法，其特征在于：任务执行序列的编码构建成任务序列编码表，任务序列编码表的长度和程序的任务数相同，任务序列编码表中的信息包括序号、序列码、校验码、期望码；其中序号用于表示任务顺序编号。3.根据权利要求2所述的基于序列编码校验的软件执行异常检测方法，其特征在于：校验码为32位随机编码，期望码采用编码函数f计算，第一个序列的序列码为32为随机编码，上一序列的期望码作为下一序列的序列码。4.根据权利要求2所述的基于序列编码校验的软件执行异常检测方法，其特征在于：所述任务序列编码表采用离线方式构建。5.根据权利要求2所述的基于序列编码校验的软件执行异常检测方法，其特征在于：将任务序列编码表以源代码方式注入源程序中，每个独立子任务的执行序号和编码表对应序号行相对应，设置本任务局部变量用以记录本任务的序列码，并在子任务的入口处，增加期望码计算代码，计算公式为编码函数f；在任务出口处将本任务期望码传递给下一任务的序列码变量，本任务...

【专利技术属性】
技术研发人员：王锁平，徐利民，
申请(专利权)人：浙江众合科技股份有限公司，
类型：发明
国别省市：