A method for interlocking software data verification

Abstract

The present invention discloses a method for interlocking software data verification, comprising: using DataVerisoft software to read an interlocking table, an IO bitmap file, and a DGG file of the interlocking software, and configuring the names of the interlocking table, the IO bitmap file, and the DGG file; automatically compiling and executing data generation rules based on a predefined data verification document to generate a text type report; configuring an AutoStampTool tool, placing a PDF document to be checked and a generated text type report into an input folder of the AutoStampTool tool, and performing complex rule matching and detail adjustment based on the rules defined in the interlocking table and the DGG to generate a text type report; comparing the text type report generated by the DataVerisoft software with the text type report generated by the AutoStampTool tool one by one to check whether the contents are consistent; if the report contents completely match, the data verification is passed, proving that the data of the interlocking software maintains consistency and accuracy at different levels and angles. The present invention greatly improves the efficiency and productivity of verification work.

Description

Technical Field

[0001] The present invention relates to the technical field of interlocking software data verification, in particular to a method for interlocking software data verification. Background Art

[0002] At present, manual methods are still commonly used in foreign countries for interlocking data verification. Although this approach ensures the meticulousness and comprehensiveness of verification to a certain extent, it also exposes many limitations.

[0003] Inefficiency: Manual verification relies on the individual verification and judgment of professionals, a time-consuming and labor-intensive process that struggles to cope with the large-scale, highly complex data verification requirements. With the continuous expansion of signal systems and the surge in data volumes, the efficiency of manual verification is becoming increasingly prominent.

[0004] Unstable quality: Long, intensive work periods can easily lead to fatigue among verifiers, which in turn affects their judgment and concentration, potentially leading to omissions or errors in verification results. Furthermore, differences in skill levels and experience among verifiers can also lead to uneven verification quality.

[0005] High cost: Manual verification requires a large amount of human resources, including professional verification personnel, technical support personnel, and management personnel. The cost of these human resources continues to increase as the project cycle lengthens, placing a heavy financial burden on the company.

[0006] Difficulty coping with complex scenarios: With the continuous development of signal system technology, new verification requirements and complex scenarios continue to emerge. These complex scenarios often involve advanced functions such as multi-source data integration and real-time data monitoring, which traditional manual verification methods are often unable to cope with.

[0007] Therefore, a method for interlocking software data verification is provided. Summary of the Invention

[0008] The purpose of the present invention is to overcome the existing defects and provide a method for interlocking software data verification, which realizes the automation of the data verification process and greatly improves the efficiency and productivity of the verification work.

[0009] The technical solution to achieve the above purpose is:

[0010] A method for interlocking software data verification, comprising:

[0011] Step S1, DataVerisoft software reads the interlocking table, IO bitmap file and DGG file of the interlocking software, and configures the names of the interlocking table, IO bitmap file and DGG file;

[0012] Step S2, DataVerisoft software automatically writes and executes data generation rules based on predefined data verification documents to generate a text-type report;

[0013] Step S3, configuring the AutoStampTool tool, and placing the PDF document to be checked and the generated text type report into the input folder of the AutoStampTool;

[0014] Step S4, the AutoStampTool tool performs complex rule matching and detail adjustments based on the rules defined in the interlocking table and DGG, and generates a text type report;

[0015] Step S5, comparing the text type report generated by the DataVerisoft software with the text type report generated by the AutoStampTool tool one by one to check whether the contents are consistent;

[0016] Step S6: If the report content completely matches, the data verification is passed, proving that the data of the interlocking software maintains consistency and accuracy at different levels and angles. Otherwise, the verification fails.

[0017] Preferably, in step S1, the interlocking table records the logical relationship and operation rules of the signal devices, the IObitmap file records the state mapping diagram of the input and output devices, and the DGG file records the general graphics.

[0018] Preferably, in step S5, the DataVerisoft software and the AutoStampTool tool are run independently, and each generates a text type report based on different data sources and verification logics.

[0019] Preferably, in step S6, for the document that has passed the verification, if necessary, a stamping operation is performed on the PDF document using the stamper tool in the PDFNetC library to formally confirm its validity.

[0020] The beneficial effects of the present invention are:

