This paper describes how the combined use of OpenTimeTable, a schedule analysis program, and OpenTrack, a railroad network simulation program, can be used to help develop more robust timetables. The paper describes how these programs and additional statistical analysis was used to help identify causes of delay and evaluate solutions for reducing this delay on Zurich’s suburban rail network. Ope...

Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Model checking deals with state change and rather complex properties, usually incurring considerable computational burden (chiefly in terms of memory, known as state-space explosion ...

Abstract Schematic drawings showing railway tracks and equipment are commonly used to visualize operations communicate system specifications construction blueprints. Recent advances in on-line collaboration modeling tools have raised the expectations for quickly making changes models, resulting frequent layouts, text, and/or symbols schematic drawings. Automating creation of high-quality views ...