Unter dem Titel 'OPRAIL-CENELEC-getriebene Optimierung der Entwicklung bahntechnischer Systeme' beschäftigt sich ein Kosortium aus Industrie und Forschung mit der Frage der Optimierung der kostenintensiven Entwicklung sicherheitskritischer Software-Systeme im Bahnbereich. Der gewählte Ansatz bestand in der Anpassung moderner, modellbasierter Methoden an die Erfordernisse dieses Anwendungsfeldes, insbesondere unter Berücksichtigung der Normenvorgaben. Als Hauptergebnis wurde ein entsprechender normenkonformer Prozess definiert. Er beschreibt die iterative, werkzeugunterstützte Entwicklung unter Verwendung einer empfohlenen Teilsprache der UML und zeigt, wie die formalen Methoden Modelchecken und Testmustergenerierung eingebunden werden können. Das Projekt wurde vom BMBF gefördert.

    The project 'OPRAIL-CENELEC driven optimization of the development of rail systems' considered the problem of optimizing the cost-intensive development of safety-critical software systems in the rail domain. The chosen approach was to adapt current model-based methods to the requirements of that field of application, in particular considering the relevant standards. The main result of the project was the formulation of process meeting these goals. It recommends a sublanguage of the UML to be used in a tool-supported development and shows how the formal methods model checking and automatic test generation can be integrated. The work of the consortium with partners from industry and research has been partially funded by the German Ministry of Education and Research.


    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


    Beteiligte:
    Hungar, Hardi (Autor:in) / Bruhns, Gerhard (Autor:in) / Plan, Oliver (Autor:in) / Lemke, Oliver (Autor:in)

    Erschienen in:

    Signal und Draht ; 99 , 9 ; 6-12


    Erscheinungsdatum :

    2007


    Format / Umfang :

    7 Seiten, 7 Bilder, 1 Tabelle, 4 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch