一种车载atp系统程序到安全编码的转换装置的制作方法

文档序号:6475218阅读:218来源:国知局
专利名称:一种车载atp系统程序到安全编码的转换装置的制作方法
技术领域
本实用新型涉及铁路运输系统及航空、核电等其它高安全处理需要的领域,尤 其涉及一种车载ATP系统程序到安全编码的转换装置。
背景技术
针对铁路行业的特点,对于一个系统安全产品,根据RAMS (可靠性、可用 性、可维护性、安全性)要求,系统的安全完善度等级必须达到SIL4级,如车载 ATP、联锁等安全相关产品的设计;由于普通程序的设计、编译环境并不保证系统 的安全性,在程序执行的过程中,存在发生危险侧故障的可能,因此在安全系统的 程序设计时要对传统的程序设计模式进行改造,使之在出现故障的情况下导向安全 侧,满足系统的安全性要求。
发明内容
本实用新型的目的就是为了克服上述现有技术存在的缺陷,提供一种安全性更 高的车载ATP系统程序到安全编码的转换装置。
本实用新型的目的可以通过以下技术方案来实现 一种车载ATP系统程序到 安全编码的转换装置,其特征在于,该装置包括连续速度变量处理模块、安全校验 模块、状态安全跳转模块,所述的速度变量处理模块与安全校验模块连接,所述的 安全校验模块与状态安全跳转模块连接。
所述的安全校验模块包括循环体安全校验模块、分支结构体安全校验模块,所 述的速度变量处理模块分别与循环体安全校验模块、分支结构体安全校验模块连 接。
与现有技术相比,本实用新型实现对车载ATP在运算过程中进行安全防护, 从而使其危险侧故障发生的概率低于系统的设计要求,进而来保证系统的运行安全。

图1是本实用新型一种车载ATP系统程序到安全编码的转换装置的结构示意图。
具体实施方式
以下结合具体实施例对本实用新型做进一步说明。
如图1所示, 一种车载ATP系统程序到安全编码的转换装置,该装置包括连 续速度变量处理模块、安全校验模块、状态安全跳转模块,所述的速度变量处理模 块与安全校验模块连接,所述的安全校验模块与状态安全跳转模块连接。所述的安 全校验模块包括循环体安全校验模块、分支结构体安全校验模块,所述的速度变量 处理模块分别与循环体安全校验模块、分支结构体安全校验模块连接。所述的循环
体安全校验模块、分支结构体安全校验模块分别与状态安全跳转模块连接。
权利要求1.一种车载ATP系统程序到安全编码的转换装置,其特征在于,该装置包括连续速度变量处理模块、安全校验模块、状态安全跳转模块,所述的速度变量处理模块与安全校验模块连接,所述的安全校验模块与状态安全跳转模块连接。
2. 根据权利要求1所述的一种车载ATP系统程序到安全编码的转换装置,其 特征在于,所述的安全校验模块包括循环体安全校验模块、分支结构体安全校验模 块,所述的速度变量处理模块分别与循环体安全校验模块、分支结构体安全校验模 块连接。
专利摘要本实用新型涉及一种车载ATP系统程序到安全编码的转换装置,该装置包括连续速度变量处理模块、安全校验模块、状态安全跳转模块,所述的速度变量处理模块与安全校验模块连接,所述的安全校验模块与状态安全跳转模块连接。与现有技术相比,本实用新型实现对车载ATP在运算过程中进行安全防护,从而使其危险侧故障发生的概率低于系统的设计要求,进而来保证系统的运行安全。
文档编号G06F21/00GK201331759SQ20082015814
公开日2009年10月21日 申请日期2008年12月29日 优先权日2008年12月29日
发明者左德参 申请人:卡斯柯信号有限公司
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1