{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:25:25Z","timestamp":1764865525000,"version":"3.46.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032107619"},{"type":"electronic","value":"9783032107626"}],"license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10762-6_11","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:07:57Z","timestamp":1763222877000},"page":"129-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantitative Dependability Evaluation of\u00a0Train Control Systems in\u00a0Presence of\u00a0Uncertainty: A Systematic Literature Review"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8760-7299","authenticated-orcid":false,"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0139-0421","authenticated-orcid":false,"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8482-2612","authenticated-orcid":false,"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"11_CR1","unstructured":"ASTRail. http:\/\/www.astrail.eu"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H., Ferrari, A., Legay, A.: Exploring the ERTMS\/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transfer 1\u201320 (2022). https:\/\/doi.org\/10.1007\/s10009-022-00653-3","DOI":"10.1007\/s10009-022-00653-3"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.trc.2011.12.002","volume":"22","author":"J Beugin","year":"2012","unstructured":"Beugin, J., Marais, J.: Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization. Transp. Res. Part C: Emerg. Technol. 22, 42\u201357 (2012)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Vicario, E.: Performability evaluation of the ERTMS\/ETCS - Level 3. Transp. Res. Part C: Emerg. Technol. 82, 314\u2013336 (2017)","DOI":"10.1016\/j.trc.2017.07.002"},{"key":"11_CR5","unstructured":"Capacity4Rail. http:\/\/www.capacity4rail.eu"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"4298","DOI":"10.1109\/TITS.2025.3530112","volume":"26","author":"L Carnevali","year":"2025","unstructured":"Carnevali, L., Di Giandomenico, F., Fantechi, A., Gnesi, S., Gori, G.: Quantitative dependability evaluation of train control systems in presence of uncertainty: A systematic literature review. IEEE Trans. Intell. Transp. Syst. 26(4), 4298\u20134314 (2025). https:\/\/doi.org\/10.1109\/TITS.2025.3530112","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"11_CR7","unstructured":"EEIG ERTMS User Group: ERTMS\/ETCS RAMS System Requirements Specification (1999)"},{"key":"11_CR8","unstructured":"EEIG ERTMS User Group: ERTMS\/ETCS Systems Requirements Specification (1999)"},{"key":"11_CR9","unstructured":"Europe\u2019s Rail. https:\/\/rail-research.europa.eu\/"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Gori, G.: Future train control systems: challenges for dependability assessment. In: Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, 22\u201330 October 2022, Proceedings, Part IV, pp. 269\u2013285. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-19762-8_21"},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3520480","volume":"55","author":"A Ferrari","year":"2022","unstructured":"Ferrari, A., ter Beek, M.H.: Formal methods in railways: a systematic mapping study. ACM Comput. Surv. 55(4), 1\u201337 (2022)","journal-title":"ACM Comput. Surv."},{"issue":"11","key":"11_CR12","doi-asserted-by":"publisher","first-page":"4675","DOI":"10.1109\/TSE.2021.3124677","volume":"48","author":"A Ferrari","year":"2021","unstructured":"Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H.: Systematic evaluation and usability analysis of formal methods tools for railway signaling system design. IEEE Trans. Softw. Eng. 48(11), 4675\u20134691 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"11_CR13","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1007\/s00165-021-00560-5","volume":"33","author":"F Flammini","year":"2021","unstructured":"Flammini, F., Marrone, S., Nardone, R., Vittorini, V.: Compositional modeling of railway virtual coupling with stochastic activity networks. Formal Aspects Comput. 33(6), 989\u20131007 (2021). https:\/\/doi.org\/10.1007\/s00165-021-00560-5","journal-title":"Formal Aspects Comput."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Himrane, O., Beugin, J., Ghazel, M.: Toward formal safety and performance evaluation of GNSS-based railway localisation function. IFAC-PapersOnLine 54(2), 159\u2013166 (2021)","DOI":"10.1016\/j.ifacol.2021.06.049"},{"key":"11_CR15","unstructured":"IEEE Vehicular Technology Society: IEEE 1474.1 - Standard for Communications Based Train Control (CBTC) - Performance and Functional Requirements (2004)"},{"key":"11_CR16","unstructured":"Kitchenham, B.: Procedures for performing systematic reviews. Keele, UK, Keele University 33(2004), 1\u201326 (2004)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Knutsen, D., Olsson, N.O., Fu, J.: ERTMS\/ETCS level 3: development, assumptions, and what it means for the future. J. Intell. Connected Veh. (2023)","DOI":"10.26599\/JICV.2023.9210003"},{"issue":"10","key":"11_CR18","doi-asserted-by":"publisher","first-page":"2602","DOI":"10.1109\/TITS.2017.2658179","volume":"18","author":"J Marais","year":"2017","unstructured":"Marais, J., Beugin, J., Berbineau, M.: A survey of GNSS-based research and developments for the European railway signaling. IEEE Trans. Intell. Transp. Syst. 18(10), 2602\u20132618 (2017)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"11_CR19","first-page":"14","volume":"219","author":"I Mitchell","year":"2016","unstructured":"Mitchell, I., et al.: ERTMS level 4, train convoys or virtual coupling. IRSE News 219, 14\u201315 (2016)","journal-title":"IRSE News"},{"issue":"20","key":"11_CR20","doi-asserted-by":"publisher","first-page":"6788","DOI":"10.1109\/JSEN.2017.2747137","volume":"17","author":"J Otegui","year":"2017","unstructured":"Otegui, J., Bahillo, A., Lopetegi, I., D\u00edez, L.E.: A survey of train positioning solutions. IEEE Sens. J. 17(20), 6788\u20136797 (2017)","journal-title":"IEEE Sens. J."},{"key":"11_CR21","unstructured":"PERFORMINGRAIL. https:\/\/www.performingrail.com"},{"key":"11_CR22","unstructured":"Shift2Rail Joint Undertaking: Multi-annual action plan (2015)"},{"issue":"1","key":"11_CR23","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1186\/s13173-021-00105-x","volume":"27","author":"LD da Silva","year":"2021","unstructured":"da Silva, L.D., Lollini, P., Mongelli, D., Bondavalli, A., Mand\u00f2, G.: A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. J. Braz. Comput. Soc. 27(1), 2 (2021). https:\/\/doi.org\/10.1186\/s13173-021-00105-x","journal-title":"J. Braz. Comput. Soc."},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.ress.2017.03.001","volume":"164","author":"H Song","year":"2017","unstructured":"Song, H., Liu, J., Schnieder, E.: Validation, verification and evaluation of a train to train distance measurement system by means of Colored Petri Nets. Reliab. Eng. Syst. Saf. 164, 10\u201323 (2017)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and Availability Engineering: Modeling, Analysis, and Applications","author":"KS Trivedi","year":"2017","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1109\/OJITS.2022.3228077","volume":"3","author":"J Xun","year":"2022","unstructured":"Xun, J., Li, Y., Liu, R., Li, Y., Liu, Y.: A survey on control methods for virtual coupling in railway operation. IEEE Open J. Intell. Transp. Syst. 3, 838\u2013855 (2022)","journal-title":"IEEE Open J. Intell. Transp. Syst."},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1016\/j.trc.2017.09.009","volume":"85","author":"J Yin","year":"2017","unstructured":"Yin, J., Tang, T., Yang, L., Xun, J., Huang, Y., Gao, Z.: Research and development of automatic train operation for railway transportation systems: a survey. Transp. Res. Part C: Emerg. Technol. 85, 548\u2013572 (2017)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"issue":"1","key":"11_CR28","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.jss.2003.12.039","volume":"77","author":"A Zimmermann","year":"2005","unstructured":"Zimmermann, A., Hommel, G.: Towards modeling and evaluation of ETCS real-time communication and operation. J. Syst. Softw. 77(1), 47\u201354 (2005)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10762-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:23:37Z","timestamp":1764865417000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,16]]},"assertion":[{"value":"16 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RSSRail","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reliability, Safety, and Security of Railway Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rssrail2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rssrail2025.isti.cnr.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}