Elemente eines computergestützten Werkzeugs zur Entwicklung von Eisenbahnsicherungsanlagen mit Petri-Netzen

Eisenbahnsicherungsanlagen sind hochkomplexe Systeme, die sehr hohen Sicher-heitsanforderungen genügen müssen. Ihre detaillierte, vollständige und korrekte Beschreibung bereitet Probleme. In dieser Arbeit werden Grundlagen für die Spezifikation von Eisenbahnsicherungsanlagen mit einer formalen Methode gelegt. Für die statischen Aspekte werden formale Gleistopologien basierend auf Doppelpunktgra-phen verwendet, die dynamischen Eigenschaften werden mit Predicate/Transition-Netzen beschrieben. Anhand einer Modellierung von Zugfahrten auf einer beliebigen Gleistopologie wird schrittweise der Kern einer Stellwerklogik entwickelt. Zur Ausführung der erstellten Modelle soll ein computergestütztes Werkzeug SWITCH-BOXER entwickelt werden. Seine Komponenten sind: Grafische Editoren für formale Gleistopologien und PrT-Netze und ein Stellwerksimulator mit Benutzerschnitt-stelle, Stellwerklogik und Aussenanlage

A new rail optimisation model by integration of traffic management and train automation

This paper reviews and classifies the traffic optimisation schemes of current mainline railway into two groups. One is to improve the efficiency of traffic management by providing resolutions for traffic conflicts, while the other is to improve trains’ driving behaviour by providing driver assistance or introducing train automation. Based on a comparison of these two groups, this paper proposes to combine the functions of traffic management and train automation into an integrated optimisation model. This model includes the following contributions. First, in the function of traffic management, this paper explores the flexibility in generating different train running trajectories to prevent potential traffic conflicts. The trajectory can improve traffic flow by avoiding unplanned train stops. This is regarded as a supplementary conflict resolution to train reordering or rerouting or retiming. Second, this paper defines a series of train control commands to determine different intensities of the train’s tractive force and braking force. These commands are seen as the key to train automation. Moreover, a decision-making procedure is introduced to select the most attractive train running trajectory or train control command according to different optimisation objectives. Lastly, this paper proves the importance of bidirectional communication between traffic management and train automation based on a case study

ACM SAC'03 Special Track on Software Engineering: Applications, Practices, and Tools

The brief letter gives an overview of the topics of the conference track organised by us. Twelve Papers have been selected about Formal Semantics, Design Patterns, UML, Java, Software Testing, etc. The Conference Proceeding containing those papers is published by the ACM