Patent ID: 7725303

Claim:
A device for checking a logical software engine for controlling and commanding a railway plant comprising a plurality of wayside operating units, the device comprising: a central processing unit generating a command signal to the plurality of operating units, the plurality of operating units being configured to receive the command signal and generate a control signal about an operating condition, the control signal being transmitted to the central processing unit, the central processing unit reading the control signal and processing the command signal according to an operation protocol; and one or more memories storing a logical engine commanding the railway plant, a plant simulation program, and a graphic program, wherein the logical engine commands and controls the simulation program, wherein the plant simulation program simulates a railway plant structure and operating modes of the plurality of operating units, the plant simulation program comprising a control and command logical program and a simulation program representing operative functions of one or more plant components, wherein a plant component is an operating unit, a structural element, an area of the railway plant, or the entire plant, and the plant component is univocally associated to a virtual image of the plant component generated by the graphic program, wherein the graphic program generates a different image of each plant component by representing a different graphic aspect condition of the plant component, each aspect condition being associated to a predetermined value of a state variable describing the operating condition of a corresponding plant component, or to a command variable commanding a commutation or a maintenance of an operative state of the plant component, wherein different virtual images corresponding to the different graphic aspect conditions of the plant component are different one from the other and reproduce schematically real modifications of aspects of the plant component in different operating conditions, wherein the plant simulation program comprises one or more Boolean algorithms including variables, and wherein the variables are defined to represent the control signals of different state or operating conditions of the plurality of operating units, and the command signals for commutating and maintaining the different state and operating conditions of the plurality of operating units.