OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML

You are here: Homepage > Search

OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML

Hungar, Hardi / Bruhns, Gerhard / Plan, Oliver / Lemke, Oliver

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.