Abstract
AbstractWe present Norma, a tool for the modeling and analysis of Relay-based Railways Interlocking Systems (RRIS). Norma is the result of a research project funded by the Italian Railway Network, to support the reverse engineering and migration to computer-based technology of legacy RRIS. The frontend fully supports the graphical modeling of Italian RRIS, with a palette of over two hundred basic components, stubs to abstract RRIS subcircuits, and requirements in terms of formal properties. The internal component based representation is translated into highly optimized Timed nuXmv models, and supports various syntactic and semantic checks based on formal verification, simulation and test case generation. Norma is experimentally evaluated, demonstrating the practical support for the modelers, and the effectiveness of the underlying optimizations.
Publisher
Springer International Publishing
Reference15 articles.
1. Git: A free and open source distributed version control system. https://git-scm.com/
2. Dia: A GTK+ based diagram creation program. https://gitlab.gnome.org/GNOME/dia
3. Poppler: a PDF rendering library. https://poppler.freedesktop.org/
4. GitLab: A web-based DevOps lifecycle tool. https://gitlab.com/
5. De Almeida Pereira, D.I., Déharbe, D., Perin, M., Bon, P.: B-specification of relay-based railway interlocking systems based on the propositional logic of the system state evolution. In: RSSRail. Lecture Notes in Computer Science, vol. 11495, pp. 242–258. Springer (2019)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. P-stable abstractions of hybrid systems;Software and Systems Modeling;2024-01-29
2. CSP Specification and Verification of a Relay-Based Railway Interlocking System;Lecture Notes in Computer Science;2023-12-02
3. Energy efficiency analysis of relay railway interlockings;2023 15th International Conference on Electronics, Computers and Artificial Intelligence (ECAI);2023-06-29
4. Improving Railway Safety: Human-in-the-loop Invariant Finding;Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19
5. A Formal IDE for Railways: Research Challenges;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023