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.
Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems fuer den oeffentlichen Nahverkehr (BON)
Modelling and dynamic behaviour of a transit controlled passenger transit system
1984
12 Seiten, 16 Quellen
Conference paper
German
Leitsystem fuer oeffentlichen Nahverkehr
Automotive engineering | 1979
|Moderne technische Loesungen fuer den oeffentlichen Nahverkehr
Automotive engineering | 1987
|Moderne technische Loesungen fuer den oeffentlichen Nahverkehr
Tema Archive | 1987
|40 Jahre Omnibusentwicklung fuer den oeffentlichen Nahverkehr
Automotive engineering | 1987
|Prozessrechner steuern oeffentlichen Nahverkehr
Tema Archive | 1980
|