【摘要】 本发明涉及车载ATP系统程序到安全编码的转换方法，该转换方法包括：针对连续速度变量处理步骤；程序循环体安全校验步骤；程序分支结构体安全校验步骤；状态安全跳转的实现步骤。与现有技术相比，本发明实现对车载ATP在运算过程中进行安全防护，从而使其危险侧故障发生的概率低于系统的设计要求，进而来保证系统的运行安全。 【专利类型】发明授权 【申请人】卡斯柯信号有限公司 【申请人类型】企业 【申请人地址】200070 上海市天目中路428号27楼 【申请人地区】中国 【申请人城市】上海市 【申请人区县】静安区 【申请号】CN200810200488.7 【申请日】2008-09-25 【申请年份】2008 【公开公告号】CN101377665B 【公开公告日】2010-07-14 【公开公告年份】2010 【授权公告号】CN101377665B 【授权公告日】2010-07-14 【授权公告年份】2010.0 【IPC分类号】G05B19/048 【发明人】左德参 【主权项内容】车载ATP系统程序到安全编码的转换方法，其特征在于，该转换方法包括：(1)针对连续速度变量处理步骤：a.通过两路独立相异的速度检测装置获取当前时刻的速度值；b.根据列车前一时刻的速度值及列车的加、减速特性获取当前速度的最大值和最小值；c.比较当前速度值是否在速度的值域内，并把比较运算转换为确定的比较校核字；d.求速度的均值，在计算过程中获取安全运算校核字；e.比较校核字和安全运算校核字送入校验通道，参与系统的安全输出运算；(2)程序循环体安全校验步骤：a.程序出现的运算通道和保证循环安全执行的校验通道分别负担不同的功能；b.运算通道执行程序的正常运算，校验通道提供运算通道执行结果正确与否的状态标示；c.校验通道根据获取状态标示的校核字，通过多项式除法进行合成，通过调节预置常数使合成的校核字唯一；(3)程序分支结构体安全校验步骤：a.程序出现的运算通道和保证分支实现安全转移的校验通道分别负担不同的功能；b.运算通道执行程序的正常转移，校验通道提供转移通道执行结果正确与否的状态标示；c.校验通道采用均衡算法计算获取的校核字，校核字的生成方法包括：c1.对不同类型的分支结构分为三类，对每一类程序的分支结构赋予唯一的分支结构安全校核字；c2.汇聚节点的分支结构校核字的生成直接采用均衡算法或两通道相除后再采用均衡算法计算校核字的方法来实现安全转移；通过调整均衡算法的参数实现校核字的唯一；c3.发散节点的分支结构直接采用均衡算法来计算校核字，不同分支生成的校核字不同；c4.混合节点的分支结构采用汇聚节点和发散节点校核字的生成方法，通过调整均衡算法的参数或校核字的预置常数以使每条分支结构生成唯一的安全校核字；c5.不同分支结构的安全校核字通过异或运算与多项式除法进行合成，实现对程序中不同分支结构转移时的安全监控；根据计算的校核字判断程序分支是否转移的正确；(4)状态安全跳转的实现步骤：a.每种状态分配一个状态字，不同状态之间有对应的条件转移校核字；b.状态字之间的转移由多项式除法和条件转移校核字来决定；c.每个状态字通过与预置常数的运算生成唯一的一个状态跳转安全校核字。。 【当前权利人】卡斯柯信号有限公司 【当前专利权人地址】上海市天目中路428号27楼 【专利权人类型】有限责任公司(中外合资) 【统一社会信用代码】91310000607207841P 【家族被引证次数】3
