NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
- Open Access
- 2022
- OriginalPaper
- Buchkapitel
- Verfasst von
- Arturo Amendola
- Anna Becchi
- Roberto Cavada
- Alessandro Cimatti
- Andrea Ferrando
- Lorenzo Pilati
- Giuseppe Scaglione
- Alberto Tacchella
- Marco Zamboni
- Verlag
- Springer International Publishing
Zusammenfassung
We 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.
- Titel
- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
- Verfasst von
-
Arturo Amendola
Anna Becchi
Roberto Cavada
Alessandro Cimatti
Andrea Ferrando
Lorenzo Pilati
Giuseppe Scaglione
Alberto Tacchella
Marco Zamboni
- Copyright-Jahr
- 2022
- Buch
-
Tools and Algorithms for the Construction and Analysis of Systems
Print ISBN: 978-3-030-99523-2
Electronic ISBN: 978-3-030-99524-9
Copyright-Jahr: 2022
- DOI
- https://doi.org/10.1007/978-3-030-99524-9_7
