Titolo Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems
Soggetto Interlocking Railway Systems
Descrizione 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
Descrizione 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
Tecnico
N° accessi 415
Formato document
Tipo pdf
Accessibile sulle piattaforme PC, iPhone/iPad, Android, Windows Phone 7