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.
OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML
Standard-compliant development of safety critical software by using UML
Signal+Draht ; 99 , 9 ; 6-12
2007-01-01
7 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML
Tema Archive | 2007
|Modellgetriebene Entwicklung sicherheitsrelevanter SW-Komponenten
Automotive engineering | 2015
|Autocoding sicherheitsrelevanter Software in der Luftfahrt
TIBKAT | 1999
|