Bedingt durch die Komplexität sowohl des Entwicklungsprozesses als auch der zu entwickelnden Eisenbahnleitsysteme kann diese Aufgabe auch nur schwer ganzheitlich gelöst werden. Ein sinnvolles Vorgehen ist, vom Potential der etablierten formalen Beschreibungsmittel auszugehen und zu untersuchen, wie dieses für spezifische Fragestellungen der Eisenbahnsicherung genutzt werden kann. Dazu gehört sowohl eine Betrachtung der Beschreibungsmittel bzgl. ihrer formal semantischen Eigenschaften und deren Verwendungsmöglichkeiten, als auch die Untersuchung der Anwendungsbereiche hinsichtlich methodischer Konzepte und der bestehenden Werkzeugunterstützung. Als formales Beschreibungsmittel werden hier Petrinetze betrachtet. Drei unterschiedliche Ansätze des Einsatzes von Petrinetzen, angewendet auf das Beispiel der funkbasierten Bahnübergangssteuerung, zeigen das Potential des Beschreibungsmittels und verdeutlichen gleichzeitig die Vielfältigkeit des Entwicklungsprozesses. Es wird zunächst beschrieben, in welcher Beziehung die Ansätze bezüglich der allgemeinen Ziele der Systementwicklung in der Eisenbahnleittechnik zueinander stehen. Anschließend werden die Ansätze im einzelnen kurz vorgestellt. Die Themen der Arbeit sind dementsprechend: 1. Allgemeine Ziele der Modellierungsansätze. 2. Ansätze der Spezifikation von Betriebsverfahren (Betrieb und Technik. Verhaltensaspekte in der Spezifikation. Ablauforientierte Modellierung von Soll- und Regelverhalten im Betriebsverfahren. Modellierung des unzulässigen Verhaltens im Betriebsverfahren). 3. Ansatz der Modellbasierten Steuerungssynthese (Modellierung des Bahnübergangs. Spezifikation für Bahnübergang. Steuerungssynthese und Code-Generierung für den Bahnübergang. Ausblick zum Ansatz der modellbasierten Steuerungssynthese). 4. Nähere Beschreibung des Ansatz des simulationsbasierten Systementwurfs.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen


    Beteiligte:
    Chouikha, M. (Autor:in) / Einer, S. (Autor:in) / Meyer zu Hörste, M. (Autor:in) / Schnieder, E. (Autor:in)


    Erscheinungsdatum :

    2000


    Format / Umfang :

    28 Seiten, 19 Bilder, 20 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Integrierte Modellbildung und Simulation mit Petrinetzen

    Itter,F. / PSI,Berlin,DE | Kraftfahrwesen | 1989


    Ergebnisse einer Machbarkeitsstudie zur Modellbasierten Diagnose auf Basis von Petrinetzen

    Müller, Jörg R. / Becker, Uwe / Schnieder, Eckehard | Tema Archiv | 2007



    Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen

    Ruckdeschel,W. / Univ.d.Bundeswehr Muenchen,DE | Kraftfahrwesen | 1997