Vor dem Hintergrund stetig wachsender Komplexität softwareintensiver Systeme im Bahnbereich sind Entwicklungsprozesse und -methoden gefragt, die die Entwicklungskosten minimieren und die Anforderungen für die Entwicklung sicherheitskritischer Software-Systeme der EN 50128 erfüllen. Formalisierte modellbasierte Methoden können die Arbeitsabläufe und Produkte in nahezu allen Phasen des Entwicklungsprozesses, von der Anforderungsspezifikation bis zur Validierung verbessern. Unter dem Titel "OPRAIL - CENELEC-getriebene Optimierung der Entwicklung bahntechnischer Systeme" erarbeitete ein Konsortium aus Industrie und Forschung Antworten auf diese Fragestellungen. Insbesondere wurden aktuelle Methoden der modellbasierten Entwicklung wie automatische Testfallgenerierung und Modelchecken an die Anforderungen im Bahnbereich angepasst. Ein normenkonformer Prozess wurde definiert, der die iterative, werkzeugunterstützte Entwicklung unter Verwendung einer Teilsprache der UML (Unified Modeling Language) beschreibt und zeigt, wie die Methoden Modelchecken und Testmustergenerierung eingebunden werden können. An dem vom BMBF geförderten Projekt waren Berner & Mattner Systemtechnik GmbH, Deuta-Werke GmbH, IfEV Braunschweig, OFFIS e. V., OSC Embedded Systems AG, Thales Rail Signalling Solutions und TÜV Süd Rail GmbH beteiligt. Der Beitrag beschreibt die modellbasierte Methoden und den OPRAIL-Prozess am Beispiel der Fallstudien Deuta-Werke und ZX der Thales Rail Signalling Solutions (ehemals Alcatel) sowie am Beispielmodell Bahnübergangssicherungsanlage.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML


    Weitere Titelangaben:

    Standard-compliant development of safety critical software by using UML



    Erschienen in:

    Signal+Draht ; 99 , 9 ; 6-12


    Erscheinungsdatum :

    2007-01-01


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch