The SafeCap platform is an open-source, Eclipse-based toolkit designed for modeling railway capacity and verifying railway network safety. Co-developed by Newcastle University and the engineering firm SYSTRA, the project bridges the gap between complex computer science methods and practical railway engineering. It allows signaling engineers to design stations and junctions and automatically evaluate how alterations affect safety and traffic capacity. Core Functions & Capabilities
Safety Verification: It mathematically analyzes railway signaling systems to automatically find data errors that could cause accidents.
Capacity Modeling: The platform helps engineers evaluate how shifting signal positioning or train detection boundaries affects train headway and overall track throughput.
No Formal Methods Required: It allows engineers to build and test rigorous safety models using familiar railway concepts rather than background knowledge in mathematics or coding.
Heterogeneous Signaling: The system accommodates complex network layouts, including overlapping national and modern signaling infrastructures. Technical Architecture
SafeCap DSL: The software uses a graph-oriented Domain Specific Language (DSL) to unambiguously represent layouts, track components, junction schemas, and control tables.
Mathematical Engines: Behind the user interface, it translates designs into formal statements processed by third-party constraint-solvers, SMT solving, and model-checking tools.
Eclipse Framework: It is built on Eclipse technology (leveraging EMF and GMF frameworks) and utilizes the Epsilon scripting language for custom automation and schema transformation patterns. Real-World Value
Traditional verification relies on extensive manual testing, which is time-consuming and prone to human error. SafeCap speeds up this process by introducing automated verification that runs complete mathematical analysis across 50–100 routes simultaneously. It handles highly complex layouts quickly, reducing the need for costly late-stage engineering re-work.
the-safecap-platform-for-modelling-railway-safety … – SciSpace
Leave a Reply