Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems

Today’s secure railway transportation management systems are employing more “intelligent”, highly computerized technology but are still strictly dependent on the site-specific configuration of track layout, which follows different rules for different nations. An expert system model, which independently formalizes a railway network, focusing on railway terminals (stations) and including topological and functional aspects of track elements, enables verification and validation