In dieser Arbeit wurde eine Entwicklungsmethodik für rechnergesteuerte Eisenbahn-Sicherungsnlagen vorgestellt, die die Ansätze objektorientierte Analyse und Design sowie formale dynamische Modellierungs mittels Statecharts verbindet. Dabei wird die statistische Modellierung, d. h. die Strukturierung des Gesamtsystems in Entwurfsobjekte und die Beziehung dieser Objekte untereinander, mit den Mitteln der objektorientierten Methode COSEM realisiert. Durch diese Basis werden alle relevanten strukturellen Merkmale des Systems schon bei der Eingabe einer Konsistenzprüfung unterzogen und liegen vollständig formal vor. Zusätzlich zu der strukturellen Modellierung wird das zeitliche Verhalten der Entwurfsobjekte durch Statecharts beschrieben. Zu ihrer Anwendung als formale Beschreibung reaktiver Systeme bedarf es einer widerspruchsfreien formalen Semantik der Statecharts, die in dieser Arbeit hergeleitet wird. Durch die gewählten Beschreibungsmittel wird eine konsistente Beschreibung des Systems und seines Verhaltens erzwungen. Da formale dynamische Modelle simulierbar sind, kann die Modellausführung zur Überprüfung der betrieblichen Funktionen des Systems genutzt werden. Die zu formulierenden Sicherheitsbedingungen für ein derartig entwickeltes System lassen sich durch die Angabe von Systemzuständen erreichen, die vom System unter keinen Umständen eingenommen werden dürfen. Das in der Arbeit entwickelte Beweisverfahren liefert eine formal verifizierte Aussage, ob verbotene gefährliche Systemzustände durch das modellierte System eingenommen werden können oder nicht. Als Ergebnis des Entwurfsprozesses liegen formal validierte System-Anforderungsspezifikationen sowie Software-Architektur-, Entwurfs- und Testspezifikationen als Daten im Rechner vor. Die Entwurfsobjekte, ihre Schnittstellen untereinander und ihr dynamisches Verhalten können durch die Wahl der objektorientierten Herangehensweise direkt in die Implementation umgesetzt werden.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Rechnergestützter Sicherheitsnachweis: Ein Verfahren zum Ausschluß gefährlicher Systemzustände in rechnergesteuerten Eisenbahn-Sicherungsanlagen


    Additional title:

    Computer-aided safety evidence: Method for exclusion of dangerous system states in computer-controlled railroad safeguarding plants


    Contributors:
    Koch, T. (author)

    Publication date :

    1998


    Size :

    142 Seiten, 39 Bilder, 122 Quellen


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German





    Die Eisenbahn-Sicherungsanlagen

    Becker, Karl | SLUB | 2015


    Sicherheitsnachweis für Schnellfahrweichen

    Binder, Werner / Klubertanz, Georg / Gerber, Peter | Tema Archive | 2007


    Sicherungsanlagen : Lehrmittelblätter

    Reichsbahndirektion Dresden | SLUB | 1932


    Sicherheitsnachweis für Schnellfahrweichen

    Binder, Werner | Online Contents | 2007