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.

    本发明公开了一种铁路车站计算机联锁系统的验证方法、装置及计算机设备,方法包括:建立铁路车站计算机联锁系统的设备模型;结合设备模型,对铁路车站计算机联锁系统的安全属性采用形式化语言进行描述,从而建立安全属性模型;根据联锁车站数据对设备模型和安全属性模型进行实例化;将实例化后的设备模型和安全属性模型导入形式化验证工具进行验证。本发明中的设备模型和安全属性模型对于不同的计算机联锁系统是通用的,因此对于不同类型的计算机联锁系统,可以通过翻译工具将数据转化为预先约定的形式,即可以在不修改系统模型和形式化验证工具的条件下,对系统进行形式化验证。


    Access

    Download


    Export, share and cite



    Title :

    Verification method and device of railway station computer interlocking system and computer equipment


    Additional title:

    铁路车站计算机联锁系统的验证方法、装置及计算机设备


    Contributors:
    LIU LIJUAN (author) / CHEN YAOHUA (author) / CHEN HONG (author) / ZHANG CHENG (author) / LI WEIJUAN (author) / WANG YANQIN (author) / ZHANG MINGYAO (author) / ZHU YINGCHUN (author)

    Publication date :

    2023-09-05


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Chinese


    Classification :

    IPC:    B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC



    Interlocking execution verification method and device, computer equipment and storage medium

    DING MAOTING / ZHANG YANG / HE ZHANYUAN et al. | European Patent Office | 2021

    Free access

    Operation method of computer interlocking system and computer equipment

    ZHANG XI / YANG XUEZE / LI XIAOMEI et al. | European Patent Office | 2023

    Free access

    Station computer interlocking test process data analysis method

    LI QIANG / SU CHEN / WU YONGCHENG et al. | European Patent Office | 2022

    Free access

    Towards safe and secure computer-based railway interlocking systems

    Martinez, Sebastien / Pereira, Dalay Israel de Almeida / Bon, Philippe et al. | TIBKAT | 2021


    INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM

    ARA NOBUYUKI / YAMANAKA MANABU / KIMURA TATSUYA | European Patent Office | 2018

    Free access