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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

    Modelling and dynamic behaviour of a transit controlled passenger transit system


    Contributors:


    Publication date :

    1984


    Size :

    12 Seiten, 16 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Leitsystem fuer oeffentlichen Nahverkehr

    Siemens | Automotive engineering | 1979


    Moderne technische Loesungen fuer den oeffentlichen Nahverkehr

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



    40 Jahre Omnibusentwicklung fuer den oeffentlichen Nahverkehr

    Strifler,P. | Automotive engineering | 1987


    Prozessrechner steuern oeffentlichen Nahverkehr

    Schweizer, G. | Tema Archive | 1980