Patent ID: 7522978

Claim:
A method of generating logic control units for railroad station-based Vital Computer Apparatuses for 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 devices that are designed to perform specific train circulation-related operations, and receives state feedback and/or diagnostic signals from said yard elements, said logic unit being generated automatically by a program, on the basis of the surrounding conditions as defined by a station diagram, comprising the list of yard elements, and by a state table, wherein state assuming and/or state switching rules are settled for said yard elements, with reference to state and/or to state switching of the other yard elements and/or to the proper management of railroad traffic, 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, wherein it includes a step for checking correctness of the automatically generated logic unit, which check step includes the following steps: parallel generation of two logic control units, to the same station diagram and the same state table, each unit being generated by one of two generation programs which are as different as possible from each other; comparison between the networks of logic circuits or the network-simulating logic programs provided the two different generation programs to check for structural differences therebetween.