Ein erheblicher Teil der Funktionen, die in den verschiedenen Systemen der Eisenbahnleit- und -sicherungstechnik realisiert werden, ergibt sich aus den grundsätzlichen Aufgaben, die diese Systeme haben. Sie sind daher von der Implementierung unabhängig und werden in unterschiedlicher Weise realisiert und angeordnet. Mit Hilfe einer methodischen Analyse werden diese Funktionen in der vorliegenden Arbeit identifiziert und mit Hilfe von farbigen, hierarchischen Petrinetzen modelliert. Den methodischen Rahmen für die Modellierung bildet das Framework BASYSNET. Auf der Basis des dargestellten generischen Modells ist sowohl die Validation mit Hilfe von Simulationen als auch die Verifikation mit Hilfe von formalen Analysen möglich. An Hand von Beispielen wird schließlich der Einsatz gezeigt.
Methodische Analyse und generische Modellierung von Eisenbahnleit- und -sicherheitssystemen
2004
206 Seiten, 81 Bilder, 50 Tabellen, 198 Quellen
Hochschulschrift
Deutsch
Omnibus Travego mit neuen Sicherheitssystemen
Kraftfahrwesen | 2008
|Bewertung von Sicherheitssystemen in Fahrversuchen
Tema Archiv | 2007
|Neue Entwicklungen bei passiven Sicherheitssystemen
Kraftfahrwesen | 2007
|