A knowledge based solution for intelligent verification and validation of interlocking railway systems

Although modern secure railway transportation management systems are employing more ‘intelligent’, highly computerized technology, they 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.