| 发明名称 | 车载ATP系统程序到安全编码的转换方法 | ||
| 摘要 | 本发明涉及车载ATP系统程序到安全编码的转换方法，该转换方法包括：针对连续速度变量处理步骤；程序循环体安全校验步骤；程序分支结构体安全校验步骤；状态安全跳转的实现步骤。与现有技术相比，本发明实现对车载ATP在运算过程中进行安全防护，从而使其危险侧故障发生的概率低于系统的设计要求，进而来保证系统的运行安全。 | ||
| 申请公布号 | CN101377665A | 申请公布日期 | 2009.03.04 |
| 申请号 | CN200810200488.7 | 申请日期 | 2008.09.25 |
| 申请人 | 卡斯柯信号有限公司 | 发明人 | 左德参 |
| 分类号 | G05B19/048(2006.01) | 主分类号 | G05B19/048(2006.01) |
| 代理机构 | 上海科盛知识产权代理有限公司 | 代理人 | 赵志远 |
| 主权项 | 1.车载ATP系统程序到安全编码的转换方法，其特征在于，该转换方法包括：(1)针对连续速度变量处理步骤；(2)程序循环体安全校验步骤；(3)程序分支结构体安全校验步骤；(4)状态安全跳转的实现步骤。 | ||
| 地址 | 200070上海市天目中路428号27楼 | ||