CN113353123A - Interlocking execution verification method and device, computer equipment and storage medium - Google Patents
Interlocking execution verification method and device, computer equipment and storage medium Download PDFInfo
- Publication number
- CN113353123A CN113353123A CN202110583949.9A CN202110583949A CN113353123A CN 113353123 A CN113353123 A CN 113353123A CN 202110583949 A CN202110583949 A CN 202110583949A CN 113353123 A CN113353123 A CN 113353123A
- Authority
- CN
- China
- Prior art keywords
- interlocking
- control command
- turnout
- data
- interlock
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
- B61L19/06—Interlocking devices having electrical operation
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
- B61L19/06—Interlocking devices having electrical operation
- B61L2019/065—Interlocking devices having electrical operation with electronic means
Landscapes
- Engineering & Computer Science (AREA)
- Mechanical Engineering (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
The application relates to an interlocking execution verification method and device, computer equipment and a storage medium. The interlocking execution verification method comprises the following steps: checking the interlocking control command in case of receiving the interlocking control command; if the checked result is that the path identifier corresponding to the interlocking control command exists at present, outputting an interlocking driving instruction; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identifier is generated upon confirmation that the railway interlocking data matches the interlocking logic rule corresponding to the interlocking control command. The method and the device improve the accuracy, safety and usability of interlocking execution, and further guarantee the railway track traffic safety.
Description
Technical Field
The present application relates to the field of railway control technologies, and in particular, to an interlocking execution verification method and apparatus, a computer device, and a storage medium.
Background
The interlocking software is applied to the field of railway signal control, is used for guaranteeing the driving safety and has higher requirement on safety. In the interlocking control, a signal is used for commanding a train to run, and the wrong signal is opened to cause safety faults such as train collision and the like. False switch action in front of the train may result in the train reaching a different location than expected, or the action of the switch at which the train is located may result in the train derailing. However, the interlock operation is more complex, and may result in erroneous control of the output due to operation errors, memory boundary crossing, or other faults. The existing scheme mainly adopts double sets of interlocking software for independently developing codes, compares the running results of the interlocking software to ensure the correctness of the running results, but the interlocking software adopting the double sets of independently developing codes has higher development cost, and reduces the usability because the running results are possibly inconsistent due to code difference, understanding difference, software complexity and the like.
In the implementation process, the inventor finds that at least the following problems exist in the conventional technology: the conventional interlock software has low safety.
Disclosure of Invention
In view of the foregoing, it is desirable to provide an interlocking execution verification method, an apparatus, a computer device, and a storage medium.
An interlocking execution verification method comprising:
checking the interlocking control command in case of receiving the interlocking control command;
if the checked result is that the path identifier corresponding to the interlocking control command exists at present, outputting an interlocking driving instruction; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identifier is generated upon confirmation that the railway interlocking data matches the interlocking logic rule corresponding to the interlocking control command.
In one embodiment, the interlocking logic rules include key conditions; the method further comprises the steps of:
acquiring railway interlocking data;
and if the railway interlocking data is confirmed to be matched with the key conditions corresponding to the interlocking control command, generating a path identifier.
In one embodiment, the interlocking control command is a signal opening control command or a switch control command; the path identification comprises a first path identification and a second path identification;
if the railway interlocking data is confirmed to be matched with the key conditions corresponding to the interlocking control command, generating a path identifier, wherein the step comprises the following steps of:
when the interlocking control command is a signal opening control command, generating a first path identifier under the condition that the railway interlocking data is confirmed to be matched with the key condition corresponding to the signal opening control command;
and when the interlocking control command is a turnout control command, generating a second path identifier under the condition of confirming that the railway interlocking data is matched with the key condition corresponding to the turnout control command.
In one of the embodiments, the first and second electrodes are,
the key condition corresponding to the signal opening control command comprises any one or any combination of the following conditions: the section is free, the route of the starting end signal machine is locked, the position of the turnout is correct, the overrun is correct, and the turnout allows the signal relay to be operated correctly;
the key conditions corresponding to the turnout control command comprise any one or any combination of the following conditions: the turnout is not driven, the turnout is locked in a non-action state independently, the turnout section is idle, and the turnout is not in action.
In one embodiment, the railroad interlock data includes status data and zone status data of the interlock device.
An interlocking execution verification apparatus comprising:
the checking module is used for checking the interlocking control command under the condition of receiving the interlocking control command;
the output module is used for outputting an interlocking driving instruction if the checked result is that the path identifier corresponding to the interlocking control command currently exists; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identifier is generated upon confirmation that the railway interlocking data matches the interlocking logic rule corresponding to the interlocking control command.
In one embodiment, the interlocking logic rules include key conditions; the output module includes:
the data acquisition unit is used for acquiring railway interlocking data;
and the path identifier generating unit is used for generating a path identifier if the railway interlocking data is confirmed to be matched with the key condition corresponding to the interlocking control command.
A computer device comprising a memory and a processor, the memory storing a computer program, the processor implementing the steps of the method when executing the computer program.
An interlocking execution verification system comprises interlocking equipment and the computer equipment;
the interlock device is connected with the computer device.
A computer-readable storage medium, on which a computer program is stored which, when being executed by a processor, carries out the steps of the above-mentioned method.
One of the above technical solutions has the following advantages and beneficial effects:
according to the method and the device, whether the path identifier corresponding to the interlocking control command exists or not is checked, and the interlocking driving command is output under the condition that the path identifier corresponding to the interlocking control command exists, so that the output of the interlocking driving command is output after the fact that the interlocking data is matched with the interlocking logic rule corresponding to the interlocking control command is confirmed, the control of error output due to program error operation or memory boundary crossing and the like is avoided, the check of two independent channels of the interlocking control command and the path identifier is realized, the accuracy, the safety and the usability of interlocking execution are improved, and further the railway track traffic safety is guaranteed.
Drawings
In order to more clearly illustrate the technical solutions in the embodiments or the conventional technologies of the present application, the drawings used in the descriptions of the embodiments or the conventional technologies will be briefly introduced below, it is obvious that the drawings in the following descriptions are only some embodiments of the present application, and for those skilled in the art, other drawings can be obtained according to the drawings without creative efforts.
FIG. 1 is a schematic flow chart diagram of a method for interlock execution verification in one embodiment;
FIG. 2 is a schematic flow chart of a method for interlock execution verification in another embodiment;
FIG. 3 is a flowchart illustrating the step of generating a path identifier in one embodiment;
FIG. 4 is a block diagram of an interlock execution verification apparatus in one embodiment;
FIG. 5 is a block diagram of the output module in one embodiment;
FIG. 6 is a block diagram of an interlock execution verification system in one embodiment.
Detailed Description
To facilitate an understanding of the present application, the present application will now be described more fully with reference to the accompanying drawings. Embodiments of the present application are set forth in the accompanying drawings. This application may, however, be embodied in many different forms and should not be construed as limited to the embodiments set forth herein. Rather, these embodiments are provided so that this disclosure will be thorough and complete.
Unless defined otherwise, all technical and scientific terms used herein have the same meaning as commonly understood by one of ordinary skill in the art to which this application belongs. The terminology used herein in the description of the present application is for the purpose of describing particular embodiments only and is not intended to be limiting of the application.
It will be understood that, as used herein, the terms "first," "second," and the like may be used herein to describe various elements, but these elements are not limited by these terms. These terms are only used to distinguish one element from another.
It will be understood that when an element is referred to as being "connected" to another element, it can be directly connected to the other element or be connected to the other element through intervening elements. Further, "connection" in the following embodiments is understood to mean "electrical connection", "communication connection", or the like, if there is a transfer of electrical signals or data between the connected objects.
As used herein, the singular forms "a", "an" and "the" may include the plural forms as well, unless the context clearly indicates otherwise. It will be further understood that the terms "comprises/comprising," "includes" or "including," etc., specify the presence of stated features, integers, steps, operations, components, parts, or combinations thereof, but do not preclude the presence or addition of one or more other features, integers, steps, operations, components, parts, or combinations thereof.
In one embodiment, as shown in fig. 1, there is provided an interlocking execution verification method, which may include:
step 202, checking the interlocking control command under the condition of receiving the interlocking control command;
step 204, if the checked result is that the path identifier corresponding to the interlocking control command currently exists, outputting an interlocking driving instruction; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identifier is generated upon confirmation that the railway interlocking data matches the interlocking logic rule corresponding to the interlocking control command.
Specifically, when the interlocking control command is received, the interlocking control command is checked, whether a path identifier corresponding to the interlocking control command exists at present is checked, the path identifier is generated under the condition that the railway interlocking data is confirmed to be matched with the interlocking logic rule corresponding to the interlocking control command, and the condition that the railway interlocking data is matched with the interlocking logic rule corresponding to the interlocking control command indicates that the railway state is suitable for executing the interlocking control, so that the railway traffic safety can be ensured; under the condition that the path identifier corresponding to the interlocking control command is checked to exist, an interlocking driving command is output, and the interlocking driving command can be used for driving corresponding interlocking equipment to act, so that the accuracy of interlocking execution and the safety and smoothness of railway traffic are ensured, and under the condition that the path identifier corresponding to the interlocking control command is not checked, the interlocking driving command is not output; when the path identifier corresponding to the interlocking control command is not checked, it is indicated that the interlocking control command may be an error command caused by a fault such as program error operation or memory boundary crossing of a computer, or the railway interlocking data does not match the interlocking logic rule corresponding to the interlocking control command, and the railway state is not suitable for executing the interlocking control command, thereby ensuring the correctness and safety of the interlocking execution.
According to the method and the device, under the condition that the interlocking control command is received, whether the path identifier corresponding to the interlocking control command exists or not is checked, and under the condition that the path identifier corresponding to the interlocking control command exists at present, the interlocking driving command is output, so that the interlocking driving command is output under the condition that railway interlocking data is matched with the interlocking logic rule corresponding to the interlocking control command, the checking of two independent channels of the interlocking control command and the path identifier is realized, and the interlocking execution safety and accuracy are guaranteed.
In one embodiment, the interlocking logic rules may include key conditions; as shown in fig. 2, the interlock execution verification method may further include the steps of:
step 302, acquiring railway interlocking data;
and step 304, if the railway interlocking data is confirmed to be matched with the key conditions corresponding to the interlocking control command, generating a path identifier.
In one example, the railroad interlock data may include status data and zone status data of the interlock device; the state data of the interlocking device can comprise signal machine state data and turnout state data, wherein the signal machine state data can be formed by combining the closing or opening states of all signal machine relays, and the turnout state data can be formed by combining the closing or opening states of all turnout relays; the railway interlocking data may also include other operational data related to the equipment used to perform the interlocking control.
Specifically, the state data and the section state data of the interlocking equipment are matched with the key conditions corresponding to the interlocking control command by acquiring the state data and the section state data of the interlocking equipment, and if the condition that the railway interlocking data is matched with the key conditions corresponding to the interlocking control command is confirmed, a path identifier is generated; if the railway interlocking data does not match the key conditions corresponding to the interlocking control command, no path identifier is generated, which indicates that the current railway state is not suitable for executing the interlocking control command or that the interlocking control command may be an error command caused by faults such as program error operation or memory boundary crossing of a computer, so that only when the path identifier corresponding to the interlocking control command is checked, an interlocking driving instruction can be output to drive the corresponding interlocking equipment to act, and the safety of interlocking execution is ensured.
According to the method and the device, the railway interlocking data are acquired, the path identifier is generated under the condition that the railway interlocking data are matched with the key conditions corresponding to the interlocking control command, and the interlocking driving command is output under the condition that the path identifier corresponding to the interlocking control command is confirmed to exist currently, so that the accuracy and the safety of interlocking execution are guaranteed, the condition that the error control command is output due to faults such as program error operation or memory boundary crossing is avoided, and the risk is reduced.
In one embodiment, the interlock control command may be a signal open control command or a switch control command; the path identifier may include a first path identifier and a second path identifier;
as shown in fig. 3, if it is confirmed that the railway interlocking data matches the key condition corresponding to the interlocking control command, the step of generating the path identifier may include:
step 402, when the interlocking control command is a signal opening control command, generating a first path identifier under the condition that the railway interlocking data is confirmed to be matched with the key condition corresponding to the signal opening control command;
and step 404, when the interlocking control command is a turnout control command, generating a second path identifier under the condition that the railway interlocking data is confirmed to be matched with the key condition corresponding to the turnout control command.
In one example, the key condition corresponding to the open signal control command may include any one or any combination of the following conditions: the section is free, the route of the starting end signal machine is locked, the position of the turnout is correct, the overrun is correct, and the turnout allows the signal relay to be operated correctly;
the key condition corresponding to the switch control command can include any one or any combination of the following conditions: the turnout is not driven, the turnout is locked in a non-action state independently, the turnout section is idle, and the turnout is not in action.
The signal opening control command can be a route arranging command, a route canceling command or a closing signal, and the like, and the turnout control command can be a turnout starting command or a turnout closing command, and the like; other corresponding conditions can be added to the key conditions corresponding to the signal opening control command and the key conditions corresponding to the turnout control command according to actual conditions.
Specifically, signal control and switch control are the most core safety critical functions in the interlock software, so when the interlock control command is a signal open control command or a switch control command, the railway interlock data needs to be matched with the key condition corresponding to the signal open control command or the key condition corresponding to the switch control command, and the path identifier is generated only when the matching is successful.
And when the interlocking control command is the signal opening control command, matching the railway interlocking data with the key condition corresponding to the signal opening control command, and generating a first path identifier under the condition that the railway interlocking data is confirmed to be matched with the key condition corresponding to the signal opening control command. For example, when the key conditions corresponding to the signal opening control command are that the section is free, the route of the start signal machine is locked, the position of the switch is correct, the overrun is correct, and the switch allows to operate the signal relay correctly, the railway interlocking data needs to match the key conditions corresponding to the signal opening control command that the section is free, the route of the start signal machine is locked, the position of the switch is correct, the overrun is correct, and the switch allows to operate the signal relay correctly, and then the first path identifier is generated.
And matching the railway interlocking data with the key conditions corresponding to the turnout control command under the condition that the interlocking control command is the turnout control command, and generating a second path identifier under the condition that the railway interlocking data is confirmed to be matched with the key conditions corresponding to the turnout control command. For example, when the key conditions corresponding to the switch control command are that the switch is not accessed, the switch is independently locked in the inoperable state, the switch section is idle, and the switch is not in operation, the railway interlocking data needs to match the key conditions corresponding to the switch control command that the switch is not accessed, the switch is independently locked in the inoperable state, the switch section is idle, and the switch is not in operation, and then the second path identifier is generated.
When the interlocking control command is a signal opening control command, checking the signal opening control command; and if the checked result is that the first path identification exists currently, outputting an interlocking driving instruction so as to drive the corresponding signaler relay to act. When the interlocking control command is a turnout control command, checking the turnout control command; and if the checked result is that the second path identifier exists currently, outputting an interlocking driving instruction so as to drive the corresponding turnout relay to act.
In a specific example, when the interlocking control command is a signal opening control command, generating a signal opening first identifier under the condition that the railway interlocking data is confirmed to be matched with the free section and the route locking of the starting end signal machine; generating a signal to open a second identifier under the condition that the railway interlocking data is confirmed to be matched with the correct turnout position; generating a signal opening third identifier under the condition that the matching of the railway interlocking data is confirmed to be correct; generating a signal to open a fourth mark under the condition that the railway interlocking data is confirmed to be matched with the turnout to allow the control signal relay to be correct; and under the condition that the first signal opening identifier, the second signal opening identifier, the third signal opening identifier and the fourth signal opening identifier exist currently, generating a first path identifier, so that when the first path identifier corresponding to the signal opening control command exists currently according to the checking result, outputting an interlocking driving instruction to drive a corresponding annunciator relay to act. When the interlocking control command is a turnout control command, generating a first turnout identification under the condition that the railway interlocking data is confirmed to be matched with the turnout which is not accessed or is independently locked in a non-action state; generating a second turnout identification under the condition that the railway interlocking data is matched with the idle turnout section; generating a third turnout identification under the condition that the railway interlocking data matched turnout is not in action; and under the condition that the first turnout identifier, the second turnout identifier and the third turnout identifier exist currently, generating a second path identifier, and outputting an interlocking driving instruction to drive a corresponding turnout relay to act when the second path identifier corresponding to the turnout control command exists currently according to the checking result.
In the method, independent path identification check is designed for the execution of the interlocking control command, and the interlocking driving command is output under the condition that railway interlocking data are matched with the path identification corresponding to the interlocking control command through checking two independent channels of the interlocking control command and the path identification, so that the accuracy and the safety of interlocking execution are ensured.
It should be understood that although the various steps in the flowcharts of fig. 1-3 are shown in order as indicated by the arrows, the steps are not necessarily performed in order as indicated by the arrows. The steps are not performed in the exact order shown and described, and may be performed in other orders, unless explicitly stated otherwise. Moreover, at least some of the steps in fig. 1-3 may include multiple steps or multiple stages, which are not necessarily performed at the same time, but may be performed at different times, which are not necessarily performed in sequence, but may be performed in turn or alternately with other steps or at least some of the other steps or stages.
In one embodiment, as shown in fig. 4, there is provided an interlocking execution verification apparatus, which may include:
a checking module 110, configured to check the interlock control command when the interlock control command is received;
an output module 120, configured to output an interlock driving instruction if the checked result is that the path identifier corresponding to the interlock control command currently exists; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identifier is generated upon confirmation that the railway interlocking data matches the interlocking logic rule corresponding to the interlocking control command.
In one embodiment, the interlocking logic rules may include key conditions; as shown in fig. 5, the output module 120 may include:
a data acquisition unit 130 for acquiring railway interlocking data;
and the path identifier generating unit 140 is configured to generate a path identifier if it is determined that the railway interlocking data matches the key condition corresponding to the interlocking control command.
In one embodiment, the interlocking control command is a signal opening control command or a switch control command; the path identification comprises a first path identification and a second path identification;
the path identifier generating unit 140 is further configured to generate a first path identifier when the interlocking control command is the signal opening control command and the railway interlocking data matches the key condition corresponding to the signal opening control command; and when the interlocking control command is a turnout control command, generating a second path identifier under the condition of confirming that the railway interlocking data is matched with the key condition corresponding to the turnout control command.
In one embodiment, the key condition corresponding to the open signal control command includes any one or any combination of the following conditions: the section is free, the route of the starting end signal machine is locked, the position of the turnout is correct, the overrun is correct, and the turnout allows the signal relay to be operated correctly;
the key conditions corresponding to the turnout control command comprise any one or any combination of the following conditions: the turnout is not driven, the turnout is locked in a non-action state independently, the turnout section is idle, and the turnout is not in action.
In one embodiment, the railroad interlock data includes status data and zone status data of the interlock device.
For specific limitations of the interlock execution verification apparatus, reference may be made to the above limitations of the interlock execution verification method, which are not described herein again. The modules in the interlock execution verification apparatus may be implemented in whole or in part by software, hardware, and a combination thereof. The modules can be embedded in a hardware form or independent from a processor in the computer device, and can also be stored in a memory in the computer device in a software form, so that the processor can call and execute operations corresponding to the modules. It should be noted that, in the embodiment of the present application, the division of the module is schematic, and is only one logic function division, and there may be another division manner in actual implementation.
In one embodiment, a computer device is provided, comprising a memory and a processor, the memory having stored therein a computer program, the processor implementing the steps of the above-described method embodiments when executing the computer program.
In one embodiment, as shown in fig. 6, there is provided an interlocking execution verification system comprising an interlocking device and the above-mentioned computer device;
the interlock device is connected with the computer device.
The interlocking device comprises a signal machine relay and a turnout relay;
specifically, the computer device outputs an interlock driving instruction to the corresponding interlock device by acquiring the interlock control command and performing the interlock execution verification method, and executes a corresponding action when the interlock device receives the interlock driving instruction.
In an embodiment, a computer-readable storage medium is provided, on which a computer program is stored which, when being executed by a processor, carries out the steps of the above-mentioned method embodiments.
It will be understood by those skilled in the art that all or part of the processes of the methods of the embodiments described above can be implemented by hardware instructions of a computer program, which can be stored in a non-volatile computer-readable storage medium, and when executed, can include the processes of the embodiments of the methods described above. Any reference to memory, storage, database or other medium used in the embodiments provided herein can include at least one of non-volatile and volatile memory. Non-volatile Memory may include Read-Only Memory (ROM), magnetic tape, floppy disk, flash Memory, optical storage, or the like. Volatile Memory can include Random Access Memory (RAM) or external cache Memory. By way of illustration and not limitation, RAM can take many forms, such as Static Random Access Memory (SRAM) or Dynamic Random Access Memory (DRAM), among others.
In the description herein, references to the description of "some embodiments," "other embodiments," "desired embodiments," etc., mean that a particular feature, structure, material, or characteristic described in connection with the embodiment or example is included in at least one embodiment or example of the invention. In this specification, a schematic description of the above terminology may not necessarily refer to the same embodiment or example.
The technical features of the above embodiments can be arbitrarily combined, and for the sake of brevity, all possible combinations of the technical features in the above embodiments are not described, but should be considered as the scope of the present specification as long as there is no contradiction between the combinations of the technical features.
The above-mentioned embodiments only express several embodiments of the present application, and the description thereof is more specific and detailed, but not construed as limiting the scope of the invention. It should be noted that, for a person skilled in the art, several variations and modifications can be made without departing from the concept of the present application, which falls within the scope of protection of the present application. Therefore, the protection scope of the present patent shall be subject to the appended claims.
Claims (10)
1. An interlocking execution verification method, comprising:
in case an interlock control command is received, checking the interlock control command;
if the checked result is that the path identifier corresponding to the interlocking control command currently exists, outputting an interlocking driving instruction; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identification is generated upon confirmation that the railroad interlocking data matches the interlocking logic rule corresponding to the interlocking control command.
2. The interlocking execution verification method of claim 1, wherein the interlocking logic rule includes a key condition; the method further comprises the steps of:
acquiring the railway interlocking data;
and if the railway interlocking data is confirmed to be matched with the key condition corresponding to the interlocking control command, generating the path identifier.
3. The interlock execution verification method according to claim 2, wherein the interlock control command is a signal open control command or a switch control command; the path identification comprises a first path identification and a second path identification;
if it is determined that the railway interlocking data matches the key condition corresponding to the interlocking control command, generating the path identifier, including:
when the interlocking control command is the signal opening control command, generating the first path identifier under the condition that the railway interlocking data is confirmed to be matched with the key condition corresponding to the signal opening control command;
and when the interlocking control command is the turnout control command, generating the second path identifier under the condition that the railway interlocking data is confirmed to be matched with the key condition corresponding to the turnout control command.
4. The interlock execution verification method according to claim 3,
the key condition corresponding to the open signal control command comprises any one or any combination of the following conditions: the section is free, the route of the starting end signal machine is locked, the position of the turnout is correct, the overrun is correct, and the turnout allows the signal relay to be operated correctly;
the key conditions corresponding to the turnout control command comprise any one or any combination of the following conditions: the turnout is not driven, the turnout is locked in a non-action state independently, the turnout section is idle, and the turnout is not in action.
5. The interlock execution verification method according to any one of claims 1 to 4, wherein the railroad interlock data includes status data and section status data of the interlock device.
6. An interlocking execution verification device, comprising:
the device comprises a checking module, a judging module and a control module, wherein the checking module is used for checking an interlocking control command under the condition of receiving the interlocking control command;
the output module is used for outputting an interlocking driving instruction if the checked result is that the path identifier corresponding to the interlocking control command currently exists; the interlocking driving instruction is used for driving corresponding interlocking equipment to act; wherein the path identification is generated upon confirmation that the railroad interlocking data matches the interlocking logic rule corresponding to the interlocking control command.
7. The interlock execution verification apparatus of claim 6, wherein the interlock logic rule includes a key condition; the output module includes:
the data acquisition unit is used for acquiring the railway interlocking data;
and the path identifier generating unit is used for generating the path identifier if the railway interlocking data is confirmed to be matched with the key condition corresponding to the interlocking control command.
8. A computer device comprising a memory and a processor, the memory storing a computer program, characterized in that the processor, when executing the computer program, implements the steps of the method of any of claims 1 to 5.
9. An interlocking performing verification system comprising an interlocking device and the computer device of claim 8;
the interlock device is connected with the computer device.
10. A computer-readable storage medium, on which a computer program is stored, which, when being executed by a processor, carries out the steps of the method of any one of claims 1 to 5.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110583949.9A CN113353123B (en) | 2021-05-27 | 2021-05-27 | Interlocking execution verification method and device, computer equipment and storage medium |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110583949.9A CN113353123B (en) | 2021-05-27 | 2021-05-27 | Interlocking execution verification method and device, computer equipment and storage medium |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN113353123A true CN113353123A (en) | 2021-09-07 |
| CN113353123B CN113353123B (en) | 2022-11-22 |
Family
ID=77527852
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110583949.9A Active CN113353123B (en) | 2021-05-27 | 2021-05-27 | Interlocking execution verification method and device, computer equipment and storage medium |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN113353123B (en) |
Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006231950A (en) * | 2005-02-22 | 2006-09-07 | Hitachi Ltd | Electronic interlocking system, testing device, and testing method |
| CN102275598A (en) * | 2011-05-16 | 2011-12-14 | 北京全路通信信号研究设计院有限公司 | Computer interlocking system capable of supporting C3 system and interlocking control method |
| CN102381342A (en) * | 2011-08-31 | 2012-03-21 | 北京和利时系统工程有限公司 | Computer interlock system and method for controlling urban rail transit signals thereof |
| CN104793975A (en) * | 2015-04-29 | 2015-07-22 | 北京经纬恒润科技有限公司 | Method and device for updating application programs in electronic control units |
| CN104890701A (en) * | 2015-06-26 | 2015-09-09 | 杭州路信科技有限公司 | Railway station communication linkage system |
| CN204713110U (en) * | 2015-06-26 | 2015-10-21 | 杭州路信科技有限公司 | The communication interlock system of railway station |
| CN109450912A (en) * | 2018-11-26 | 2019-03-08 | 北京旷视科技有限公司 | Data transmission method, device and equipment |
| CN109656167A (en) * | 2018-12-14 | 2019-04-19 | 广州河东科技有限公司 | A kind of communication control system and method based on smart machine |
| CN110329312A (en) * | 2019-08-09 | 2019-10-15 | 湖南中车时代通信信号有限公司 | A kind of method of interlock system control semaphore |
| CN112158235A (en) * | 2020-08-25 | 2021-01-01 | 通号城市轨道交通技术有限公司 | Outdoor signal equipment control method and system for urban rail transit |
| CN112230562A (en) * | 2020-08-25 | 2021-01-15 | 通号城市轨道交通技术有限公司 | System and method for full-electronic interlocking simulation test of urban rail |
| CN112437955A (en) * | 2018-05-18 | 2021-03-02 | 施耐德电气公司亚洲 | Relay device |
-
2021
- 2021-05-27 CN CN202110583949.9A patent/CN113353123B/en active Active
Patent Citations (13)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006231950A (en) * | 2005-02-22 | 2006-09-07 | Hitachi Ltd | Electronic interlocking system, testing device, and testing method |
| CN102275598A (en) * | 2011-05-16 | 2011-12-14 | 北京全路通信信号研究设计院有限公司 | Computer interlocking system capable of supporting C3 system and interlocking control method |
| WO2012155841A1 (en) * | 2011-05-16 | 2012-11-22 | 北京全路通信信号研究设计院有限公司 | Computer interlocking system supporting c3 system and interlocking control method |
| CN102381342A (en) * | 2011-08-31 | 2012-03-21 | 北京和利时系统工程有限公司 | Computer interlock system and method for controlling urban rail transit signals thereof |
| CN104793975A (en) * | 2015-04-29 | 2015-07-22 | 北京经纬恒润科技有限公司 | Method and device for updating application programs in electronic control units |
| CN204713110U (en) * | 2015-06-26 | 2015-10-21 | 杭州路信科技有限公司 | The communication interlock system of railway station |
| CN104890701A (en) * | 2015-06-26 | 2015-09-09 | 杭州路信科技有限公司 | Railway station communication linkage system |
| CN112437955A (en) * | 2018-05-18 | 2021-03-02 | 施耐德电气公司亚洲 | Relay device |
| CN109450912A (en) * | 2018-11-26 | 2019-03-08 | 北京旷视科技有限公司 | Data transmission method, device and equipment |
| CN109656167A (en) * | 2018-12-14 | 2019-04-19 | 广州河东科技有限公司 | A kind of communication control system and method based on smart machine |
| CN110329312A (en) * | 2019-08-09 | 2019-10-15 | 湖南中车时代通信信号有限公司 | A kind of method of interlock system control semaphore |
| CN112158235A (en) * | 2020-08-25 | 2021-01-01 | 通号城市轨道交通技术有限公司 | Outdoor signal equipment control method and system for urban rail transit |
| CN112230562A (en) * | 2020-08-25 | 2021-01-15 | 通号城市轨道交通技术有限公司 | System and method for full-electronic interlocking simulation test of urban rail |
Also Published As
| Publication number | Publication date |
|---|---|
| CN113353123B (en) | 2022-11-22 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| ES2307954T3 (en) | METHOD AND DEVICE FOR GENERATING LOGIC CONTROL UNITS FOR ESSENTIAL COMPUTER APPLIANCES BASED ON RAILWAY STATIONS. | |
| Haar et al. | Optimal constructions for active diagnosis | |
| US20090037780A1 (en) | Memory management apparatus | |
| Bernardeschi et al. | A formal verification environment for railway signaling system design | |
| US8675805B2 (en) | Automated periodic surveillance testing method and apparatus in digital reactor protection system | |
| CN103378771A (en) | Motor drive control device | |
| US8509989B2 (en) | Monitoring concept in a control device | |
| Bernardeschi et al. | Model checking fault tolerant systems | |
| US20120272104A1 (en) | Monitoring computer in a control device | |
| CN113353123B (en) | Interlocking execution verification method and device, computer equipment and storage medium | |
| AU2018202873B2 (en) | Method for checking safety requirements of SSI-based data used in an interlocking control system | |
| CN113682351B (en) | Interlocking data testing method and system | |
| Górski | Extending safety analysis techniques with formal semantics | |
| Tsuji et al. | Prioritizing scenarios based on STAMP/STPA using statistical model checking | |
| CN111966071A (en) | Data classification, storage and verification method for vehicle-mounted controller | |
| US8005585B2 (en) | Method for determining the occupancy status of a track section in particular following a restart of an axle counting system, as well as an evaluation device and counting point for this | |
| JP3458694B2 (en) | Fail-safe system and railway operation management system | |
| CN114802368B (en) | Device control method, system, device, equipment and storage medium of interlocking system | |
| CN106355672A (en) | Airborne anti-collision system failure recording method | |
| CN105335177A (en) | Test method, test device and test system of embedded system | |
| Rástočný et al. | Safety of signalling systems-opinions and reality | |
| JPS58151830A (en) | Power system recovering device | |
| CN113361289B (en) | Code identification processing method and device for dial switch and code reading circuit | |
| CN117453146B (en) | Data reading method, system, eFlash controller and storage medium | |
| US20130253807A1 (en) | Method for reversibly coding an engine controller for a motor vehicle in manipulation-proof fashion, and engine controller |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |