Eisenbahnsicherungsanlagen sind hochkomplexe Systeme, die sehr hohen Sicher-heitsanforderungen genügen müssen. Ihre detaillierte, vollständige und korrekte Beschreibung bereitet Probleme. In dieser Arbeit werden Grundlagen für die Spezifikation von Eisenbahnsicherungsanlagen mit einer formalen Methode gelegt. Für die statischen Aspekte werden formale Gleistopologien basierend auf Doppelpunktgra-phen verwendet, die dynamischen Eigenschaften ...

Der folgende Bericht beschreibt den Werdegang, die Funktion und Resultate eines Messgeräte-Prototypes zur Erfassung von Spurrinnen auf Strassen. Das Ziel des Forschungsprojektes war es, ein Gerät zu entwickeln, das eine rasche Aufnahme der Querunebenheiten der Fahrbahn ohne Verkehrsbehinderungen erlaubt und zwar auch auf Autobahnen. Dies erfordert eine berührungslose Oberflächenabtastung. Das im Folgenden beschriebene Dynamische ...