公开(公告)号：CN113031934B

公开(公告)日：2022-07-26

申请号：CN202110368555.1

申请日：2021-04-06

Applicant: 卡斯柯信号有限公司

Inventor： 魏民 ,  王燕芩 ,  张铭瑶 ,  王绍新 ,  杨帆 ,  刘晓 ,  张程 ,  张文燕

IPC: G06F8/30 ,  B61L19/06

Abstract: 一种用于形式化验证的联锁数据安全转换方法及翻译器，采用不同的编程方法和编程语言开发两个具有相同功能的翻译器，所述翻译器的输入文件至少包含：联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据，比较两个翻译器的输出文件的一致性来实现对过程失效的检测，从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发，降低了技术成本和设计风险，安全性高，兼容性好，通用性强，应用范围广。

公开(公告)号：CN113031934A

公开(公告)日：2021-06-25

申请号：CN202110368555.1

申请日：2021-04-06

Applicant: 卡斯柯信号有限公司

Inventor： 魏民 ,  王燕芩 ,  张铭瑶 ,  王绍新 ,  杨帆 ,  刘晓 ,  张程 ,  张文燕

IPC: G06F8/30 ,  B61L19/06

Abstract: 一种用于形式化验证的联锁数据安全转换方法及翻译器，采用不同的编程方法和编程语言开发两个具有相同功能的翻译器，所述翻译器的输入文件至少包含：联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据，比较两个翻译器的输出文件的一致性来实现对过程失效的检测，从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发，降低了技术成本和设计风险，安全性高，兼容性好，通用性强，应用范围广。

公开(公告)号：CN115858869A

公开(公告)日：2023-03-28

申请号：CN202211560675.2

申请日：2022-12-07

Applicant: 卡斯柯信号有限公司

Inventor： 王燕芩 ,  杨帆 ,  张铭瑶 ,  张程 ,  李卫娟 ,  王绍新 ,  魏民 ,  杨平

IPC: G06F16/901 ,  G06Q50/30

Abstract: 本发明公开一种车站站场图自动生成方法及系统，所述方法包括获取计算机联锁系统站场数据；对所述计算机联锁系统站场数据进行解析，以获取车站站场的设备信息和联锁进路表；将所述车站站场的每一设备定义为一节点，并根据所述设备信息获取对应所述节点的连接关系；根据所述联锁进路表和所述设备信息获取对应所述节点的位置数据；以及根据所述节点的连接关系和位置数据生成车站站场图。本发明可以自动生成具有统一格式且数据结构简单的车站站场图，提高车站站场图的生成速度，降低人工工作量并提高车站站场图的复用率。