Author:
Cavada Roberto,Cimatti Alessandro,Griggio Alberto,Susi Angelo
Abstract
AbstractThe development of modern railways applications must be supported by trusted tools, able to cover the whole development process. In this paper we report on the research challenges underlying a comprehensive toolset for the design of computer-based interlocking systems. Following a VV development process, the framework adopts a clear separation between the abstract interlocking logic and the instantiations characterizing the single stations. The challenges include the definition of adequate specification languages, the generation of executable code and simulation infrastructure, traceability, test case generation, and formal verification.
Publisher
Springer International Publishing
Reference11 articles.
1. Lecture Notes in Computer Science;A Amendola,2022
2. Lecture Notes in Computer Science;A Amendola,2020
3. Arenella, A., et al.: Model-driven design and validation of CBI applications. In: Proceedings of the World Congress on Railways Research, pp. 702–705 (2022)
4. Becchi, A., Cimatti, A.: Abstraction modulo stability for reverse engineering. In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification. CAV 2022. LNCS, vol. 13371, pp. 469–489. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-13185-1_23
5. Becchi, A., Cimatti, A., Zaffanella, E.: Synthesis of P-stable abstractions. In: de Boer, F., Cerone, A. (eds.) Software Engineering and Formal Methods. SEFM 2020. LNCS, vol. 12310, pp. 214–230. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-58768-0_12
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献