The PZB (inductive train protection) is a system that forces trains to a standstill in case of driving too fast towards a stop. A running train is influenced by the interaction of magnets on the track and within the train.

System Description:

The magnets in the train induce the frequency 500Hz, 1000Hz or 2000Hz each to the respective trackside magnets. The induction is a signal for the crossing of an active trackside magnet and leads to a velocity control depending on the section where the train is located. If the train driver has not seen a stop signal and does not deccelerate to a required velocity an emergency brake is triggered. Some parts of the PZB are disregarded within our case study as the fault mode and train changes.

Modeling with SAML:

For this case study, we modeled relevant components such as the trackside and train magnets, the driver, the train itself and the human-machine interface in SAML within templates. The train is represented by its current position, velocity and acceleration. A route with 1500m length is considered with a stop signal and arbitrary trackside magnets. For reasons of state space reduction this route is abstracted from 1m per simulation step to 2m per step. To model non-deterministic behavior of the train driver, in each step a choice is given how he will act in the next step. The templates are connected with each other via a PZB main component.

For the velocity control a velocity curve as a constraint is required. This curve is expressed by a component which takes a value depending on the time that has passed after starting the control. Therefore, all of the different cases have to be considered within transitions.

Results:

Why and What? In this section we give an overview over motivation and the core features of VECS.

Read more: Product

Am Donnerstag, dem 08.09.2016 veranstaltete der Lehrstuhl für Software Engineering der Otto-von-Guericke Universität Magdeburg unter Leitung von Prof. Dr. Frank Ortmeier mit großem Erfolg den dritten Expertenworkshop zum Thema „Anwendung innovativer modellbasierter Sicherheitsanalysemethoden im Zulassungsprozess sicherheitskritischer Anwendungen“.

Read More