Abstract: Method and device for checking logical software engines for commanding railway plants, particularly station plants, include at least a computer with at least a central processing unit and at least a memory for loading and executing programs, a logical engine for commanding a plant, particularly a station plant, being loaded or loadable in said memory for its execution, which plant comprises a plurality of operating units for actuating and/or detection and/or measurement and/or signalling, so-called wayside equipments, which units are provided for receiving command signals and for transmitting control signals about the operating condition, and which logical software engine reads control signals given by the operating units for actuating and/or detection and/or measurement and/or signalling and its processes command signals of said operating units based on an operation protocol of the plant itself.

Abstract: 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 yard elements and receives state feedback and/or diagnostic signals from the yard elements. The logic unit is generated automatically by a program, based on the surrounding conditions as defined by the station diagram and by a state table, the logic unit being a network of circuits with components operating according to Boolean logic functions and appropriate structure in compliance with the station diagram and with the state table. The logic control unit may be a program which includes algorithms composed of Boolean logic functions, which operate like networks of Boolean logic circuits. A plurality of steps to check for structural differences.

Abstract: Method for preparing and checking software means to be executed by programmable control devices or plants for carrying out processes, in which: a) a programming language for expressing the software means is provided, which language is based on an abstract syntax, particularly an object oriented syntax; b) the said programming language being generated from both the source code language and the object code language; c) expressing the control program in the said programming language; d) deriving the source code format and/or the object code format of the control program by translation of the said control program expressed in the language based on the abstract syntax into the language of the source code format and/or of the object code format of the abstract syntax.

Abstract: Method and device for checking logical software engines for commanding railway plants, particularly station plants, comprising at least a computer with at least a central processing unit and at least a memory for loading and executing programs: a logical engine for commanding a plant, particularly a station plant, being loaded or loadable in said memory for its execution, which plant comprises a plurality of operating units for actuating and/or detection and/or measurement and/or signalling, so-called wayside equipments, which units are provided for receiving command signals and for transmitting control signals about the operating condition, and which logical software engine reads control signals given by the operating units for actuating and/or detection and/or measurement and/or signalling and its processes command signals of said operating units basing on an operation protocol of the plant itself.

Abstract: 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 yard elements and receives state feedback and/or diagnostic signals from the yard elements. The logic unit is generated automatically by a program, based on the surrounding conditions as defined by the station diagram and by a state table, the logic unit being a network of circuits with components operating according to Boolean logic functions and appropriate structure in compliance with the station diagram and with the state table. The logic control unit may be a program which includes algorithms composed of Boolean logic functions, which operate like networks of Boolean logic circuits.