An integrated perspective on the evaluation of complex railway systems
Basile D., Ter Beek M. H., Carnevali L., Chiaradonna S., Di Giandomenico F., Fantechi A., Gori G.
Railway systems Sustainability Dependable computing Contract automata Formal methods Interoperability Quantitative analysis NOT APPLICABLE
The project ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms) aims to provide novel solutions for the evaluation of RAMS requirements as well as to present trade-offs between dependability attributes and energy consumption in complex railway systems, leveraging both qualitative and quantitative evaluation methods. To this end, case studies concerning distributed interlocking systems, standard interfaces, and railroad switch heaters are considered, comprising different challenging scenarios, notably representative of the complexity of railway systems. In this paper, we illustrate the objectives of the project and the activities planned to address them, devising future steps to integrate the envisaged contributions within a unified framework.
Source: LECTURE NOTES IN COMPUTER SCIENCE, vol. 15223, pp. 190-207. Crete, Greece, 27-31/10/2024
Publisher: Springer
Metrics
Back to previous page
@inproceedings{oai:iris.cnr.it:20.500.14243/509266,
title = {An integrated perspective on the evaluation of complex railway systems},
author = {Basile D. and Ter Beek M. H. and Carnevali L. and Chiaradonna S. and Di Giandomenico F. and Fantechi A. and Gori G.},
publisher = {Springer},
doi = {10.1007/978-3-031-75390-9_13},
booktitle = {LECTURE NOTES IN COMPUTER SCIENCE, vol. 15223, pp. 190-207. Crete, Greece, 27-31/10/2024},
year = {2024}
}Basile, Davide
0000-0002-7196-6609
Chiaradonna, Silvano0000-0002-0889-1990
Di Giandomenico, Felicita0000-0002-8760-7299
Fantechi, Alessandro0000-0002-4648-4667
Ter Beek, Maurice Henri0000-0002-2930-6367
Formal Methods and Tools (2002-ongoing)
Software Engineering & Dependable Computing (2012-ongoing)
ADVancEd iNtegraTed evalUation of Railway systEms
ADVancEd iNtegraTed evalUation of Railway systEms
Sustainable Mobility National Research Center
Sustainable Mobility National Research Center