PROBLEM TO BE SOLVED: To provide methods to verify whether a connection diagram is perfect or not after modification in a case the modification is applied through manual works to the connection diagram which is created by an interlocking data generation device.SOLUTION: A final connection diagram acquisition unit 51 of an interlocking data verification device 50 acquires a final connection diagram, extracts expressed contents of the diagram and informs a first verification unit 61 and a second verification unit 62 of the contents. The first verification unit 61 verifies that the interlocking data have conditions coincident with those specified by the interlocking diagram. The second verification unit 62 verifies rationality of the interlocking data.SELECTED DRAWING: Figure 1

    【課題】連動データ生成装置で作成された結線図に対して手作業による加工が施された場合、加工後の結線図が適切であるか否かを検証することができる技術を提供する。【解決手段】連動データ検証装置50の最終結線図取得部51は、最終結線図を取得し、記載内容を抽出して第1検証部61及び第2検証部62へ通知する。第1検証部61は、連動データが連動図表で指示されたとおりの条件を有することの検証をする。第2検証部62は連動データの合理性に関する検証をする。【選択図】図1


    Access

    Download


    Export, share and cite



    Title :

    INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM


    Additional title:

    連動データ検証装置及び連動データ設計検証システム


    Contributors:

    Publication date :

    2018-04-05


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Japanese


    Classification :

    IPC:    B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung



    Static Verification of Railway Schema and Interlocking Design Data

    Iliasov, Alexei / Stankaitis, Paulius / Adjepon-Yamoah, David | British Library Conference Proceedings | 2016


    Verification of railway interlocking systems

    Busard, Simon / Cappart, Quentin / Limbrée, Christophe et al. | ArXiv | 2015

    Free access

    Verification of railway interlocking systems

    Simon Busard / Quentin Cappart / Christophe Limbrée et al. | DOAJ | 2015

    Free access

    Interlocking Formal Verification at Alstom Signalling

    Parillaud, Camille / Fonteneau, Yoann / Belmonte, Fabien | British Library Conference Proceedings | 2019


    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014