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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Einsatz der UML für die Entwicklung sicherheitskritischer Systeme


    Weitere Titelangaben:

    Using UML for development of Mission Critical systems


    Beteiligte:
    Linhardt, M. (Autor:in)


    Erscheinungsdatum :

    2003


    Format / Umfang :

    15 Seiten, Bilder, Tabellen, 17 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch





    Strukturtreue Modellierung sicherheitskritischer Systeme

    Uygur, Gürkan / Rasim, Feim Ridvan / Özgül, Mustafa et al. | VDE-Verlag | 2015


    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

    Uygur, Gürkan / Sattler, Sebastian M., | VDE-Verlag | 2013


    Einsatz echtzeitfahiger Gesamtfahrzeugmodelle fur den Funktionsentwurf sicherheitskritischer Fahrerassistenz-Systeme

    Schmitt, J. / Schorn, M. / Stahlin, U. et al. | British Library Conference Proceedings | 2004


    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Kraftfahrwesen | 2009