TU Braunschweig


Formel-R - Development of Train Control and Safety Systems

Prof. Dr.-Ing. Dr. h.c. mult. Eckehard Schnieder / Dipl.-Ing. Hansjörg Manz


The students specify all aspects of a satelite-based positioning (SatZB) with high-level Petri-nets.

SatZB should improve the protection of trains on the track and thus protect from improper action by train driver before they clash on the free section. This improved track safety is to be economically and short termed achieved in the substantial absence of additional trackside equipment. In addition to the higher standard of safety, the track speed can be an increased on the authorized train guidance tracks on the DB AG internally set limits if it is justifiable in the sense of secure.

The position of the trains is determined among others by GPS-satellite positioning. Through data communication with a central computer, the positions of all trains in block sections are precisely known. It is monitored by the central computer, that no more than one train can ever enter freely in a defined block section. The entrance of a train in an already occupied block section is prevented by the train internal driving prevention.

The students will learn basic principles of formal models and holistic development methodologies in the context of the international legal framework

  • legal framework (e.g. EU Safety directive, national laws, international standards, e.g. [EN 5012X series]
  • formal techniques bibliography of techniques means of description and methods (e.g. Petri Nets, UML, BASYSNET)
  • formalized terminology and concept models (terms, concept, system, RAMS, resource, …
  • V4: advanced tools for modeling analysis and documentation (e.g. Alfresco, IGLOS, π-tool, CPN tools …)
  • V5: advanced methodology for the development (requirement engineering, design and modeling, verification and validation, test, formal modeling, implementation, licensing
  • V6: international railway projects (e.g. INTEGRAIL, INESS, ...)
  • V7: structure, functions and technology of a railway control system, operational processes, implementation resources, protection technology, localization, …

Beginn: 01.09.10
Vorlesungsnummer: 01051972
Vorlesungstermin: Beginn: 01.09.10, Freitag, 09:00 - 11:00 Uhr, Room 510, Langer Kamp 8
Übungstermin: -
Prüfung: The examination will be announced in time