Railway tracks undergo plastic settlement when subject to repeated train loading. This occurs differentially along the track rather than in a uniform manner, and profile is key parameter scheduling maintenance operations. Therefore this paper presents novel numerical approach predict irregularity evolution. The model combines empirical laws with finite element theory, where track-ground structu...

Railway condition monitoring is the compound of activities aimed at detection and mitigation faults in both tracks vehicles. This minimizes damage disruption, increases usability benefits railways. Trackside provides frequent data, but costly ineffective for large segments track. Onboard using dedicated vehicles deep knowledge track, infrequent requires allocated resources track availability. T...

We explore the support of automatic verification via careful design of a domain specific language (DSL) in the context of algebraic specification. Formally a DSL is a loose specification the logical closure of which we regard as implicitly encoded “domain knowledge”. We systematically exploit this “domain knowledge” for automatic verification. We illustrate these ideas within the Railway Domain...

In this paper we present first analyses and results of a comprehensive measurement campaign investigating the propagation channel in case of direct (base station free) communication between railway vehicles. The measurements cover urban, suburban and rural environments along a multifaceted regional railway network in the south of Bavaria. Beside different operational conditions like front, rear...