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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML


    Additional title:

    Standard-compliant development of safety critical software by using UML



    Published in:

    Signal+Draht ; 99 , 9 ; 6-12


    Publication date :

    2007-01-01


    Size :

    7 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German