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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Methodische Analyse und generische Modellierung von Eisenbahnleit- und -sicherheitssystemen


    Contributors:


    Publication date :

    2004


    Size :

    206 Seiten, 81 Bilder, 50 Tabellen, 198 Quellen




    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German






    Omnibus Travego mit neuen Sicherheitssystemen

    Knorra,U. / Mercedes-Benz,Stuttgart,DE | Automotive engineering | 2008


    Bewertung von Sicherheitssystemen in Fahrversuchen

    Mücke, Stephan / Breuer, Jörg | Tema Archive | 2007


    Neue Entwicklungen bei passiven Sicherheitssystemen

    Schedel,R. | Automotive engineering | 2007