In dem Beitrag werden die Techniken des objektorientierten Ansatzes und deren Anwendung für die Beschreibung von Eisenbahnsystemen dargestellt. Dabei werden diese Techniken für eine objektorientierte Modellierung auf Beispiele aus dem FunkFahrBetrieb (FFB) angewendet und untersucht. Es wird dabei nur soweit auf das Konzept des FFB eingegangen, wie es für das Verständnis der objektorientierten Modellierung zweckmäßig erscheint. Das Hauptthema ist die objektorientierte Analyse eines Systems. Die objektorientierten Methoden können für die eisenbahnspezifischen Anwendungen mit entsprechender Syntax und Semantik fundiert werden, so dass die Durchführung eines formalen Korrektheitsnachweises bei den zu entwickelnden Eisenbahnsystemen ermöglicht wird. Die im Beitrag wiedergegebenen Abbildungen und Modellierungsbeispiele stammen aus dem Forschungsprojekt SafeRail.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Objektorientierte Analyse zur Modellierung im Eisenbahnwesen


    Beteiligte:

    Erschienen in:

    Signal+Draht ; 92 , 1+2 ; 20-27


    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch