Interlocking software data verification method

Abstract

The invention discloses a method for verifying interlocking software data, which comprises the following steps: reading an interlocking table, an IO bitmap file and a DGG file of interlocking software by DataVerisoft software, and configuring the names of the interlocking table, the IO bitmap file and the DGG file; according to a predefined data verification document, a data generation rule is automatically compiled and executed, and a text type report is generated; an AutoStampTool tool is configured, the PDF document needing to be checked and the generated text type report are put into an input folder of the AutoStampTool, complex rule matching and detail adjustment are carried out according to the interlocking table and rules defined in the DGG, and a text type report is generated; the text type report generated by the DataVerisoft software and the text type report generated by the AutoStampTool tool are compared one by one, and whether the content is consistent or not is checked; if the report content is completely matched, the data verification is passed, and the data of the interlocking software is proved to keep consistency and accuracy at different levels and angles. According to the invention, the efficiency and productivity of verification work are greatly improved.

Description

Technical Field

[0001] The 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 detailed and comprehensive verification to a certain extent, it also exposes many limitations.

[0003] Inefficiency: Manual verification relies on professional personnel to check and judge item by item, which is not only time-consuming and labor-intensive, but also difficult to cope with large-scale and highly complex data verification needs. With the continuous expansion of signal system scale and the surge in data volume, the efficiency problem of manual verification has become increasingly prominent.

[0004] Unstable quality: Long-term high-intensity work can easily lead to fatigue of the verification personnel, which in turn affects their judgment and attention, resulting in omissions or errors in the verification results. In addition, differences in skill levels and experience between different verification personnel can also lead to uneven verification quality.

[0005] High cost: Manual verification requires a lot 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, bringing a heavy economic burden to the enterprise.

[0006] Difficulty in dealing 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, and traditional manual verification methods are often unable to cope with these tasks.

[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 automated processing 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 adjustment according to 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, it means that the data verification has passed, proving that the data of the interlocking software has maintained consistency and accuracy at different levels and angles. Otherwise, the verification has failed.

[0017] Preferably, in step S1, the interlocking table records the logical relationship and operation rules of the signal device, 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 a stamper tool in the PDFNetC library to formally confirm its validity.

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

[0021] The present invention realizes the rapid identification, comparison and verification of data by introducing automated and intelligent technical means, 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; the present invention is based on advanced algorithms and machine learning technologies, and can continuously and stably perform verification tasks without being affected by human emotions, fatigue and other factors. 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; the present invention can easily cope with these complex scenarios with its powerful data processing capabilities and intelligent analysis algorithms. It can realize rapid integration, real-time analysis and verification of data, and provide timely and accurate data support for corporate decision-making;

[0022] The present 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 automated means; 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 a more reliable guarantee for the safe and stable operation of the signal system. In addition, the invention also demonstrates the flexibility and powerful ability 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 directions or positional relationships based on the directions or positional relationships shown in the accompanying drawings, which 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 direction, be constructed and operated in a specific direction, and therefore cannot be understood as a limitation on 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 in conjunction with the accompanying drawings.

[0026] Interlocking software, as a critical safety software in the signal system, is designed to ensure that the data running in the system is strictly verified to ensure the safety and stability of the entire system. However, the current data verification process of interlocking software still relies mainly on manual inspection, which is inevitably limited by the energy and physical state of the inspectors, thus affecting the efficiency and accuracy of the verification.

[0027] In view of the fact that computer technology has been widely popularized worldwide and has demonstrated powerful data processing capabilities, the present invention arises as the times require, and aims 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] The present invention cleverly combines two software tools using different programming languages ​​(C++ and Python) - DataVerisoft and AutoStampTool, to address the correctness of interlocking software data. The data system of interlocking software covers multiple key components, including instantiated elements, instantiated Graphs (graphs or graph structures), information on trackside input and output devices, and specific values ​​of attributes of each element in the interlocking software. These data are the basis for ensuring the safe operation of the signal system, so their accuracy and consistency verification are particularly important; therefore, a method for interlocking software data verification 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 table (recording the logical relationship and operation rules of the signal equipment), IO bitmap (state mapping diagram of input and output equipment) and DGG (general graphic file) of the interlocking software. This process ultimately generates a detailed text-type report (report.txt).

[0032] Software 2: AutoStampTool

[0033] Development language: Python

[0034] Technical features: Using Python's powerful library support, especially the pdfminer library, AutoStampTool is able to parse PDF documents that the interlocking software needs to check. During the parsing process, the software performs complex rule matching and detail adjustments based on the rules defined in the interlocking table and DGG (generic graphic file) to ensure that the extracted data is accurate. Finally, AutoStampTool also generates a text-type report for subsequent analysis and comparison.

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

[0036] 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.

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

[0038] 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, 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.

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

[0043] Step S6: If the report content completely matches, it means that the data verification has passed, proving that the data of the interlocking software has maintained consistency and accuracy at different levels and angles. Otherwise, the verification has failed.

[0044] In the embodiment, for a document that has passed verification, if necessary, a stamping operation is performed on the PDF document using a stamper tool in the PDFNetC library 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 the traditional method, due to the huge amount of data and complex logical relationships, the verification cycle is often as long as two weeks; and 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 only takes about 2 days to complete, 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 of manual verification is the instability of its quality. Long-term high-intensity work can easily lead to fatigue of the verifier, which in turn affects judgment and attention, resulting in omissions or errors in the verification results. In addition, differences in skill levels and experience between different verifiers can also lead to uneven verification quality. The present invention is based on advanced algorithms and machine learning technology, which can continuously and stably perform verification tasks without being affected by human emotions, fatigue and other factors. 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.

[0047] Faced with increasingly complex data verification needs, traditional manual verification methods often seem inadequate. For example, when it comes to scenarios such as multi-source data integration and real-time data monitoring, manual verification is not only inefficient, but also difficult to ensure the real-time and accuracy of the data; the present invention, with its powerful data processing capabilities and intelligent analysis algorithms, can easily cope with these complex scenarios. It can achieve rapid data integration, real-time analysis and verification, and provide timely and accurate data support for corporate decision-making.

[0048] The invention not only solves the problem of low efficiency and error-proneness of traditional manual verification methods, but also greatly improves the accuracy and efficiency of data verification through automated means. At the same time, through the complementary design of the two software, 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 signal system; in addition, the invention also demonstrates the flexibility and powerful ability 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 SW1401 can be obtained from the interlocking table Swichlocking table.

[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 the designed 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 attribute 20 with values ​​of 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 are required:

[0070] Step S3, construct graph Ag-cmd_SW1401 and the matching rule is Ag-cmd_SW1401. At this time, the graph: Ag-cmd_SW1401 can be obtained.

[0071] Construct the attribute name pattern "<\d+>[\s\S]*?(?=\n)" to match the relevant attribute names. At this time, 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 interlocking 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, 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.

[0079] Step S6, if the report content matches completely, and if the attribute values ​​"4707, 4708, 4722, 4765" are consistently stamped, it means that 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 the technical solutions described in the above embodiments may still be modified, or some or all of the technical features may be replaced by equivalents. However, these modifications or replacements do not deviate the essence of the corresponding technical solutions 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 adjustment according to 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, it means that the data verification has passed, proving that the data of the interlocking software has maintained consistency and accuracy at different levels and angles. Otherwise, the verification has failed.

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

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

4. A method for interlocking software data verification according to claim 1, characterized in that: 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