Abstract: Disclosed is switch lock device of a railway switching actuator connected to a switching slide and a tie bar/locking slide of the actuator, the switching slide and a tie bar/locking slide being slidable one over the other to lock a blade of a railway switch in a closed position, the switch lock including an oscillating catch unit oscillating between two positions, engaging either a stationary step of a casing of the actuator or a head surface of the switching slide. The oscillating catch unit links to the end of the tie bar by a spring actuated mechanism blocking oscillation of the oscillating catch unit in an unlocked position corresponding to the engagement of the switching slide. During switching, the tie bar compresses the spring actuated mechanism, and the oscillating catch unit is free to oscillate towards a locking position, engaging the step of the casing of the actuator.

Abstract: A track circuit for railway systems or the like includes a track segment of predetermined length electrically insulated from an adjacent track segment by an electric joint, which includes a conductor and forms two loops arranged in a longitudinal S-shape within the space between the rails. Units are provided that transmit and receive electric signals and that are operatively coupled with the electric joints. The transmitting/receiving units include a unit transmitting and receiving a high-frequency signal to detect a train on the a track segment, and a unit transmitting and receiving a low-frequency signal which provides the carrier encoded with information to be transmitted to a train-based receiving unit. Units are further provided that enable/disable the high-frequency signal transmitting/receiving units, and units that enable/disable the low-frequency signal transmitting/receiving units, which are alternately actuated. The electric joint includes an internal impedance disposed between the two loops.

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: A switch machine for railway and tramway switches or the like, having an enclosure for its operating units of the same size as a tie and adapted to be used like a tie, characterized in that the switch machine has a modular construction.

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: A processing/control apparatus has a first processing unit with a first data processor/controller; an input port for input data received from a remote unit; an output port for output data to be transmitted to a remote unit. The first unit comprising device for generating an unique code for functional control of the processing/receiving/transmitting steps being performed and a port for transmission of generated checkwords. A functional checker/protection unit comprises a second processing unit, a program for checking functional steps of the first unit and a program for checking the correctness of functional control codes and time sequence thereof.

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.