{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:37:49Z","timestamp":1743147469821,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319684987"},{"type":"electronic","value":"9783319684994"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68499-4_3","type":"book-chapter","created":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T06:35:37Z","timestamp":1508308537000},"page":"34-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS\/ETCS"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Canonico","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,19]]},"reference":[{"issue":"10","key":"3_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/MCOM.2015.7295467","volume":"53","author":"B Ai","year":"2015","unstructured":"Ai, B., Guan, K., Rupp, M., Kurner, T., Cheng, X., Yin, X.F., Wang, Q., Ma, G.Y., Li, Y., Xiong, L., Ding, J.W.: Future railway services-oriented mobile communications network. IEEE Commun. Mag. 53(10), 78\u201385 (2015)","journal-title":"IEEE Commun. Mag."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Bj\u00f8rner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A.: Vericon: towards verifying controller programs in software-defined networks. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 282\u2013293 (2014)","DOI":"10.1145\/2666356.2594317"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.scico.2016.09.002","volume":"133","author":"M Benerecetti","year":"2017","unstructured":"Benerecetti, M., De Guglielmo, R., Gentile, U., Marrone, S., Mazzocca, N., Nardone, R., Peron, A., Velardi, L., Vittorini, V.: Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133, 116\u2013153 (2017)","journal-title":"Sci. Comput. Program."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bifulco, R., Canonico, R.: Analysis of the handover procedure in Follow-Me Cloud. In: 2012 IEEE 1st International Conference on Cloud Networking (CLOUDNET), pp. 185\u2013187 (2012)","DOI":"10.1109\/CloudNet.2012.6483683"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/3-540-45848-4_59","volume-title":"Graph Drawing","author":"U Brandes","year":"2002","unstructured":"Brandes, U., Eiglsperger, M., Herman, I., Himsolt, M., Marshall, M.S.: GraphML progress report structural layer proposal. In: Mutzel, P., J\u00fcnger, M., Leipert, S. (eds.) GD 2001. LNCS, vol. 2265, pp. 501\u2013512. Springer, Heidelberg (2002). doi:\n                      10.1007\/3-540-45848-4_59"},{"key":"3_CR6","unstructured":"Canini, M., Venzano, D., Pere\u0161\u00edni, P., Kosti\u0107, D., Rexford, J.: A NICE way to test openflow applications. In: Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (2012)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Fontes, R.R., Afzal, S., Brito, S.H.B., Santos, M.A.S., Rothenberg, C.E.: Mininet-WiFi: emulating software-defined wireless networks. In: Proceedings of the 2015 11th International Conference on Network and Service Management (CNSM), pp. 384\u2013389. IEEE (2015)","DOI":"10.1109\/CNSM.2015.7367387"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Gopalasingham, A., Van Pham, Q., Roullet, L., Chen, C.S., Renault, E., Natarianni, L., De Marchi, S., Hamman, E.: Software-defined mobile backhaul for future train to ground communication services. In: 2016 9th IFIP Wireless and Mobile Networking Conference (WMNC), pp. 161\u2013167 (2016)","DOI":"10.1109\/WMNC.2016.7543984"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Guha, A., Reitblatt, M., Foster, N.: Machine-verified network controllers. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 483\u2013494. ACM (2013)","DOI":"10.1145\/2491956.2462178"},{"key":"3_CR10","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Kang, M., Kang, E.Y., Hwang, D.Y., Kim, B.J., Nam, K.H., Shin, M.K., Choi, J.Y.: Formal modeling and verification of sdn-openflow. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 481\u2013482, March 2013","DOI":"10.1109\/ICST.2013.69"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Tetali, S.D., Wang, Z.: Kuai: a model checker for software-defined networks. In: 2014 Formal Methods in Computer-Aided Design (FMCAD), pp. 163\u2013170 (2014)","DOI":"10.1109\/FMCAD.2014.6987609"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"McClurg, J., Hojjat, H., \u010cern\u00fd, P., Foster, N.: Efficient synthesis of network updates. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp. 196\u2013207. ACM, New York (2015)","DOI":"10.1145\/2737924.2737980"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N McKeown","year":"2008","unstructured":"McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., Shenker, S., Turner, J.: OpenFlow: enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev. 38(2), 69\u201374 (2008)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"issue":"10","key":"3_CR15","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MCOM.2015.7295469","volume":"53","author":"MK M\u00fcller","year":"2015","unstructured":"M\u00fcller, M.K., Taranetz, M., Rupp, M.: Providing current and future cellular services to high speed trains. IEEE Commun. Mag. 53(10), 96\u2013101 (2015)","journal-title":"IEEE Commun. Mag."},{"key":"3_CR16","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-29510-7_7","volume-title":"Formal Techniques for Safety-Critical Systems","author":"R Nardone","year":"2016","unstructured":"Nardone, R., Gentile, U., Benerecetti, M., Peron, A., Vittorini, V., Marrone, S., Mazzocca, N.: Modeling railway control systems in promela. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 121\u2013136. Springer, Cham (2016). doi:\n                      10.1007\/978-3-319-29510-7_7"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Oliveira, D., Pourvali, M., Bai, H., Ghani, N., Lehman, T., Yang, X., Hayat, M.: A novel automated SDN architecture and orchestration framework for resilient large-scale networks. In: SoutheastCon 2017, pp. 1\u20136 (2017)","DOI":"10.1109\/SECON.2017.7925317"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"1819","DOI":"10.1109\/SURV.2013.011413.00087","volume":"15","author":"F Paolucci","year":"2013","unstructured":"Paolucci, F., Cugini, F., Giorgetti, A., Sambo, N., Castoldi, P.: A survey on the path computation element (PCE) architecture. IEEE Commun. Surv. Tutor. 15(4), 1819\u20131841 (2013)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Sethi, D., Narayana, S., Malik, S.: Abstractions for model checking SDN controllers. In: 2013 Formal Methods in Computer-Aided Design, pp. 145\u2013148, October 2013","DOI":"10.1109\/FMCAD.2013.6679403"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Skowyra, R.W., Lapets, A., Bestavros, A., Kfoury, A.: Verifiably-safe software-defined networks for CPS. In: Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, pp. 101\u2013110. ACM (2013)","DOI":"10.1145\/2461446.2461461"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/MVT.2014.2310572","volume":"9","author":"A Sniady","year":"2014","unstructured":"Sniady, A., Soler, J.: LTE for railways: impact on performance of ETCS railway signaling. IEEE Veh. Technol. Mag. 9(2), 69\u201377 (2014)","journal-title":"IEEE Veh. Technol. Mag."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Wang, Y., Bi, J.: A solution for IP mobility support in software defined networks. In: 2014 23rd International Conference on Computer Communication and Networks (ICCCN), pp. 1\u20138 (2014)","DOI":"10.1109\/ICCCN.2014.6911783"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1186\/1687-1499-2014-127","volume":"2014","author":"L Yan","year":"2014","unstructured":"Yan, L., Fang, X.: Reliability evaluation of 5G C\/U-plane decoupled architecture for high-speed railway. EURASIP J. Wirel. Commun. Netw. 2014, 127 (2014)","journal-title":"EURASIP J. Wirel. Commun. Netw."},{"issue":"7","key":"3_CR24","doi-asserted-by":"publisher","first-page":"398","DOI":"10.3103\/S0146411614070165","volume":"48","author":"VA Zakharov","year":"2014","unstructured":"Zakharov, V.A., Smelyansky, R.L., Chemeritsky, E.V.: A formal model and verification problems for software defined networks. Autom. Control Comput. Sci. 48(7), 398\u2013406 (2014)","journal-title":"Autom. Control Comput. Sci."}],"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":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68499-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:53:17Z","timestamp":1558320797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68499-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319684987","9783319684994"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68499-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"19 October 2017","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":"Pistoia","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":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rssrail2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/conferences.ncl.ac.uk\/rssrail\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}