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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Methodische Analyse und generische Modellierung von Eisenbahnleit- und -sicherheitssystemen


    Beteiligte:


    Erscheinungsdatum :

    2004


    Format / Umfang :

    206 Seiten, 81 Bilder, 50 Tabellen, 198 Quellen




    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch






    Omnibus Travego mit neuen Sicherheitssystemen

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


    Bewertung von Sicherheitssystemen in Fahrversuchen

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