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.
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
2000
28 Seiten, 19 Bilder, 20 Quellen
Conference paper
German
Integrierte Modellbildung und Simulation mit Petrinetzen
Automotive engineering | 1989
|Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
Tema Archive | 1996
|Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
Automotive engineering | 1997
|Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
TIBKAT | 1997
|