Show simple item record

dc.contributor.author
Montigel, Markus
dc.date.accessioned
2018-02-19T07:39:13Z
dc.date.available
2017-06-09T21:28:26Z
dc.date.available
2018-02-16T11:16:23Z
dc.date.available
2018-02-19T07:39:13Z
dc.date.issued
1992-12
dc.identifier.uri
http://hdl.handle.net/20.500.11850/47997
dc.identifier.doi
10.3929/ethz-b-000047997
dc.description.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.
en_US
dc.language.iso
de
en_US
dc.publisher
Institut für Verkehrsplanung, Transporttechnik, Strassen- und Eisenbahnbau (IVT), ETH Zürich
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.title
Elemente eines computergestützten Werkzeugs zur Entwicklung von Eisenbahnsicherungsanlagen mit Petri-Netzen
en_US
dc.type
Report
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.journal.title
IVT Schriftenreihe
ethz.journal.volume
92
en_US
ethz.size
70 p.
en_US
ethz.identifier.nebis
000697594
ethz.publication.place
Zürich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
03149 - Brändli, Heinrich
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02115 - Dep. Bau, Umwelt und Geomatik / Dep. of Civil, Env. and Geomatic Eng.::02610 - Inst. f. Verkehrspl. u. Transportsyst. / Inst. Transport Planning and Systems
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02100 - Dep. Architektur / Dep. of Architecture::02655 - Netzwerk Stadt und Landschaft D-ARCH::02226 - NSL - Netzwerk Stadt und Landschaft / NSL - Network City and Landscape
*
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02100 - Dep. Architektur / Dep. of Architecture::02655 - Netzwerk Stadt und Landschaft D-ARCH
*
ethz.date.deposited
2017-06-09T21:28:32Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f1fddaee99553
ethz.ecitpid
pub:78935
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-15T07:08:30Z
ethz.rosetta.lastUpdated
2019-02-02T14:44:05Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Elemente%20eines%20computergest%C3%BCtzten%20Werkzeugs%20zur%20Entwicklung%20von%20Eisenbahnsicherungsanlagen%20mit%20Petri-Netzen&rft.jtitle=IVT%20Schriftenreihe&rft.date=1992-12&rft.volume=92&rft.au=Montigel,%20Markus&rft.genre=report&
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record