Title Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems
Subject Interlocking Railway Systems
Description Todays 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
Description P. Bellini, P. Nesi, I. Zaza, "A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems", ERCIM News, N.103, pp.35-37, October 2015. Http://www.ercim.eu
Technical
N° accesses 393
Format document
Type pdf
Available platforms PC, iPhone/iPad, Android, Windows Phone 7