Im Eisenbahnwesen übernehmen oftmals reaktive Systeme Steuerungs- und Sicherungsfunktionen. Für diese Systeme hat die Anforderungsspezifikation eine besondere Bedeutung im gesamten Lebenszyklus. Momentan werden für die Anforderungsspezifikation häufig informelle Beschreibungsmittel verwendet, die Interpretationsspielraum lassen und anfällig für Uneindeutigkeiten sind. In den letzten Jahren wurden in verschiedenen Arbeiten Konzepte zur Verbesserung der Anforderungsspezifikation vorgestellt. Diese Arbeiten konzentrierten sich dabei oftmals auf die Anpassung von Beschreibungsmitteln, wie z.B. der Unified Modeling Language (UML). Die Integration von Beschreibungsmittel, Methode und Werkzeugen zu einem stringenten Gesamtkonzept wurde oft nicht abgedeckt. In dieser Arbeit wird ein solches Gesamtkonzept entworfen. Es kombiniert ein semi-formales, modellbasiertes Beschreibungsmittel mit einem Prozess zur Erstellung von Anforderungsspezifikationen und integriert Test- und Verifikationsmethoden. Als Beschreibungsmittel wird die SysML (Systems Modeling Language) verwendet. Eine Untermenge dieser Sprache (SysML (A)) wird identifiziert, die in einer festgelegten Modellarchitektur zur Systembeschreibung eingesetzt wird. Die Organisation des Anforderungsmodells wird durch Sichten und eine zweistufige, rekursive Hierarchie von Systemen realisiert. Schnittstellen zu nicht-funktionalen Anforderungen sind vorgesehen. Zweiter Bestandteil der Arbeit ist ein Prozessmodell, das die Vorgehensweise bei der Modellerstellung definiert. Auf Grund der Eigenschaften von Anforderungsspezifikationen wird ein iterativ-inkrementelles Vorgehen vorgeschlagen. In jedem Schritt werden Test- und Verifikationstechniken eingesetzt. Anhand eines Beispielmodells konnte gezeigt werden, dass: - die modellbasierte Spezifikation von Anforderungen möglich ist - das gewählte Prozessmodell eingesetzt werden kann - und damit eine Verbesserung der Qualität von Anforderungsspezifikationen möglich ist.


    Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Modellbasierte Anforderungsspezifikation sicherheitskritischer Systeme im Eisenbahnbereich - Beschreibungsmittel und ihre Anwendung


    Weitere Titelangaben:

    Model based requirements specification of safety critical systems in the railway domain - description instruments and their application


    Beteiligte:
    Lemke, Oliver (Autor:in) / Universitätsbibliothek Braunschweig (Gastgebende Institution) / Pachl, Jörn (Akademische:r Betreuer:in)

    Erscheinungsdatum :

    2010



    Medientyp :

    Sonstige


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch


    Klassifikation :

    DDC:    625