Entwurf Und/oder Steuerung eines Eisenbahnsignalsystems

Details

Veröffentlichungs-Nr.

EP4741252

Anmeldetag

7. November 2024

Veröffentlichung

13. Mai 2026

Rechtsraum

EP

IPC

(UNIV HUAQIAO et al.)

Abstract

The invention relates to a computer-implemented method of designing and/or controlling a railway signalling system (2) comprising the steps:- providing at least one finite state machine (FSM), for which∘ a plurality of states (ST) are defined that can be assumed by the finite state machine (FSM),∘ a plurality of transitions (31 to 35) are defined, each transition being a transition from one of the defined states (ST) to either the same defined state or to a different one of the defined states (ST),∘ a plurality of conditions are defined, the conditions depending on input information, wherein fulfilment of any one of the conditions triggers an assigned one of the defined transitions (31 to 35),∘ a plurality of attributes are defined as output information, wherein each attribute may assume, at a time, one of a plurality of pre-defined values, wherein each of the plurality of defined states (ST) is assigned to at least one of the defined attributes having a specific one of the pre-defined values,wherein the plurality of states (ST) of the finite state machine (FSM) are signalling states that can be realised in railway signalling systems in relation to a single component or an arrangement of components of a railway track or railway track system (1),- evaluating a functional behaviour of each of the at least one finite state machine (FSM), based on different sets of input information that result in the fulfillment of different ones of the plurality of defined conditions, by checking that respective ones of the plurality of defined states (ST), that are assumed in reaction to the different sets of input information, in each case correspond to an expected state and/or that the output information represented by the values of the plurality of defined attributes, that are assumed in reaction to the different sets of input information, in each case correspond to expected values,- receiving a design of a railway track or railway track system (1) that comprises a railway signalling system (2) and generating a computer model of the railway signalling system (2) by using at least one instance of at least one evaluated finite state machine (FSM), which has been evaluated according to the preceding step,- simulating a behaviour of the railway signalling system (2) by using the computer model and outputting results of the simulation for realizing the railway signallingsystem (2) in practice and/or using the computer model to control an operation of the railway signalling system (2).

Anmelder

Firmen

ALSTOM Holdings
University of Pisa

Land

🇫🇷 Frankreich