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.

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.

An interface adapter for controlling a track-side object of a railway installation includes an analog input from an external source and an analog output to drive an electromechanical relay circuit. A bidirectional digital communication interface communicates digital data including first digital data transmitted and second digital data received. An analog-to-digital converter coupled to the analog input is configured to generate a first digital signal representing the electrical input. A digital-to-analog converter coupled to the analog output is configured to generate the electrical output in response to a second digital signal. A power supply supplies electrical power to the digital-to-analog converter. A programmable logic control circuit includes a control program configured to produce the first digital data from the first digital signal, transmit the first digital data using the digital communication interface, process the second digital data, and produce the second digital signal in response to the second digital data.

An interface adapter for controlling a track-side object of a railway installation includes an analog input from an external source and an analog output to drive an electromechanical relay circuit. A bidirectional digital communication interface communicates digital data including first digital data transmitted and second digital data received. An analog-to-digital converter coupled to the analog input is configured to generate a first digital signal representing the electrical input. A digital-to-analog converter coupled to the analog output is configured to generate the electrical output in response to a second digital signal. A power supply supplies electrical power to the digital-to-analog converter. A programmable logic control circuit includes a control program configured to produce the first digital data from the first digital signal, transmit the first digital data using the digital communication interface, process the second digital data, and produce the second digital signal in response to the second digital data.

The safety device includes a plurality of arithmetic units which output an arithmetic result of input data as arithmetic data in each control period, a first comparison unit which compares information indicating the control period at a timing at which each of the plurality of arithmetic units outputs the arithmetic data, a plurality of temporary storage units which hold the arithmetic data output by the plurality of arithmetic units, a second comparison unit configured to compare the arithmetic data held by the plurality of temporary storage units, and an output unit configured to output the arithmetic data to outside. Each of the plurality of temporary storage units outputs the arithmetic data held therein according to a comparison result from the first comparison unit, and the output unit outputs the arithmetic data output by the temporary storage units to the outside according to a comparison result from the second comparison unit.

The present disclosure relates to a rail transit signal system with multi-network integration, including: a wayside train control subsystem for simultaneously supporting mixed tracking operation of a China train control system (CTCS)-based national railway train and a communication based train control (CBTC)-based urban rail transit train; a compatible carborne subsystem for realizing cross-line operation of a national railway line network, an intercity railway network, a municipal railway network, and an urban rail transit network; a networked intelligent dispatching subsystem for realizing intelligent dispatching management of rail transit line networks and cooperation of line network operation plans between different rail transit line networks; an interlocking subsystem being respectively communicatively connected to and interacting with the wayside train control subsystem, the compatible carborne subsystem, and the networked intelligent dispatching subsystem; and a wireless train-ground communication subsystem for simultaneously providing communication for the national railway train and the urban rail transit train. Compared to the prior art, the present disclosure has the advantages of interconnection and interworking, deep integration, etc.

The present disclosure relates to a rail transit signal system with multi-network integration, including: a wayside train control subsystem for simultaneously supporting mixed tracking operation of a China train control system (CTCS)-based national railway train and a communication based train control (CBTC)-based urban rail transit train; a compatible carborne subsystem for realizing cross-line operation of a national railway line network, an intercity railway network, a municipal railway network, and an urban rail transit network; a networked intelligent dispatching subsystem for realizing intelligent dispatching management of rail transit line networks and cooperation of line network operation plans between different rail transit line networks; an interlocking subsystem being respectively communicatively connected to and interacting with the wayside train control subsystem, the compatible carborne subsystem, and the networked intelligent dispatching subsystem; and a wireless train-ground communication subsystem for simultaneously providing communication for the national railway train and the urban rail transit train. Compared to the prior art, the present disclosure has the advantages of interconnection and interworking, deep integration, etc.