Eisenbahntechnische Rundschau | Issue 10/2017
CBTC.valid für komplexe Automatisierungssysteme
Automatisierung | Für (GOA4-Automatische) Nahverkehrsbahnen steht derzeit am Lehrstuhl Verkehrssystemtechnik die Frage im Vordergrund, wie die komplexen Automatisierungssysteme vollständiger und effizienter validiert werden können. Es zeigt sich, dass ein vollständiger Weg darin besteht, alle Zustände der ATC-Signale in ihren möglichen Kombinationen mit Betriebszuständen zur Deckung zu bringen. Zur Reduktion der Komplexität wird die Signal-Liste so geordnet und unterteilt, dass jeweils kleinere Gruppen von Signalen übergeordnete Betriebszustände beschreiben und für alle Detailzustände unverändert gelten.