GRACE wurde von Siemens speziell für die Eisenbahnsignaltechnik entwickelt und ist im Kern eine Methode zur formalisierten grafischen Darstellung von Kundenanforderungen. GRACE-Spezifikationen sind lesbar wie Relaisschaltungen, sie sind testbar in einer Simulationsumgebung und können maschinell weiterverarbeitet werden bis hin zur automatischen Codegenerierung. Mit der GRACE-Simulation wird die Logikbeschreibung erlebbar. Somit kann zum Prüfen der Spezifikation neben der Grafik auch das praktische Verhalten der Logik herangezogen werden, nämlich anhand definierter Testszenarien in der Simulation. Die Methode GRACE wird technisch unterstützt durch einen passenden Werkzeugkasten. Beim Beschreiben der Logik mit GRACE-FST (Function Specification Tool) werden mittels textueller Deklarationen und vor allem grafisch Eigenschaften und Verhalten von Elementtypen erfaßt und in einem Datenmodell abgelegt. Aus diesem Modell heraus sind alle weiteren Verarbeitungen wie Codegenerierung (z.B. mit GRACE-PGT, dem aktuellen Pascalgenerator) oder Animation (z.B. mit GRACE-SIT, der Simulationsumgebung) möglich. GRACE-FST und -PGT wurden erstmals bei einer neuen Generation von Siemens-Spurplanstellwerken beim Beschreiben der Stellwerkslogik eingesetzt. Im Beitrag werden zur Nachbildung der Funktionalität der Anlagenschnittstellen die Fallbeispiele 'Bahnübergang' und 'Entwicklungsprozess einer Stellwerklogik' aufgezeigt.
Die Methode und Werkzeuge GRACE
2000
42 Seiten, Bilder, Tabellen
Aufsatz (Konferenz)
Deutsch
Die Methode und Werkzeuge GRACE
British Library Conference Proceedings | 2000
|Online Contents | 1996
Kraftfahrwesen | 1976
|Kraftfahrwesen | 1977
|