An einfachen Beispielen zum Verkehrsbetriebsleitsystem BON wird eine Spezifikationssprache vorgestellt, die auf der Basis des mehrsortigen Praedikatenkalkuels erster Ordnung aufbaut und zur Beschreibung komplexer Informationsstrukturen mit Konstrukten aehnlich den Datenstrukturelementen hoeherer Programmiersprachen angereichert ist. Dynamische Vorgaenge werden mit rekursiven Funktionen ueber der Zeit spezifiziert. Praktische Erfahrungen bei der Analyse und Modellierung rechnergestuetzter Automatisierungen zeigen, dass dieses Werkzeug bei angemessenem Aufwand eine vollstaendige, in der Detailgenauigkeit unuebertroffene, geschlossene Darstellung auch dann noch erlaubt, wenn verschiedene anwendungsbezogene mathematische und informationstechnische Modelltheorien miteinander verknuepft werden muessen.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems fuer den oeffentlichen Nahverkehr (BON)


    Weitere Titelangaben:

    Modelling and dynamic behaviour of a transit controlled passenger transit system


    Beteiligte:
    Sonnenberg, W. (Autor:in)


    Erscheinungsdatum :

    1984


    Format / Umfang :

    12 Seiten, 16 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Leitsystem fuer oeffentlichen Nahverkehr

    Siemens | Kraftfahrwesen | 1979


    Moderne technische Loesungen fuer den oeffentlichen Nahverkehr

    Niemann,K. / Daimler-Benz,Stuttgart,DE | Kraftfahrwesen | 1987




    Prozessrechner steuern oeffentlichen Nahverkehr

    Schweizer, G. | Tema Archiv | 1980