CN113689192A - Communication-based train control system data generation method - Google Patents
Communication-based train control system data generation method Download PDFInfo
- Publication number
- CN113689192A CN113689192A CN202110974911.4A CN202110974911A CN113689192A CN 113689192 A CN113689192 A CN 113689192A CN 202110974911 A CN202110974911 A CN 202110974911A CN 113689192 A CN113689192 A CN 113689192A
- Authority
- CN
- China
- Prior art keywords
- data
- input
- communication
- calculation
- groups
- 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
- 238000000034 method Methods 0.000 title claims abstract description 38
- 238000004891 communication Methods 0.000 title claims abstract description 28
- 238000004364 calculation method Methods 0.000 claims abstract description 49
- 238000012795 verification Methods 0.000 claims abstract description 17
- 238000013461 design Methods 0.000 claims abstract description 13
- 238000009826 distribution Methods 0.000 claims abstract description 6
- 230000008569 process Effects 0.000 claims description 13
- 238000011161 development Methods 0.000 claims description 7
- 238000012986 modification Methods 0.000 claims description 7
- 230000004048 modification Effects 0.000 claims description 7
- 230000006870 function Effects 0.000 claims description 5
- 238000003860 storage Methods 0.000 claims description 3
- 238000007689 inspection Methods 0.000 claims description 2
- 238000004519 manufacturing process Methods 0.000 description 4
- 230000007246 mechanism Effects 0.000 description 4
- 238000010586 diagram Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 230000004075 alteration Effects 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 230000002457 bidirectional effect Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
- G06Q10/101—Collaborative creation, e.g. joint development of products or services
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/25—Integrating or interfacing systems involving database management systems
- G06F16/258—Data format conversion from or to a database
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/40—Business processes related to the transportation industry
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
- H04L9/3239—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions involving non-keyed hash functions, e.g. modification detection codes [MDCs], MD5, SHA or RIPEMD
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Theoretical Computer Science (AREA)
- Human Resources & Organizations (AREA)
- Databases & Information Systems (AREA)
- Entrepreneurship & Innovation (AREA)
- General Physics & Mathematics (AREA)
- Physics & Mathematics (AREA)
- Strategic Management (AREA)
- Tourism & Hospitality (AREA)
- General Business, Economics & Management (AREA)
- Computer Security & Cryptography (AREA)
- Marketing (AREA)
- Economics (AREA)
- Data Mining & Analysis (AREA)
- Signal Processing (AREA)
- Quality & Reliability (AREA)
- Computer Networks & Wireless Communication (AREA)
- Operations Research (AREA)
- General Engineering & Computer Science (AREA)
- Health & Medical Sciences (AREA)
- General Health & Medical Sciences (AREA)
- Primary Health Care (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
A data generation method of a train control system based on communication comprises the following steps: two input personnel respectively and independently input the system design data to generate two groups of input data; the other two groups of personnel or two personnel except the personnel for data input respectively compare and verify the two groups of input data; respectively and automatically calculating two groups of input data which are consistent in comparison and verification through two different calculation tools to generate two groups of calculation data; the other two groups of personnel or two personnel except the calculation tool developer respectively carry out verification comparison on the two groups of calculation data; and (4) communication-based train control system data distribution. The invention has higher correctness and safety, low undetected rate of errors and high repeatable utilization rate of data.
Description
Technical Field
The invention relates to the technical field of rail transit, in particular to a CBTC (Communication Based Train Control System) data generation method Based on a double-chain mechanism.
Background
A Communication-Based Train Control System (CBTC) adopts a Train active positioning technology independent of a trackside Train occupation detection device and a continuous Train-ground bidirectional data Communication technology, and is a continuous Train automatic Control System constructed by a vehicle-mounted processor and a ground processor capable of executing a safety function.
Each subsystem in the CBTC system must know the real-time location information of the train, which requires that CBTC data production mainly converts system design files, civil engineering line equipment files and the like in various formats into data files with high readability and convenience for identification and processing of each subsystem. The manufacturing process firstly needs a manual input mode to convert the document data describing the properties into table data, and then generates the data required by each subsystem in a tool calculation mode.
Disclosure of Invention
The invention aims to provide a communication-based data generation method for a train control system, which has higher correctness and safety, low undetected rate of errors and high repeatable utilization rate of data.
In order to achieve the above object, the present invention provides a method for generating data of a train control system based on communication, comprising the steps of:
two input personnel respectively and independently input the system design data to generate two groups of input data;
the other two groups of personnel or two personnel except the personnel for data input respectively compare and verify the two groups of input data;
respectively and automatically calculating two groups of input data which are consistent in comparison and verification through two different calculation tools to generate two groups of calculation data;
the other two groups of personnel or two personnel except the calculation tool developer respectively carry out verification comparison on the two groups of calculation data;
and (4) communication-based train control system data distribution.
The system design data comprises an internal input file and an external input file;
the internal input file at least comprises: train characteristic files, real-time problem files, system configuration rules, train operation rules and system structure charts;
the external input file at least comprises: railway vehicle attribute, civil engineering data, interoperability data configuration process.
The recording mode comprises the following steps: manually inputting through a data input interface and importing through an Excel file.
The method for comparing and verifying the two groups of input data comprises the following steps:
comparing and verifying personnel to judge the difference between the two sets of input data according to a platform file and a data manual consisting of the system design data, feeding the problem back to the wrong one-chain input personnel for adjustment, and comparing and verifying the two sets of input data by adopting different comparison tools after adjustment until the two sets of input data are consistent;
the platform file at least comprises: system data parameter description documents, system data tool calculation rule documents, system data flow files and data structure files.
The two different calculation tools are developed by two groups of independent developers according to the system data tool calculation rule documents and by adopting different development languages, development environments and algorithms.
The automatic calculation method of the calculation tool comprises the following steps: and performing repeated iteration recalculation on the input data according to the system data parameter description document and the system data tool calculation rule document.
The method for verifying and comparing two groups of calculation data comprises the following steps:
and verifying that a comparator performs independent inspection and data structure file verification on the two groups of calculation data respectively, comparing the two groups of calculation data respectively by adopting different comparison tools, and feeding back the comparison difference to the wrong chain for adjustment and modification until the double-chain data are consistent.
The comparison tool adopts Compare software or Compare function of Office software.
The communication-based train control system data distribution at least comprises: subsystem data issuing and MD5 check code issuing.
The subsystem at least comprises: ATC system, ATS system, CI system, MSS system, DCS system; the subsystem data at least comprises: data published to the own system, and interface data of the system associated therewith.
The version of the data release needs to be compared with the version which is put in storage before, and the difference between the two versions needs to be recorded and tracked.
After the communication-based train control system data is released, the system data cannot be modified in the process that each subsystem uses the system data.
The invention has the following advantages:
1. the invention enables the double-chain mechanism to run through the whole CBTC data generation process, so that the system data has higher correctness and safety.
2. The CBTC system data is issued to each subsystem, commonalities among data of the same level (each subsystem) are consolidated, repeated manufacturing of the data is avoided, and the repeated utilization rate of the data is improved.
3. Each subsystem only has use right and no modification right for system data, and higher security level is always kept in the system data maintenance process.
Drawings
Fig. 1 is a flowchart of a communication-based train control system data generation method according to the present invention.
FIG. 2 is a CBTC system data generation flow diagram.
FIG. 3 is a schematic diagram of a double strand comparison.
Detailed Description
The preferred embodiment of the present invention will be described in detail below with reference to fig. 1 to 3.
In order to avoid repeated calculation of data by different equipment among different subsystems and under the same subsystem, the data of the CBTC general system can be issued to each subsystem, and a data making mode based on a double-chain mechanism is adopted, so that each data making process adopts a double-chain independent making team and a third party verification team, errors caused by manual input, tool calculation and the like can be avoided to the greatest extent, the unrecognizable rate of the errors is reduced, and the safety level of the system can be effectively improved.
As shown in fig. 1, in an embodiment of the present invention, a communication-based train control system data generation method is provided, including the following steps:
step S1: acquiring system design data;
step S2: the double chains are respectively input with system design data;
step S3: double-chain verification comparison input data;
step S4: the double chains respectively calculate the input data;
step S5: comparing the data generated by calculation by double-chain verification;
step S6: and (4) releasing the CBTC system data.
In step S1, the system design data includes an internal input file and an external input file, and the internal input file includes: train characteristic files, real-time problem files, system configuration rules, train operation rules, system structure diagrams and the like; the external input file includes: rail vehicle attributes, civil engineering data, interoperability data configuration processes, and the like.
As shown in fig. 2, in step S2, two entry personnel respectively and independently enter the system design data acquired in step S1 to generate two sets of entry data; the recording mode comprises the following steps: manually inputting through a data input interface and importing through an Excel file.
As shown in fig. 2, in step S3, the two sets of entered data that are entered in the double-chain in step S2 are compared and verified by two other sets of people (or two people) except the person who enters the data in step S2, respectively, using different comparison tools (the comparison tools may use Compare software, the Compare function of Office software, etc.); as shown in fig. 3, the comparison and verification method includes two steps of difference analysis and verification, and a comparison and verification person needs to determine the difference between two sets of input data according to a platform file (including a system data parameter description file, a system data tool calculation rule file, a system data flow file, and a data structure file) and a data manual composed of system design data in step S1, feed back a problem to a chain of input persons with data errors for adjustment, and perform comparison and verification after adjustment until two-chain data is consistent.
As shown in fig. 2, in step S4, two sets of input data that are aligned in step S3 are automatically calculated independently (whole process tool calculation, without manual intervention) using different calculation tools (two calculation tools developed by two independent development teams according to system data tool calculation rule documents and using different development languages, development environments and algorithms); the calculation method is to perform multiple iterations of recalculation on the data entered in step S2 according to the system data parameter description document and the system data tool calculation rule document.
As shown in fig. 2, in step S5, two groups of people (or two people) except the developer in step S4 perform a double-chain independent check on the two groups of calculation data obtained by the double-chain calculation in step S4, perform an XSD (data structure file) check on the two groups of calculation data, then respectively Compare the two groups of calculation data obtained by the double-chain calculation in step S4 with different comparison tools (the comparison tools may use Compare software, the Compare function of Office software, etc.), and feed the comparison difference back to the wrong one-chain calculator for adjustment and modification until the results of the double-chain calculation data are matched and consistent, and then the subsequent steps cannot be performed.
As shown in fig. 2, in step S6, the CBTC system data is basic data for project implementation, and the CBTC system data release includes release of ATC, CI, ATS, MSS subsystem data, interface data, and MD5 check code (for performing security check on the released data). The CBTC system data release mainly comprises three processes of archiving, comparing and subsystem data release. The archiving refers to recording information such as time, version and the like of the system data released this time, the released version needs to be compared with the version put in storage before, and the difference between the two versions needs to be recorded and tracked. The subsystem data release mainly comprises the release of ATC system data, ATS system data, CI system data, MSS system data and DCS system data. The data issued by the subsystems mainly comprises data issued to the own system and interface data of the system related to the own system. After the system data is released, the system data cannot be modified in the process that each subsystem uses the system data. Any modification of the system data goes through the processes of double-chain data input, double-chain tool calculation, third-party verification and final release as described in steps S1-S6.
The invention has the following advantages:
1. the invention enables the double-chain mechanism to run through the whole CBTC data generation process, so that the system data has higher correctness and safety.
2. The CBTC system data is issued to each subsystem, commonalities among data of the same level (each subsystem) are consolidated, repeated manufacturing of the data is avoided, and the repeated utilization rate of the data is improved.
3. Each subsystem only has use right and no modification right for system data, and higher security level is always kept in the system data maintenance process.
It should be noted that, in the embodiments of the present invention, the terms "center", "longitudinal", "lateral", "length", "width", "thickness", "upper", "lower", "front", "rear", "left", "right", "vertical", "horizontal", "top", "bottom", "inner", "outer", "clockwise", "counterclockwise", "axial", "radial", "circumferential", etc. indicate the orientation or positional relationship shown in the drawings, and are only for convenience of describing the embodiments, but do not indicate or imply that the referred device or element must have a specific orientation, be constructed in a specific orientation, and be operated, and thus, should not be construed as limiting the present invention. Furthermore, the terms "first," "second," and "third" are used for descriptive purposes only and are not to be construed as indicating or implying relative importance.
In the present invention, unless otherwise expressly stated or limited, the terms "mounted," "connected," "secured," and the like are to be construed broadly and can, for example, be fixedly connected, detachably connected, or integrally formed; can be mechanically or electrically connected; either directly or indirectly through intervening media, either internally or in any other relationship. The specific meanings of the above terms in the present invention can be understood by those skilled in the art according to specific situations.
While the present invention has been described in detail with reference to the preferred embodiments, it should be understood that the above description should not be taken as limiting the invention. Various modifications and alterations to this invention will become apparent to those skilled in the art upon reading the foregoing description. Accordingly, the scope of the invention should be determined from the following claims.
Claims (12)
1. A data generation method of a train control system based on communication is characterized by comprising the following steps:
two input personnel respectively and independently input the system design data to generate two groups of input data;
the other two groups of personnel or two personnel except the personnel for data input respectively compare and verify the two groups of input data;
respectively and automatically calculating two groups of input data which are consistent in comparison and verification through two different calculation tools to generate two groups of calculation data;
the other two groups of personnel or two personnel except the calculation tool developer respectively carry out verification comparison on the two groups of calculation data;
and (4) communication-based train control system data distribution.
2. The communication-based train control system data generating method of claim 1, wherein the system design data includes an internal input file and an external input file;
the internal input file at least comprises: train characteristic files, real-time problem files, system configuration rules, train operation rules and system structure charts;
the external input file at least comprises: railway vehicle attribute, civil engineering data, interoperability data configuration process.
3. The communication-based train control system data generation method according to claim 2, wherein the entry means includes: manually inputting through a data input interface and importing through an Excel file.
4. The communication-based train control system data generation method of claim 3, wherein the method for comparing and verifying the two sets of logging data comprises:
comparing and verifying personnel to judge the difference between the two sets of input data according to a platform file and a data manual consisting of the system design data, feeding the problem back to the wrong one-chain input personnel for adjustment, and comparing and verifying the two sets of input data by adopting different comparison tools after adjustment until the two sets of input data are consistent;
the platform file at least comprises: system data parameter description documents, system data tool calculation rule documents, system data flow files and data structure files.
5. The communication-based train control system data generating method of claim 4, wherein the two different calculation tools are two calculation tools developed by two groups of independent developers according to system data tool calculation rule documents and using different development languages, development environments and algorithms.
6. The communication-based train control system data generating method according to claim 5, wherein the automatic calculation method of the calculation tool comprises: and performing repeated iteration recalculation on the input data according to the system data parameter description document and the system data tool calculation rule document.
7. The communication-based train control system data generating method of claim 6, wherein the method for performing verification comparison on two sets of calculation data comprises:
and verifying that a comparator performs independent inspection and data structure file verification on the two groups of calculation data respectively, comparing the two groups of calculation data respectively by adopting different comparison tools, and feeding back the comparison difference to the wrong chain for adjustment and modification until the double-chain data are consistent.
8. The communication-based train control system data generating method according to claim 4 or 7, wherein the comparing means employs Compare software or Compare function of Office software.
9. The communication-based train control system data generating method according to claim 8, wherein the communication-based train control system data distribution includes at least: subsystem data issuing and MD5 check code issuing.
10. The communication-based train control system data generating method of claim 9, wherein the subsystem comprises at least: ATC system, ATS system, CI system, MSS system, DCS system; the subsystem data at least comprises: data published to the own system, and interface data of the system associated therewith.
11. The communication-based train control system data generating method according to claim 10, wherein the version of the data distribution needs to be compared with the version of the data warehouse which is put in storage before, and the difference between the two versions needs to be recorded and tracked.
12. The communication-based train control system data generating method according to claim 11, wherein after the communication-based train control system data is released, the system data cannot be modified while the system data is used by each subsystem.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110974911.4A CN113689192B (en) | 2021-08-24 | 2021-08-24 | Communication-based train control system data generation method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110974911.4A CN113689192B (en) | 2021-08-24 | 2021-08-24 | Communication-based train control system data generation method |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113689192A true CN113689192A (en) | 2021-11-23 |
CN113689192B CN113689192B (en) | 2024-05-31 |
Family
ID=78581907
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110974911.4A Active CN113689192B (en) | 2021-08-24 | 2021-08-24 | Communication-based train control system data generation method |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113689192B (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115808907A (en) * | 2022-11-17 | 2023-03-17 | 华侨大学 | Verification method and verification system of train control system based on communication |
Citations (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103941719A (en) * | 2014-03-21 | 2014-07-23 | 上海富欣智能交通控制有限公司 | Reverse verification method for safety key data |
US20150307119A1 (en) * | 2014-04-25 | 2015-10-29 | Nabil N. Ghaly | Method & apparatus for an auxiliary train control system |
CN105539521A (en) * | 2015-12-16 | 2016-05-04 | 北京交控科技股份有限公司 | Automatic basic data generating method and system of CBTC (Communication Based Train Control) system circuit |
CN106332196A (en) * | 2016-08-26 | 2017-01-11 | 杭州华三通信技术有限公司 | Data communication method and device |
KR20170020653A (en) * | 2015-08-13 | 2017-02-23 | 한국철도기술연구원 | Inter-train connection topology integrity management scheme of the ATS for the train-centric train control system |
CN106672025A (en) * | 2017-01-18 | 2017-05-17 | 湖南中车时代通信信号有限公司 | Method and system for detecting train positioning on basis of dynamic adjustment |
CN106809253A (en) * | 2017-01-18 | 2017-06-09 | 湖南中车时代通信信号有限公司 | A kind of distributed train operation control system based on communication |
CN107054414A (en) * | 2017-04-18 | 2017-08-18 | 卡斯柯信号有限公司 | Remote reboot control method and device for Urban Rail Transit Signal equipment |
CN107284471A (en) * | 2017-05-18 | 2017-10-24 | 交控科技股份有限公司 | A kind of CBTC systems based on truck traffic |
CN107512292A (en) * | 2017-07-18 | 2017-12-26 | 交控科技股份有限公司 | A kind of CBTC line basis data generation method and device |
CN107562808A (en) * | 2017-08-10 | 2018-01-09 | 浙江众合科技股份有限公司 | A kind of verification method of isomery double-strand automation data |
CN108595535A (en) * | 2018-03-30 | 2018-09-28 | 李欣宇 | Knowledge Q-A system and method based on the double-chain block chain of same root |
CN109656820A (en) * | 2018-12-10 | 2019-04-19 | 中国铁道科学研究院集团有限公司通信信号研究所 | Intelligent automation test macro based on CBTC |
WO2019076030A1 (en) * | 2017-10-20 | 2019-04-25 | 北京全路通信信号研究设计院集团有限公司 | Control method and train operation control system |
CN109949016A (en) * | 2019-04-02 | 2019-06-28 | 北京交大思诺科技股份有限公司 | Column control data intelligence checks management system |
CN110011837A (en) * | 2019-03-19 | 2019-07-12 | 中国铁道科学研究院集团有限公司通信信号研究所 | One kind being based on CBTC grid data intelligent failure analysis methods |
CN110851861A (en) * | 2019-10-31 | 2020-02-28 | 卡斯柯信号有限公司 | Method for assisting ATC vehicle-mounted safety data verification and automatic generation of verification report |
CN110941593A (en) * | 2019-12-03 | 2020-03-31 | 浪潮卓数大数据产业发展有限公司 | File warehousing system and method |
WO2020240862A1 (en) * | 2019-05-31 | 2020-12-03 | Hitachi, Ltd. | Train control system, train control device, and train control method |
CN113031934A (en) * | 2021-04-06 | 2021-06-25 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
-
2021
- 2021-08-24 CN CN202110974911.4A patent/CN113689192B/en active Active
Patent Citations (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103941719A (en) * | 2014-03-21 | 2014-07-23 | 上海富欣智能交通控制有限公司 | Reverse verification method for safety key data |
US20150307119A1 (en) * | 2014-04-25 | 2015-10-29 | Nabil N. Ghaly | Method & apparatus for an auxiliary train control system |
KR20170020653A (en) * | 2015-08-13 | 2017-02-23 | 한국철도기술연구원 | Inter-train connection topology integrity management scheme of the ATS for the train-centric train control system |
CN105539521A (en) * | 2015-12-16 | 2016-05-04 | 北京交控科技股份有限公司 | Automatic basic data generating method and system of CBTC (Communication Based Train Control) system circuit |
CN106332196A (en) * | 2016-08-26 | 2017-01-11 | 杭州华三通信技术有限公司 | Data communication method and device |
CN106672025A (en) * | 2017-01-18 | 2017-05-17 | 湖南中车时代通信信号有限公司 | Method and system for detecting train positioning on basis of dynamic adjustment |
CN106809253A (en) * | 2017-01-18 | 2017-06-09 | 湖南中车时代通信信号有限公司 | A kind of distributed train operation control system based on communication |
CN107054414A (en) * | 2017-04-18 | 2017-08-18 | 卡斯柯信号有限公司 | Remote reboot control method and device for Urban Rail Transit Signal equipment |
CN107284471A (en) * | 2017-05-18 | 2017-10-24 | 交控科技股份有限公司 | A kind of CBTC systems based on truck traffic |
CN107512292A (en) * | 2017-07-18 | 2017-12-26 | 交控科技股份有限公司 | A kind of CBTC line basis data generation method and device |
CN107562808A (en) * | 2017-08-10 | 2018-01-09 | 浙江众合科技股份有限公司 | A kind of verification method of isomery double-strand automation data |
WO2019076030A1 (en) * | 2017-10-20 | 2019-04-25 | 北京全路通信信号研究设计院集团有限公司 | Control method and train operation control system |
CN108595535A (en) * | 2018-03-30 | 2018-09-28 | 李欣宇 | Knowledge Q-A system and method based on the double-chain block chain of same root |
CN109656820A (en) * | 2018-12-10 | 2019-04-19 | 中国铁道科学研究院集团有限公司通信信号研究所 | Intelligent automation test macro based on CBTC |
CN110011837A (en) * | 2019-03-19 | 2019-07-12 | 中国铁道科学研究院集团有限公司通信信号研究所 | One kind being based on CBTC grid data intelligent failure analysis methods |
CN109949016A (en) * | 2019-04-02 | 2019-06-28 | 北京交大思诺科技股份有限公司 | Column control data intelligence checks management system |
WO2020240862A1 (en) * | 2019-05-31 | 2020-12-03 | Hitachi, Ltd. | Train control system, train control device, and train control method |
CN110851861A (en) * | 2019-10-31 | 2020-02-28 | 卡斯柯信号有限公司 | Method for assisting ATC vehicle-mounted safety data verification and automatic generation of verification report |
CN110941593A (en) * | 2019-12-03 | 2020-03-31 | 浪潮卓数大数据产业发展有限公司 | File warehousing system and method |
CN113031934A (en) * | 2021-04-06 | 2021-06-25 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
Non-Patent Citations (2)
Title |
---|
王森;黄友能;王伟;: "CBTC系统数据管理过程分析和设计", 都市快轨交通, vol. 26, no. 03, 18 June 2013 (2013-06-18), pages 13 - 16 * |
赵训婷等: "一种CBTC系统数据码位自动生成方法研究", 《城市轨道交通研究》, no. 3, pages 66 - 74 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115808907A (en) * | 2022-11-17 | 2023-03-17 | 华侨大学 | Verification method and verification system of train control system based on communication |
Also Published As
Publication number | Publication date |
---|---|
CN113689192B (en) | 2024-05-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9418099B2 (en) | Data improvement system and method | |
US20030200123A1 (en) | Injury analysis system and method for insurance claims | |
CN115526605B (en) | Approval method and system based on enterprise internal control management | |
CN113689192A (en) | Communication-based train control system data generation method | |
CN110970121B (en) | Operation transferring and tracing system and operation transferring and tracing method based on block chain | |
CN112561370A (en) | Software version management method and device, computer equipment and storage medium | |
CN110929309B (en) | Automatic verification method for protection section list document in urban rail signal system | |
CN112131313B (en) | System and method for managing oiling data based on block chain | |
CN107563686A (en) | A kind of railway transportation stearic alcohol data verification method, system and storage medium | |
CN103838871B (en) | A kind of method of calibration of nuclear power station security level DCS S-VDU procedure file | |
CN117077641B (en) | Medical data synthesis method and device | |
CN116485212A (en) | Safe operation management method and system for rail transit power supply equipment | |
CN112182016B (en) | Automatic checking method and related system for higher point inspection | |
CN110889585B (en) | Information classification decision method, device, computer system and readable storage medium | |
CN115618420A (en) | Safety tool development method based on double-chain mechanism and application thereof | |
CN114386003A (en) | Hidden danger checking method and device and storage medium | |
Withers et al. | Office Safety Checker for Moving Block Train Control Systems [Research Results] | |
CN111489055A (en) | Passenger data processing method and device, storage medium and computer equipment | |
CN112417908A (en) | Electronic code scanning method for inputting in-out information | |
CN105809196A (en) | Priori topic model-based train control system on-board equipment intelligent fault diagnosis method | |
CN115476895B (en) | Outgoing train checking method, device, equipment and computer storage medium | |
CN117609001A (en) | Data checking method, device, electronic equipment and storage medium | |
Balogun et al. | Hybrid Reduction Techniques With Covariate Shift Optimization in High-Dimensional Track Geometry | |
CN116263913A (en) | Conference collaborative review method, system and storage medium | |
CN116595077A (en) | Importing processing method and plug-in of Excel document under multi-template |
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 |