SIGNAL+DRAHT | Issue 09/2007
OPRAIL – Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML
Unter dem Titel „OPRAIL – CENELEC-getriebene Optimierung der Entwicklung bahntechnischer Systeme“ beschäftigte sich ein Konsortium 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.