-
公开(公告)号：CN112612704A
公开(公告)日：2021-04-06
申请号：CN202011561125.3
申请日：2020-12-25
申请人： 卡斯柯信号有限公司
IPC分类号： G06F11/36
摘要： 本发明公开了一种联锁软件的自动测试方法，基于联锁软件的应用场景分析联锁软件所包含的所有联锁设备对象，并采用形式化语言建立与联锁设备对象一一对应的站场对象模型，根据所述站场对象模型中的对象变量设计联锁软件应用场景的通用测试用例脚本，并依据联锁软件的测试输入数据形成特定应用的测试用例，从而根据该测试用例自动测试联锁软件。本发明的测试用例的测试覆盖率高，通用性强、执行度高，适应于同一套联锁逻辑规则下的不同测试站的联锁软件的测试，提高了测试的效率和正确率。
-
-
公开(公告)号：CN115525929A
公开(公告)日：2022-12-27
申请号：CN202211139197.8
申请日：2022-09-19
申请人： 卡斯柯信号有限公司
IPC分类号： G06F21/64
摘要： 本发明公开了一种联锁数据安全性的形式化验证方法和系统，该方法包括：采用形式化建模语言建立联锁数据形式化验证通用模型；建立联锁数据形式化验证通用模型中设定的安全逻辑属性与联锁数据中的联锁设备、联锁逻辑参数和车站联锁功能之间的映射关系；根据映射关系对待验证联锁数据进行安全转化，得到联锁数据形式化验证通用模型需求的通用验证数据；从通用验证数据中选择验证对象，并选择验证算法通过形式化验证工具自动验证验证对象，以完成联锁数据安全性的形式化验证。本发明能够有效验证特定联锁数据对联锁系统需求实现的可满足性和安全性。
-
公开(公告)号：CN117724682A
公开(公告)日：2024-03-19
申请号：CN202311686595.6
申请日：2023-12-08
申请人： 卡斯柯信号有限公司
摘要： 本发明公开了一种联锁逻辑形式化开发方法、电子设备及存储介质，其基于形式化开发工具实现联锁设备的联锁功能，所述方法包括：在形式化开发工具中绘制拓扑图，并在所述拓扑图上赋予联锁设备属性；对所述联锁设备进行分类，建立对象属性描述模型；分析所述联锁设备的联锁功能需求，建立需求描述模型及需求验证模型；建立联锁功能测试模型；通过所述形式化开发工具，对所述联锁功能测试模型进行测试。本发明消除了传统自然语言、图形或表格的描述需求带来的需求模糊、存在歧义和需求矛盾的问题，需求实现完全符合需求描述及安全规约，确保了联锁逻辑的安全性，可随时修正需求描述问题，缩短了开发周期。
-
公开(公告)号：CN116691786A
公开(公告)日：2023-09-05
申请号：CN202310678096.6
申请日：2023-06-08
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/60
摘要： 本发明公开了一种铁路车站计算机联锁系统的验证方法、装置及计算机设备，方法包括：建立铁路车站计算机联锁系统的设备模型；结合设备模型，对铁路车站计算机联锁系统的安全属性采用形式化语言进行描述，从而建立安全属性模型；根据联锁车站数据对设备模型和安全属性模型进行实例化；将实例化后的设备模型和安全属性模型导入形式化验证工具进行验证。本发明中的设备模型和安全属性模型对于不同的计算机联锁系统是通用的，因此对于不同类型的计算机联锁系统，可以通过翻译工具将数据转化为预先约定的形式，即可以在不修改系统模型和形式化验证工具的条件下，对系统进行形式化验证。
-
公开(公告)号：CN116279665A
公开(公告)日：2023-06-23
申请号：CN202310255720.1
申请日：2023-03-16
申请人： 卡斯柯信号有限公司
IPC分类号： B61L19/06
摘要： 本申请公开了一种联锁操作机多类型进路控制方法，包括：获取选定的进路始端信号装置和进路类型并发送给进路管理模块，遍历进路表内的可匹配进路；检查可匹配进路的进路类型可办显示码位，若为真，则将可匹配进路添加至可办终端信号按钮列表；计算可办终端信号按钮列表中的可匹配进路总数，若大于零，则将可办终端信号按钮列表上传给人机交互模块；进路管理模块确定进路路径；根据进路路径信息下发动岔命令；根据进路类型查询进路办理控制码位并发送给联锁下位机。本申请的联锁操作机多类型进路控制方法，将多种进路类型集成在联锁操作机中，出现新的进路类型时，软件不需要进行适应性的修改，节省变更成本。
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.034 秒)
