Verification of railway network models with EVEREST
João Francisco Martins, José M. Fonseca, Rafael Eduardo da Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira · 2022
Models - at different levels of abstraction and pertaining to different engineering views - are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone.