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
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献