INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM

摘要

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;COPYRIGHT: (C)2018,JPO&INPIT