| 摘要 |
A method of generating logic control units for railroad station-based vital computer apparatuses, i.e. in railroad station system control units comprising at least one vital computer which, on the basis of a control program operating in combination with a logic unit, sends state switching controls to so- called yard elements and receives state feedback and/or diagnostic signals from said yard elements, said logic unit being generated automatically by a program, based on the surrounding conditions as defined by the station diagram and by a state table, said logic unit being a network of circuits with components operating according to Boolean logic functions and appropriately structured in compliance with the station diagram and with the state table, or said logic control unit being a program which includes algorithms composed of Boolean logic functions, which operate like networks of Boolean logic circuits. According to the invention, a step for checking the correctness of the automatically generated logic unit is provided, which checking step includes the following steps: parallel generation of two logic control units, according to the same station diagram and the same state table, each being generated by a different generation program; comparison between the networks of logic circuits or network-simulating logic programs provided by the two different programs to check for structural differences. ® KIPO & WIPO 2008
|
