Die Komplexität moderner Automatisierungssysteme für den öffentlichen Personennahverkehr führt dazu, daß die meisten Funktionen, insbesondere auch die sicherungstechnischen, durch Software realisiert werden. Der Validierung der Software kommt im Entwicklungsprozeß höchste Bedeutung zu, um das Risiko durch Gefahrensituationen im Betrieb zu minimieren. Um Fehler bereits in der Entwicklung zu erkennen und auszuschließen, wählte die Firma MTI für die Entwicklung ihrer sicherungstechnischen Software die formale Methode 'B'. Mit dieser Methode wurde schon die Software verschiedener Zugbeeinflussungs-Systeme unterschiedlicher Funktionalität entwickelt. Der Entwicklungsprozeß unterscheidet gegenüber der konventionellen Entwicklung die Modellierungsphase, in der aus der informellen Sprache der Spezifikation ein abstraktes Modell erstellt wird, und der Verfeinerung, mit der in mehreren Schritten aus dem abstrakten Modell ein konkretes Modell gewonnen wird. Das konkrete Modell ist schließlich der Quellcode für die lauffähige Programmversion. Die Methode B nutzt eine einfache Sprache mit klassischer mathematischer Logik. Sie ist anwendbar in der Spezifikation, Konzeption bis zur Implementierung. Die Methode und Sprache ist strukturierbar, standardisiert und es lassen sich Werkzeuge nutzen zur automatisierten Nachweisführung. Die Anwendung der Methode wird am konkreten Projekt Meteor der Pariser U-Bahn beschrieben. Während der Nachweisführungen konnten viele Fehler aufgedeckt und eliminiert werden. Interessanterweise betrafen diese Fehler nicht die Modellierung, sondern die Nachweisführung. Weder die Validierung noch die Rechnertests zeigten Fehler in der Software. Diese eher ungewöhnliche Situation führte zu einer reibungslos verlaufenden Systemintegration, Inbetriebnahme und Zulassung bzw. Abnahme durch die Behörden und U-Bahnbetreiber. Die formale Methode kostete, obwohl ein höheres Qualitätsniveau erreicht wurde, nicht mehr als eine entsprechende konventionelle Entwicklung. Aufgrund eines geringeren Aufwandes für die Softwarepflege sowie der reduzierten Risiken in einem Projekt und während der Gewährleistung empfiehlt sich die umfassende Anwendung von B als wirtschaftliche Entwicklungs- und Validierungsmethode.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Die Methode 'B' - sichere Software für Bahnanwendungen


    Beteiligte:
    Fessler, M. (Autor:in) / Schütte, J. (Autor:in)


    Erscheinungsdatum :

    2000


    Format / Umfang :

    9 Seiten, 1 Bild




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    DIE METHODE,,B" Sichere Software fur Bahnanwendungen

    Fessler, M. / Schutte, J. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000


    Brennstoffzellen für Bahnanwendungen

    Hörl, Franz Albert | Online Contents | 2001


    Neue Schaltanlagenkonzepte für AC-Bahnanwendungen

    Lönard, D. | Online Contents | 2005


    Neue Schaltanlagenkonzepte für AC-Bahnanwendungen

    Lönard, Detlef / Northe, Jens / Stollberg, Andreas | Tema Archiv | 2005