Die CENELEC-Normen für die Entwicklung sicherheitskritischer Systeme für Bahnanwendungen lösen im Rahmen der europäischen Harmonisierung bisher gültige nationale Normen ab. Die CENELEC-Normen fordern über die konzeptionellen sicherheitstechnischen Maßnahmen hinaus auch eine hohe Güte des Vorgehensmodells für die Entwicklung, das ein Projekt in Phasen aufteilt: - Projektdefinition und -planung, - Anforderungsanalyse, - Architekturentwurf, - Implementierung und Codegenerierung, - Integration und Validation, - Dokumentation und zwischen den Phasen immer wieder Verifikation. Als universell einsetzbare formale Sprache zur Beschreibung organisatorischer und technischer Systeme hat sich die Unified Modelling Language - UML - herauskristallisiert. Am Markt sind generische UML-Werkzeuge verfügbar, die individuell an Ziele, Normen und an ein normgerechtes Vorgehensmodell angepasst werden müssen. Die CENELEC-Normen fordern eine Auswahl von Techniken und Maßnahmen, wobei UML nicht erwähnt wird. Gleichwohl können UML-Werkzeuge die benötigten Dokumente erstellen und die Arbeit mit einem Vorgehensmodell unterstützen. Im Rahmen eines Auswahlprozesses wurde das marktgängige UML-Werkzeug ARTiSAN Real-time Studio (RtS) für den Einsatz bei der BBR-Verkehrstechnik GmbH gewählt. RtS bietet UML-Unterstützung des gesamten Entwicklungszyklus. Die technischen Möglichkeiten und Grenzen der UML-Umsetzung im Werkzeug bestimmen wesentlich die Implementierung von Vorgehensmodell und Vorlage. Die Einführung von Vorgehensmodell und Methoden ist eine Herausforderung an die betriebliche Weiterbildung und wird durch die Einheitlichkeit der UML erleichtert. Bei einer ganzheitlichen Sicht auf Produkt und Prozess bietet der Einsatz von UML und UML-Werkzeugen die Chance, nachvollziehbar, normgerecht und effizient Entwicklungsvorhaben für sicherheitskritische Systeme durchzuführen.
Einsatz der UML für die Entwicklung sicherheitskritischer Systeme
Using UML for development of Mission Critical systems
2003
15 Seiten, Bilder, Tabellen, 17 Quellen
Conference paper
German
CENELEC (Kommission Europäische Norm Elektrotechnik) , Eisenbahn , IEC-Norm , objektorientierter Entwurf , Programmentwicklung , Programmierhilfe , Programmierumgebung , Projektmanagement , Sicherheitssystem , Software-Engineering , Software-Werkzeug , Verkehrstechnik , UML (Unified Modeling Language)
Strukturtreue Modellierung sicherheitskritischer Systeme
VDE-Verlag | 2015
|Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme
VDE-Verlag | 2013
|British Library Conference Proceedings | 2004
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Automotive engineering | 2009
|