[发明专利]车载ATP系统程序到安全编码的转换方法

权利要求书

1.车载ATP系统程序到安全编码的转换方法，其特征在于，该转换方法包括：

(1)针对连续速度变量处理步骤：

a.通过两路独立相异的速度检测装置获取当前时刻的速度值；

b.根据列车前一时刻的速度值及列车的加、减速特性获取当前速度的最大值和最小值；

c.比较当前速度值是否在速度的值域内，并把比较运算转换为确定的比较校核字；

d.求速度的均值，在计算过程中获取安全运算校核字；

e.比较校核字和安全运算校核字送入校验通道，参与系统的安全输出运算；

(2)程序循环体安全校验步骤：

a.程序出现的运算通道和保证循环安全执行的校验通道分别负担不同的功能；

b.运算通道执行程序的正常运算，校验通道提供运算通道执行结果正确与否的状态标示；

c.校验通道根据获取状态标示的校核字，通过多项式除法进行合成，通过调节预置常数使合成的校核字唯一；

(3)程序分支结构体安全校验步骤：

a.程序出现的运算通道和保证分支实现安全转移的校验通道分别负担不同的功能；

b.运算通道执行程序的正常转移，校验通道提供转移通道执行结果正确与否的状态标示；

c.校验通道采用均衡算法计算获取的校核字，校核字的生成方法包括：

c对不同类型的分支结构分为三类，对每一类程序的分支结构赋予唯一的分支结构安全校核字；

c2.汇聚节点的分支结构校核字的生成直接采用均衡算法或两通道相除后再采用均衡算法计算校核字的方法来实现安全转移；通过调整均衡算法的参数实现校核字的唯一；

c3.发散节点的分支结构直接采用均衡算法来计算校核字，不同分支生成的校核字不同；

c4.混合节点的分支结构采用汇聚节点和发散节点校核字的生成方法，通过调整均衡算法的参数或校核字的预置常数以使每条分支结构生成唯一的安全校核字；

c5.不同分支结构的安全校核字通过异或运算与多项式除法进行合成，实现对程序中不同分支结构转移时的安全监控；

根据计算的校核字判断程序分支是否转移的正确；

(4)状态安全跳转的实现步骤：

a.每种状态分配一个状态字，不同状态之间有对应的条件转移校核字；

b.状态字之间的转移由多项式除法和条件转移校核字来决定；

c.每个状态字通过与预置常数的运算生成唯一的一个状态跳转安全校核字。

2.根据权利要求1所述的车载ATP系统程序到安全编码的转换方法，其特征在于，所述的程序循环体安全校验的方法中校核字的生成方法为：在循环体的每个执行周期，提供一个确定的标志数据，该数据作为该循环体校核字的一个输入因子。

3.根据权利要求1所述的车载ATP系统程序到安全编码的转换方法，其特征在于，所述的系统程序中出现的每个循环体对应唯一的一个安全校核字，校核字间通过异或运算和多项式除法进行合成，实现对程序中不同循环体的安全监控。