The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Nov. 11, 2025
Filed:
Sep. 11, 2021
Casco Signal Co., Ltd., Shanghai, CN;
Min Wei, Shanghai, CN;
Yanqin Wang, Shanghai, CN;
Mingyao Zhang, Shanghai, CN;
Shaoxin Wang, Shanghai, CN;
Fan Yang, Shanghai, CN;
Xiao Lui, Shanghai, CN;
Cheng Zhang, Shanghai, CN;
Wenyan Zhang, Shanghai, CN;
CASCO SIGNAL CO., LTD., Shanghai, CN;
Abstract
An interlocking data safe conversion method for formal verification and a translator. Two translators with same functions are developed by adopting different programming methods and programming languages. An input file of each of the translators at least comprises an interlocking information table in interlocking data, a device interface information table, a station yard description data and interlocking Boolean logic data. Consistency of output files of the two translators is compared to realize detection process failure.