Elemente eines computergestützten Werkzeugs zur Entwicklung von Eisenbahnsicherungsanlagen mit Petri-Netzen
Open access
Author
Date
1992-12Type
- Report
ETH Bibliography
yes
Altmetrics
Abstract
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. Show more
Permanent link
https://doi.org/10.3929/ethz-b-000047997Publication status
publishedJournal / series
IVT SchriftenreiheVolume
Publisher
Institut für Verkehrsplanung, Transporttechnik, Strassen- und Eisenbahnbau (IVT), ETH ZürichOrganisational unit
03149 - Brändli, Heinrich02610 - Inst. f. Verkehrspl. u. Transportsyst. / Inst. Transport Planning and Systems
02226 - NSL - Netzwerk Stadt und Landschaft / NSL - Network City and Landscape
02655 - Netzwerk Stadt u. Landschaft ARCH u BAUG / Network City and Landscape ARCH and BAUG
More
Show all metadata
ETH Bibliography
yes
Altmetrics