Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/89465
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Martins, João | por |
dc.contributor.author | Fonseca, José M. | por |
dc.contributor.author | Costa, Rafael | por |
dc.contributor.author | Campos, José C. | por |
dc.contributor.author | Cunha, Alcino | por |
dc.contributor.author | Macedo, Nuno | por |
dc.contributor.author | Oliveira, José Nuno Fonseca | por |
dc.date.accessioned | 2024-03-12T21:46:10Z | - |
dc.date.available | 2024-03-12T21:46:10Z | - |
dc.date.issued | 2022-10-23 | - |
dc.identifier.citation | Martins, J., Fonseca, J. M., Costa, R., Campos, J. C., Cunha, A., Macedo, N., & Oliveira, J. N. (2022, October 23). Verification of railway network models with EVEREST. Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. ACM. http://doi.org/10.1145/3550355.3552439 | por |
dc.identifier.isbn | 978-1-4503-9466-6/22/10 | - |
dc.identifier.uri | https://hdl.handle.net/1822/89465 | - |
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. | por |
dc.description.sponsorship | This work is under the scope of the project DigiLightRail, being developed by EFACEC in cooperation with INESC TEC, for R&D activities. DigiLightRail is supported by the operational programme COMPETE 2020, financed by COMPETE 2020, a partnership agreement between the Portuguese government and the European Comission. The work of INESC TEC researchers is also financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project LA/P/0063/2020. | por |
dc.language.iso | eng | por |
dc.publisher | ACM | por |
dc.rights | openAccess | por |
dc.subject | formal infrastructure rule specification | por |
dc.subject | railML | por |
dc.subject | railway engineering | por |
dc.subject | railway network model verification | por |
dc.title | Verification of railway network models with EVEREST | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/3550355.3552439 | por |
oaire.citationStartPage | 345 | por |
oaire.citationEndPage | 355 | por |
dc.date.updated | 2024-02-10T07:41:30Z | - |
dc.identifier.doi | 10.1145/3550355.3552439 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
sdum.export.identifier | 13219 | - |
sdum.conferencePublication | Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 | por |
oaire.version | VoR | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MODELS22.pdf | 901,36 kB | Adobe PDF | Ver/Abrir |