[0021] By introducing automated and intelligent technical means, the present invention achieves rapid identification, comparison and verification of data, greatly shortening the verification cycle. After adopting the present invention, the time cost of the same interlocking control area verification work can be reduced by about 80%, and the efficiency is significantly improved. Based on advanced algorithms and machine learning technology, the present invention can continuously and stably perform verification tasks, and is not affected by factors such as human emotions and fatigue. It can not only accurately identify subtle differences in data, but also automatically learn and optimize verification rules to ensure the accuracy and consistency of verification results. With its powerful data processing capabilities and intelligent analysis algorithms, the present invention can easily cope with these complex scenarios. It can achieve rapid integration, real-time analysis and verification of data, providing timely and accurate data support for corporate decision-making.

[0022] This invention not only solves the problems of low efficiency and error-proneness of traditional manual verification methods, but also greatly improves the accuracy and efficiency of data verification through automation. At the same time, through the complementary design of the two software, it realizes comprehensive multi-angle and multi-level verification of interlocking software data, providing more reliable protection for the safe and stable operation of the signal system. In addition, this invention also demonstrates the flexibility and powerful capabilities of programming languages ​​and technology stacks in solving complex engineering problems. BRIEF DESCRIPTION OF THE DRAWINGS

[0023] Figure 1 The present invention is a flow chart of a method for interlocking software data verification. DETAILED DESCRIPTION

[0024] The technical solution of the present invention will be described clearly and completely below in conjunction with the accompanying drawings. In the description of the present invention, it should be noted that the terms "center", "up", "down", "left", "right", "vertical", "horizontal", "inside", "outside" and the like indicate orientations or positional relationships based on the orientations or positional relationships shown in the accompanying drawings, and are only for the convenience of describing the present invention and simplifying the description, and do not indicate or imply that the device or element referred to must have a specific orientation, be constructed and operated in a specific orientation, and therefore cannot be understood as limiting the present invention. In addition, the terms "first", "second", and "third" are used for descriptive purposes only and cannot be understood as indicating or implying relative importance.

[0025] The present invention will be further described below with reference to the accompanying drawings.

[0026] Interlocking software, as crucial safety software in signaling systems, relies on rigorous verification of data running within the system to safeguard the safety and stability of the entire system. However, the current data verification process for interlocking software still relies primarily on manual inspection, which is inevitably limited by the inspector's energy and physical state, thus affecting verification efficiency and accuracy.

[0027] In view of the fact that computer technology has been widely popularized around the world and has demonstrated powerful data processing capabilities, the present invention arises as the times require, aiming to completely revolutionize the data verification and inspection work of interlocking software by introducing computer automation technology; therefore, a method for interlocking software data verification is provided.

[0028] This paper cleverly combines two software tools—DataVerisoft and AutoStampTool—using different programming languages ​​(C++ and Python) to address the accuracy of interlocking software data. The interlocking software data system encompasses several key components, including instantiated elements, instantiated graphs (graphs or graph structures), information about trackside input and output devices, and the specific values ​​of each element's attributes within the interlocking software. This data is fundamental to ensuring the safe operation of the signaling system, so verifying its accuracy and consistency is crucial. Therefore, a method for verifying interlocking software data is provided.

[0029] Software 1: DataVerisoft

[0030] Development language: C++

[0031] Functional Description: DataVerisoft automatically writes and executes data generation rules based on predefined data verification documents by reading the interlocking software's interlocking table (recording the logical relationships and operating rules of signal devices), IO bitmap (state mapping diagram of input and output devices), and DGG (general graphics file). This process ultimately generates a detailed text-based report (report.txt).

[0032] Software 2: AutoStampTool

[0033] Development language: Python

[0034] Technical Features: Leveraging Python's powerful library support, particularly the pdfminer library, AutoStampTool parses PDF documents required for interlocking software inspection. During the parsing process, the software performs complex rule matching and detailed adjustments based on the rules defined in interlocking tables and DGG (DGG) files to ensure accurate extracted data. Finally, AutoStampTool also generates a text report for subsequent analysis and comparison.

[0035] like Figure 1 As shown, a method for interlocking software data verification includes:

[0036] In step S1, the DataVerisoft software reads the interlocking table, IO bitmap file, and DGG file of the interlocking software, and configures the names of the interlocking table, IO bitmap file, and DGG file.

