A computer-implemented method of checking the design of a railway signalling scheme is described. A track plan is rendered as an attributed graph, with a set of rules and axioms in first order logic defining the behaviour of the graph, along with annotations on the graph, used to determine whether or not the geographical position of an individual railway asset on the track plan is correct. Each rule corresponds to the correct geographical position of an individual railway asset. For each individual railway asset, a bounded search of the annotated graph using a pre-determined set of bounds to check whether a rule corresponding to the correct geographical position of the individual railway asset holds true. The pre-determined set of bounds contains a variable bound k that is incrementally increased until the result of the rule check is known.


    Access

    Download


    Export, share and cite



    Title :

    Railway signalling design checker


    Publication date :

    2022-11-09


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English



    Railway signalling design checker

    ANDREW LAWRENCE | European Patent Office | 2024

    Free access

    RAILWAY SIGNALLING DESIGN CHECKER

    LAWRENCE ANDREW | European Patent Office | 2024

    Free access

    Model checker for railway signalling communication protocol

    Hwang, J.-G. / Jo, H.-J. / Lee, J. H. | British Library Conference Proceedings | 2006


    Track circuit insulation checker for railway

    JANG BOK GYU / PARK MYEON GUY / KANG BONG WAN et al. | European Patent Office | 2021

    Free access

    Track circuit insulation checker for railway

    European Patent Office | 2021

    Free access