Abstract:
The system comprises a management module (13), all-or-nothing inputs (11) representative of external events (en) and all-or-nothing outputs (17) controlling external actuators (4, 5), automatic modules (15) for executing predetermined tasks (n) so as, in response to said events (en), to act on said outputs (17), the set of states of the inputs (11) and outputs (17) at a given instant (Ti) constituting an instantaneous overall state (Fi) of the system (3), the set of states of the inputs (11) and outputs (17) that is obtained after executing a task (n) constituting a stabilized overall state (ESj) of the system (3). The management module (13) only permits (20) the execution of a task (n) corresponding to an arbitrary external event (en) if no task (n-1) corresponding to another event (en-1) is currently executing and the action of the automatic modules (15) only leads to a finite number of overall states (Fi).
Abstract:
Die Erfindung betrifft eine bahntechnische Anlage und ein Verfahren zum Betreiben einer bahntechnischen Anlage, wobei die bahntechnische Anlage (1) wenigstens einen Streckenabschnitt (3), in dem wenigstens ein schaltbares Stellelement (7) angeordnet ist, und wenigstens zwei autonome streckenseitige Zugsicherungseinrichtungen (4), die jeweils für eine Zugsicherung von mit einer zugeordneten fahrzeugseitigen Zugsicherungseinrichtung (6) ausgestatteten Fahrzeugen (5) auf den wenigstens einen Streckenabschnitt (3) ausgebildet sind, aufweist. Um den Streckenabschnitt auf einfache Weise mit autonomen Fahrzeugen (5) befahren zu können, ist erfindungsgemäß vorgesehen, dass die Anlage (1) wenigstens eine mit den wenigstens zwei streckenseitigen Zugsicherungseinrichtungen (4a, 4b) und dem wenigstens einen Stellelement (7) verbundene Koordinierungseinrichtung (16) aufweist, durch die eine Verbindung des wenigstens einen Stellelements (7) mit der jeweiligen streckenseitigen Zugsicherungseinrichtung (4a, 4b) herstellbar ist.
Abstract:
The invention relates to an (auxiliary) operation of an operating unit which is directed to a signalling system. Information is generated by the signalling system, the information comprising a CAPTCHA, which information is transmitted to the operating unit. There, an operator enters the character string, in particular a transaction authentication number, portrayed in the CAPTCHA, which is transmitted to the signalling system for confirmation. If the input is correct, the operation is implemented. The advantage here is that it is possible to ensure that such an input does not originate from a machine but only from the operator. Automated undesirable operations can thus be effectively and reliably prevented.
Abstract:
The invention relates to an assembly (10) for controlling a technical system (20), in particular a railway track system, wherein the assembly (10) comprises a signal box computer (25), which can trigger a switchover of the technical system (20), and at least two operating station computers (30, 40, 50), by means of which operating commands (BB) can be produced and transmitted to the signal box computer (25). According to the invention, of the operating station computers (30, 40, 50), at least one operating station computer (30) is a secure operating station computer (30) having a security level that reaches a predefined minimum standard, and at least one operating station computer (40, 50) is an insecure operating station computer (40, 50) having a security level that is below the predefined minimum standard, the secure operating station computer (30) is connected to the signal box computer (25) by means of a secure data connection (200) that guarantees predefined transmission security, and the at least one insecure operating station computer (40, 50) is connected to the signal box computer (25) indirectly, specifically by means of the secure operating station computer (30), and the operating commands (BB) of the insecure operating station computer (40, 50) are transmitted to the secure operating station computer (30) and, by means of the secure operating station computer and the secure data connection (200), to the signal box computer (25).
Abstract:
The invention relates to a method for producing a route setting initiation signal (S4) for a central route setting system for generating a route request signal (S1) for a route. According to the invention, in order to design such a method in such a way that the route setting initiation signal is produced at the latest possible time before a brake application point is reached, the route setting initiation signal (S4) is produced by a train. The invention further relates to a device for producing a route setting initiation signal for a central route setting system for generating a route setting signal for a route.
Abstract:
The invention relates to a method and a system for controlling and/or monitoring rail-borne vehicles, comprising: a) at least one signal cabin provided with a signal box computer, b) at least one component arranged along the track in the region of the rails, for the safety of the train, especially a signal, a marker, a loop cable, a leakage flux cable, and an axle counter, c) at least one component arranged along the track in the region of the rails, for adjusting the track, especially a point comprising a point drive, d) at least one decentralised adjusting part for adjusting the components for the safety of the train and the components for adjusting the track. The invention is characterised in that the components for train safety and the components for adjusting the track by means of the decentralised adjustment part associated therewith are coupled to the signal cabin computer by means of a data bus, and safety information is transmitted to the signal box computer or obtained therefrom according to a pre-determined protocol. A feeding bus which is logically decoupled from the signal box computer is provided for electrically feeding at least some of said components.
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 method for handling a safety critical command in a computer network with a safe computer and a non-safe operator terminal, the command concerning a transaction on an element, the method comprising : - transfer of the command from the non-safe operator terminal to the safe computer; - generation of a TAN; - generation of a first executable code and a second executable code by the safe computer; - encryption of the codes by the safe computer; - transmission of the encrypted codes to the non-safe operator terminal; decryption of the codes by the non-safe operator terminal; - execution of the first code on the non-safe operator terminal, whereby a query is displayed to the operator with an invitation to confirm the query; - in case of a confirmation by the operator, the second code is executed and the TAN is transferred to the safe computer.