[0037] In the embodiment, the interlock table records the logical relationship and operation rules of the signal devices, the IO bitmap file records the state mapping diagram of the input and output devices, and the DGG file records the general graph.

[0038] In step S2, DataVerisoft software automatically writes and executes data generation rules based on predefined data verification documents to generate a text-type report.

[0039] Step S3, configuring the AutoStampTool tool, and placing the PDF document to be checked and the generated text type report into the input folder of the AutoStampTool.

[0040] In step S4, the AutoStampTool performs complex rule matching and detail adjustments based on the rules defined in the interlocking table and DGG, and generates a text type report.

[0041] Step S5: Compare the text type report generated by the DataVerisoft software with the text type report generated by the AutoStampTool tool one by one to check whether the contents are consistent.

[0042] In the embodiment, the DataVerisoft software and the AutoStampTool tool run independently, and each generates a text type report based on different data sources and verification logics.

[0043] Step S6: If the report content completely matches, the data verification is passed, proving that the data of the interlocking software maintains consistency and accuracy at different levels and angles. Otherwise, the verification fails.

[0044] In the embodiment, for documents that have passed verification, if necessary, the stamper tool in the PDFNetC library is used to stamp the PDF document to formally confirm its validity.

[0045] Traditional manual verification methods often rely on professionals to check data one by one. This process is not only time-consuming and labor-intensive, but also easily affected by human factors. Taking a typical interlocking control area verification as an example, under traditional methods, due to the huge amount of data and complex logical relationships, the verification cycle is often as long as two weeks; the introduction of the present invention, through automated and intelligent technical means, realizes the rapid identification, comparison and verification of data, greatly shortening the verification cycle. According to preliminary calculations, after adopting the present invention, the same interlocking control area verification work can be completed in only about 2 days, and the time cost is reduced by about 80%. This efficiency improvement is undoubtedly of great appeal to companies pursuing efficient operations.

[0046] Another major challenge with manual verification is its inconsistent quality. Long, intensive workloads can easily lead to fatigue, which in turn affects verifier judgment and concentration, potentially leading to omissions or errors in verification results. Furthermore, differences in skill and experience between verifiers can lead to varying verification quality. However, this invention, based on advanced algorithms and machine learning techniques, can consistently and stably perform verification tasks, unaffected by factors like emotion and fatigue. It not only accurately identifies subtle differences in data but also automatically learns and optimizes verification rules, ensuring the accuracy and consistency of verification results.

[0047] Faced with increasingly complex data verification needs, traditional manual verification methods often struggle to meet them. For example, in scenarios involving multi-source data integration and real-time data monitoring, manual verification is not only inefficient but also difficult to ensure real-time and accuracy. However, this invention, with its powerful data processing capabilities and intelligent analysis algorithms, can easily handle these complex scenarios. It enables rapid data integration, real-time analysis, and verification, providing timely and accurate data support for enterprise decision-making.

[0048] This invention not only addresses the inefficiency and error-proneness of traditional manual verification methods, but also significantly improves the accuracy and efficiency of data verification through automated means. Furthermore, through the complementary design of the two software programs, comprehensive multi-angle and multi-level verification of interlocking software data is achieved, providing a more reliable guarantee for the safe and stable operation of the signaling system. Furthermore, this invention demonstrates the flexibility and powerful capabilities of programming languages ​​and technology stacks in solving complex engineering problems.

[0049] This method has been verified and tested in multiple control areas including Guangzhou and Wuhan.

[0050] For example, take the Graph:Ag-cmd_SW1401 data verification of the ZC17 control area of ​​Guangzhou Line 14 as an example.

[0051] Step S1, object verification: In DataVerisoft software, we can read the corresponding graph in the DGG input file as Ag-cmd, and the graph type is CmdAg. Then, according to the type definition of CmdAg, the corresponding object can be obtained from the interlocking table Swichlocking table as SW1401.

[0052] CmdAg is defined as follows:

[0053] One element to be created for each switch to be commanded by the zonecontroller

[0054] -----Detailed description-----

[0055] One element per switch,identified by its《SWITCH NAME》in thedesignated list,with associated[LIST_OF_ROUTES]attribute set to《REFER TO》SHUNTING ROUTES》WORKSHEET》.

[0056] Object attribute verification: Take object SW1401, attribute 20 (Route requiring switch to RIGHT position) as an example, create the value of attribute 20 as route 4707, route 4708, route 4722, route 4765

