-
公开(公告)号：CN113031934A
公开(公告)日：2021-06-25
申请号：CN202110368555.1
申请日：2021-04-06
Applicant: 卡斯柯信号有限公司
Abstract: 一种用于形式化验证的联锁数据安全转换方法及翻译器，采用不同的编程方法和编程语言开发两个具有相同功能的翻译器，所述翻译器的输入文件至少包含：联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据，比较两个翻译器的输出文件的一致性来实现对过程失效的检测，从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发，降低了技术成本和设计风险，安全性高，兼容性好，通用性强，应用范围广。
-
公开(公告)号：CN113031934B
公开(公告)日：2022-07-26
申请号：CN202110368555.1
申请日：2021-04-06
Applicant: 卡斯柯信号有限公司
Abstract: 一种用于形式化验证的联锁数据安全转换方法及翻译器，采用不同的编程方法和编程语言开发两个具有相同功能的翻译器，所述翻译器的输入文件至少包含：联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据，比较两个翻译器的输出文件的一致性来实现对过程失效的检测，从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发，降低了技术成本和设计风险，安全性高，兼容性好，通用性强，应用范围广。
-
公开(公告)号：CN113055092B
公开(公告)日：2022-07-12
申请号：CN202110285887.3
申请日：2021-03-17
Applicant: 卡斯柯信号有限公司
IPC: H04B10/25 , H04B10/2507
Abstract: 本发明公开了一种提高既有信号设备通信传输安全性的设备和方法，该方法包括：在各信号设备间处于正常通信期间，对消息传输的误码率进行实时监控，以获取可供运维人员在检查时使用的信号设备运行环境信息。本发明增设了误码率实时监控功能，提供了信号设备运行环境的信息，可供运维人员检查设备时使用。本发明无需对信号设备的系统软件进行修改，在硬件上仅将连接线改为塑料光纤，设备改造的成本低，实施和运维工作简单容易上手。由于光纤使用可见光传输，不受电磁干扰的影响，可降低传输过程的误码率，从而提高信号设备的可靠性。本发明可以提升信号设备的安全性，使其能够符合EN50159：2010对安全传输系统失效率的定量计算指标。
-
公开(公告)号：CN113055092A
公开(公告)日：2021-06-29
申请号：CN202110285887.3
申请日：2021-03-17
Applicant: 卡斯柯信号有限公司
IPC: H04B10/25 , H04B10/2507
Abstract: 本发明公开了一种提高既有信号设备通信传输安全性的设备和方法，该方法包括：在各信号设备间处于正常通信期间，对消息传输的误码率进行实时监控，以获取可供运维人员在检查时使用的信号设备运行环境信息。本发明增设了误码率实时监控功能，提供了信号设备运行环境的信息，可供运维人员检查设备时使用。本发明无需对信号设备的系统软件进行修改，在硬件上仅将连接线改为塑料光纤，设备改造的成本低，实施和运维工作简单容易上手。由于光纤使用可见光传输，不受电磁干扰的影响，可降低传输过程的误码率，从而提高信号设备的可靠性。本发明可以提升信号设备的安全性，使其能够符合EN50159：2010对安全传输系统失效率的定量计算指标。
-
-
-
Search Results
4
records
(took 0.029 seconds)
