-
-
公开(公告)号：CN115276922B
公开(公告)日：2023-10-31
申请号：CN202210836172.7
申请日：2022-07-15
申请人： 卡斯柯信号有限公司
IPC分类号： H04L1/22 , H04L41/0663 , H04L67/12 , B61L15/00
摘要： 本发明公开了一种适用于全电子系统的主备状态控制方法，包括：建立主备状态机模型；获取本系板卡和对系板卡的类型信息；互为冗余的两系板卡之间通过数据交换来获取对应板卡的初始主备状态；检测通讯状态，通讯状态包括主备通讯状态和主机通讯状态；两系板卡各自根据类型信息，通讯状态和初始主备状态执行主备状态机模型生成次级主备状态；两系板卡各自对对应的次级主备状态进行二取二交换，得到最终主备状态。本发明能够实现既要保证主设备故障的时候，备设备能及时升为主设备，避免系统运行的中断，也要保证系统不会由于硬件故障导致系统双主运行的情况，满足高可靠性的需求。
-
公开(公告)号：CN114356294B
公开(公告)日：2023-07-14
申请号：CN202111570950.4
申请日：2021-12-21
申请人： 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC分类号： G06F8/30
摘要： 本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
-
公开(公告)号：CN115276922A
公开(公告)日：2022-11-01
申请号：CN202210836172.7
申请日：2022-07-15
申请人： 卡斯柯信号有限公司
IPC分类号： H04L1/22 , H04L41/0663 , H04L67/12 , B61L15/00
摘要： 本发明公开了一种适用于全电子系统的主备状态控制方法，包括：建立主备状态机模型；获取本系板卡和对系板卡的类型信息；互为冗余的两系板卡之间通过数据交换来获取对应板卡的初始主备状态；检测通讯状态，通讯状态包括主备通讯状态和主机通讯状态；两系板卡各自根据类型信息，通讯状态和初始主备状态执行主备状态机模型生成次级主备状态；两系板卡各自对对应的次级主备状态进行二取二交换，得到最终主备状态。本发明能够实现既要保证主设备故障的时候，备设备能及时升为主设备，避免系统运行的中断，也要保证系统不会由于硬件故障导致系统双主运行的情况，满足高可靠性的需求。
-
公开(公告)号：CN114995244A
公开(公告)日：2022-09-02
申请号：CN202210671273.3
申请日：2022-06-14
申请人： 卡斯柯信号有限公司
IPC分类号： G05B19/042
摘要： 本发明涉及一种半自动闭塞系统及其方法，包含维护台，收集来自于安全通信及逻辑处理模块的维护和报警信息；安全通信及逻辑处理模块，与外部系统以及驱动采集模块通信连接，根据接受的外部系统的闭塞请求信号、列车行驶条件以及驱动采集模块采集的脉冲信号，控制驱动采集模块输出脉冲信号并控制外部系统完成闭塞状态转换；所述安全通信及逻辑处理模块以及所述驱动采集模块均采用了二乘二取二的架构。本发明采用了二取二架构的冗余设计，单个模块故障时不影响系统的运行，提高系统运行的可用性；取代了原有的继电电路，设备体积减小，施工难度降低；可将故障信息及监测维护消息传给维护台，提高了可维护性。
-
公开(公告)号：CN112572531A
公开(公告)日：2021-03-30
申请号：CN202011425686.0
申请日：2020-12-08
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种用于车车通信的全电子道岔安全控制系统及方法，该系统包括：通信模块，用于实现对外分别与资源管理器和维护系统通信，对内分别与道岔控制模块、继电器驱动模块和继电器采集模块通信；道岔控制模块，用于控制道岔转动和采集道岔表示；继电器驱动模块，用于根据资源管理器发来的道岔电源连通或切断命令，来驱动继电器导通或断开；继电器采集模块，用于采集继电器的导通或断开状态，并将其经过通信模块分别发给资源管理器和维护系统；继电器，用于连接继电器驱动模块、继电器采集模块和转辙机驱动回线。与现有技术相比，本发明具有大大节约了人力成本等优点。
-
公开(公告)号：CN111204364A
公开(公告)日：2020-05-29
申请号：CN202010043716.5
申请日：2020-01-15
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种基于列车实际定位的轨旁资源释放方法，该方法在释放资源运算时，充分利用了列车实际位置信息，直接判定列车与资源的关系；所述的方法具体包括以下步骤：1)获知列车当前所处位置；2)根据当前列车位置报告，与历史记录的列车位置报告，推断出列车已驶过所分配的资源，此时，资源可释放。与现有技术相比，本发明具有较高的容错性、进一步提高系统整体的可信性等优点。
-
公开(公告)号：CN111010258A
公开(公告)日：2020-04-14
申请号：CN201911339686.6
申请日：2019-12-23
申请人： 卡斯柯信号有限公司
摘要： 一种基于编码的计算机联锁系统通信方法，综合应用NISAL技术、VCP技术和CRC技术，实现了对通信消息的冗余编码和超时判断，保证了数据的完整性和时效性，以离线数据方式的补偿值辅助各个编码之间的转化，防止指令失效和匹配错误，采用纯编码方式实现对通信消息的安全防护，可适用单核和多核CPU，降低对操作系统要求，不需两种相异实时操作系统，也不需要单一认证实时操作系统，仅需一种实时操作系统，降低对编译系统要求，不需两种相异编译器，也不需要单一认证编译器，仅需一种通用编译器，具有可移植性。
-
公开(公告)号：CN105882692B
公开(公告)日：2019-01-08
申请号：CN201610211259.X
申请日：2016-04-06
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种用于铁路信号设备系统的中央控制装置，所述的铁路信号设备系统包括两两之间通过通信总线连接的中央控制室、中央信号设备室、车站信号设备室，所述的中央控制装置包括设在中央控制室内的中央工作站控制器和车站工作站，所述的中央工作站控制器通过进程通讯技术与车站工作站连接，所述的车站工作站通过通信总线连接所述的车站信号设备室；通过中央工作站控制器与车站工作站的交互数据，实现直接监视控制所有车站信号设备。与现有技术相比，本发明当自动列车监控系统的中心服务器和车站服务器均不可用或部分不可用的情况下，还能监视控制全线的车站信号设备等优点。
-
公开(公告)号：CN105678022B
公开(公告)日：2019-01-08
申请号：CN201610101266.4
申请日：2016-02-24
申请人： 卡斯柯信号有限公司
IPC分类号： G06F17/50
摘要： 本发明涉及一种面向方面的联锁系统安全需求形式化建模及验证方法，包括以下步骤：1)建立信号设备面向对象模型，包括进路类、信号机类、区段类、道岔类以及对应的子类；2)建立站场图信息提取模型，根据输入的站场图源文件以及对应的数据结构提取出相应的设备信息、进路信息和拓扑信息，并与已建立的面向对象模型建立映射；3)面向方面的安全需求形式化建模；4)建立形式化模型与通用应用的接口模型。与现有技术相比，本发明具有提高建模效率，使得安全需求更易维护等优点。
-
-
-
-
-
-
-
-
-
搜索结果
63 条记录 (耗时 0.04 秒)