[0057] According to the definition of attribute 20: List all routes that request the switch to be in the RIGHT position.

[0058] For each'SWITCH NAME'with same name as current element identified inone of the four following columns of the《Shunting》worksheet(if severalelements are given,separator character needs to be[,]):

[0059] [ROUTE_SWITCHES_R],

[0060] [ROUTE_FLANK_SWITCHES_R],

[0061] [OVERRUN_SWITCHES_R],

[0062] [OVERRUN_FLANK_SWITCHES_R],

[0063] CREATE the answer with all[ROUTE_NUMBER]associated to the cells where'SWITCH_NAME'was found.

[0064] Step S2: The following information can be generated by DataVerisoft software:

[0065] Ag-cmd_SW1401:

[0066] <20> Route requiring switch to RIGHT position

[0067] 4707,4708,4722,4765

[0068] The input file for AutoStampTool is the PDF report file DVPG-Liste desfonctions d instanciation.pdf generated by the interlocking development software.

[0069] For this report, the following steps need to be performed:

[0070] Step S3, constructing the graph Ag-cmd_SW1401, the matching rule is Ag-cmd_SW1401, and now the graph: Ag-cmd_SW1401 can be obtained.

[0071] Construct the attribute name pattern "<\d+>[\s\S]*?(?=\n)" to match the relevant attribute names, then you can match the line " <20> Route requiring switch to RIGHT position”

[0072] Constructing attribute values, such as the route pattern, can match all routes "4701|4702|..." in the interlock table shunting, so that all valid routes can be matched.

[0073] Step S4: Output all matching graphs, attribute names, and attribute values ​​into text.

[0074] For example, the output information is as follows:

[0075] Ag-cmd_SW1401:

[0076] <20> Route requiring switch to RIGHT position

[0077] 4707,4708,4722,4765.

[0078] Step S5: Compare the text type report generated by the DataVerisoft software with the text type report generated by the AutoStampTool tool one by one to check whether the contents are consistent.

[0079] Step S6: If the report content matches completely, and if the attribute values ​​"4707, 4708, 4722, 4765" are consistently stamped, then the data verification has passed, proving that the data of the interlocking software maintains consistency and accuracy at different levels and angles. Otherwise, the verification has failed.

[0080] The above embodiments are only used to illustrate the technical solutions of the present invention, rather than to limit the same. Although the present invention has been described in detail with reference to the above embodiments, those skilled in the art should understand that they can still modify the technical solutions described in the above embodiments, or replace some or all of the technical features therein with equivalents. However, these modifications or replacements do not cause the essence of the corresponding technical solutions to deviate from the scope of the technical solutions of the embodiments of the present invention.

Claims

1. A method for interlocking software data verification, characterized in that: include: Step S1, DataVerisoft software reads the interlocking table, IO bitmap file and DGG file of the interlocking software, and configures the names of the interlocking table, IO bitmap file and DGG file; Step S2, DataVerisoft software automatically writes and executes data generation rules based on predefined data verification documents to generate a text-type report; Step S3, configuring the AutoStampTool tool, and placing the PDF document to be checked and the generated text type report into the input folder of the AutoStampTool; Step S4, the AutoStampTool tool performs complex rule matching and detail adjustments based on the rules defined in the interlocking table and DGG, and generates a text type report; Step S5, comparing the text type report generated by the DataVerisoft software with the text type report generated by the AutoStampTool tool one by one to check whether the contents are consistent; Step S6: If the report content completely matches, the data verification is passed, proving that the data of the interlocking software maintains consistency and accuracy at different levels and angles. Otherwise, the verification fails.

2. A method for interlocking software data verification according to claim 1, characterized in that: In step S1, the interlocking table records the logical relationship and operation rules of the signal devices, the IO bitmap file records the state mapping diagram of the input and output devices, and the DGG file records the general graphics.

3. The method for interlocking software data verification according to claim 1, characterized in that: In step S5, the DataVerisoft software and the AutoStampTool tool are run independently, and each generates a text type report based on different data sources and verification logics.

4. The method for verifying interlocking software data according to claim 1, wherein: In step S6, for the document that has passed the verification, if necessary, the stamper tool in the PDFNetC library is used to stamp the PDF document to formally confirm its validity.

Images