The invention discloses a verification method and device of a railway station computer interlocking system and computer equipment. The method comprises the following steps: establishing an equipment model of the railway station computer interlocking system; in combination with the equipment model, describing the safety attribute of the railway station computer interlocking system by adopting a formalized language so as to establish a safety attribute model; instantiating the equipment model and the safety attribute model according to the interlocking station data; and importing the instantiated equipment model and security attribute model into a formalized verification tool for verification. The equipment model and the security attribute model are universal for different computer interlocking systems, so that for different types of computer interlocking systems, the data can be converted into a pre-agreed form through a translation tool, namely, under the condition that the system model and the formalized verification tool are not modified, the data can be converted into the pre-agreed form through the translation tool. And carrying out formalized verification on the system.
本发明公开了一种铁路车站计算机联锁系统的验证方法、装置及计算机设备,方法包括:建立铁路车站计算机联锁系统的设备模型;结合设备模型,对铁路车站计算机联锁系统的安全属性采用形式化语言进行描述,从而建立安全属性模型;根据联锁车站数据对设备模型和安全属性模型进行实例化;将实例化后的设备模型和安全属性模型导入形式化验证工具进行验证。本发明中的设备模型和安全属性模型对于不同的计算机联锁系统是通用的,因此对于不同类型的计算机联锁系统,可以通过翻译工具将数据转化为预先约定的形式,即可以在不修改系统模型和形式化验证工具的条件下,对系统进行形式化验证。
Verification method and device of railway station computer interlocking system and computer equipment
铁路车站计算机联锁系统的验证方法、装置及计算机设备
2023-09-05
Patent
Electronic Resource
Chinese
IPC: | B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC |
Interlocking execution verification method and device, computer equipment and storage medium
European Patent Office | 2021
|Operation method of computer interlocking system and computer equipment
European Patent Office | 2023
|Station computer interlocking test process data analysis method
European Patent Office | 2022
|Verification of Railway Interlocking - Compositional Approach with OCRA
British Library Conference Proceedings | 2016
|