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
INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM
連動データ検証装置及び連動データ設計検証システム
2018-04-05
Patent
Electronic Resource
Japanese
Static Verification of Railway Schema and Interlocking Design Data
British Library Conference Proceedings | 2016
|Interlocking Formal Verification at Alstom Signalling
British Library Conference Proceedings | 2019
|Verification of Solid State Interlocking Programs
British Library Conference Proceedings | 2014
|