Verification of railway network models with EVEREST

dc.contributor.author Nuno Moreira Macedo en
dc.contributor.author Alcino Cunha en
dc.contributor.author José Creissac Campos en
dc.contributor.author José Nuno Oliveira en
dc.contributor.author Rafael Braga Costa en
dc.contributor.other 5625 en
dc.contributor.other 5612 en
dc.contributor.other 5599 en
dc.contributor.other 5601 en
dc.contributor.other 8206 en
dc.date.accessioned 2024-02-10T14:48:50Z
dc.date.available 2024-02-10T14:48:50Z
dc.date.issued 2022 en
dc.description.abstract 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. This paper presents EVEREST, a tool for automating the verification of railway network models that preserves the loosely coupled nature of the design process. To achieve this goal, EVEREST first combines two different views of a railway network model-the topology provided in signalling diagrams containing the functional infrastructure, and the precise coordinates of the elements provided in technical drawings (CAD)-in a unified model stored in the railML standard format. This railML model is then verified against a set of user-defined infrastructure rules, written in a custom modal logic that simplifies the specification of spatial constraints in the network. The violated rules can be visualized both in the signalling diagrams and technical drawings, where the element(s) responsible for the violation are highlighted. EVEREST is integrated in a long-term effort of EFACEC to implement industry-strong tools to automate and formally verify the design of railway solutions. © 2022 ACM. en
dc.identifier P-00X-BH8 en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/14843
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Verification of railway network models with EVEREST en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00X-BH8.pdf
Size:
1.62 MB
Format:
Adobe Portable Document Format
Description: