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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    RAILWAY SIGNALLING DESIGN CHECKER


    Weitere Titelangaben:

    ENTWURFSPRÜFER FÜR EISENBAHNSIGNALISIERUNG
    DISPOSITIF DE VÉRIFICATION DE CONCEPTION DE SIGNALISATION FERROVIAIRE


    Beteiligte:

    Erscheinungsdatum :

    2024-03-27


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC



    Railway signalling design checker

    ANDREW LAWRENCE | Europäisches Patentamt | 2024

    Freier Zugriff

    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. | Europäisches Patentamt | 2021

    Freier Zugriff

    Track circuit insulation checker for railway

    Europäisches Patentamt | 2021

    Freier Zugriff

    Railway signalling

    Towers, H.C. | Engineering Index Backfile | 1949