For large-scale dynamic railway traffic control systems, the reliability analysis and risk assessment are important for system evaluation, decision making and enforcement of performance-based safety-critical standards. The Axiomatic SafetyCritical Assessment Process (ASCAP) developed at the University of Virginia’s Center of Rail Safety-Critical Excellence provides a dynamic Monte Carlo simulat...