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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2000


    Size :

    28 Seiten, 19 Bilder, 20 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Integrierte Modellbildung und Simulation mit Petrinetzen

    Itter,F. / PSI,Berlin,DE | Automotive engineering | 1989


    Ergebnisse einer Machbarkeitsstudie zur Modellbasierten Diagnose auf Basis von Petrinetzen

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



    Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen

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