摘要 |
A method of generating logic control units for railroad station-based vital computer apparatuses, i.e. in railroad station system control units comprisi ng at least one vital computer which, on the basis of a control program operati ng in combination with a logic unit, sends state switching controls to so-calle d yard elements and receives state feedback and/or diagnostic signals from sai d 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, accordi ng to the same station diagram and the same state table, each being generated b y 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.
|