{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T13:00:48Z","timestamp":1763643648011,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197611"},{"type":"electronic","value":"9783031197628"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T00:00:00Z","timestamp":1665964800000},"content-version":"vor","delay-in-days":289,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The emergence of 5G technologies opens up new opportunities for railway communications. One of the foundational aspects of 5G architecture is its control-plane programmability, which can be achieved through Software Defined Networking (SDN). In railway scenarios, this can be used to dynamically reconfigure the network for a more effective and efficient management of communication flows produced by moving trains. The paper presents a framework for integrating modelling and analysis tools into a programmable control plane specifically tailored to railway communications. We introduce the concept of domain-awareness in the network control plane as an SDN-enabled feature that allows achieving application-specific advantages besides those purely expressed in terms of key performance indicators such as the quality of service. We propose a reference architecture in which domain-awareness in the control plane is obtained by considering information gathered by network devices and ad-hoc communication gateways that are able to detect relevant signalling events. In the architecture, the actual behaviour of the SDN controller is governed by applications that are able to react to specific triggers and re-configure network devices accordingly. We also provide a methodological framework based on model-driven engineering and formal methods, including dynamic state machines, for the automatic generation of SDN control plane logic.<\/jats:p>","DOI":"10.1007\/978-3-031-19762-8_23","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"308-320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Generation of\u00a0Domain-Aware Control Plane Logic for\u00a0Software Defined Railway Communication Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0496-1285","authenticated-orcid":false,"given":"Roberto","family":"Canonico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2833-7196","authenticated-orcid":false,"given":"Francesco","family":"Flammini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1927-6173","authenticated-orcid":false,"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4938-9216","authenticated-orcid":false,"given":"Roberto","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0451-9593","authenticated-orcid":false,"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"issue":"3","key":"23_CR1","doi-asserted-by":"publisher","first-page":"1617","DOI":"10.1109\/COMST.2016.2532458","volume":"18","author":"M Agiwal","year":"2016","unstructured":"Agiwal, M., Roy, A., Saxena, N.: Next generation 5G wireless networks: a comprehensive survey. IEEE Commun. Surv. Tutorials 18(3), 1617\u20131655 (2016)","journal-title":"IEEE Commun. Surv. Tutorials"},{"issue":"10","key":"23_CR2","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/MCOM.2015.7295467","volume":"53","author":"B Ai","year":"2015","unstructured":"Ai, B., et al.: Future railway services-oriented mobile communications network. IEEE Commun. Mag. 53(10), 78\u201385 (2015)","journal-title":"IEEE Commun. Mag."},{"key":"23_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., et al.: Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133, 116\u2013153 (2017)","journal-title":"Sci. Comput. Program."},{"key":"23_CR4","unstructured":"Be\u0161inovi\u0107, N., et al.: Artificial intelligence in railway transport: taxonomy, regulations and applications. IEEE Trans. Intell. Transp. Syst. 1\u201314 (2021)"},{"key":"23_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). https:\/\/doi.org\/10.1007\/3-540-45848-4_59"},{"key":"23_CR6","doi-asserted-by":"publisher","unstructured":"Canonico, R., Marrone, S., Nardone, R., Vittorini, V.: A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS\/ETCS. In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, vol. 10598, pp. 34\u201350. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68499-4_3","DOI":"10.1007\/978-3-319-68499-4_3"},{"issue":"8","key":"23_CR7","doi-asserted-by":"publisher","first-page":"1769","DOI":"10.1109\/JSAC.2019.2927065","volume":"37","author":"DA Chekired","year":"2019","unstructured":"Chekired, D.A., Togou, M.A., Khoukhi, L., Ksentini, A.: 5G-slicing-enabled scalable SDN core network: toward an ultra-low latency of autonomous driving service. IEEE J. Sel. Areas Commun. 37(8), 1769\u20131782 (2019)","journal-title":"IEEE J. Sel. Areas Commun."},{"issue":"6","key":"23_CR8","doi-asserted-by":"publisher","first-page":"2545","DOI":"10.1109\/TITS.2019.2920290","volume":"21","author":"C Di Meo","year":"2020","unstructured":"Di Meo, C., Di Vaio, M., Flammini, F., Nardone, R., Santini, S., Vittorini, V.: ERTMS\/ETCS virtual coupling: proof of concept and numerical analysis. IEEE Trans. Intell. Transp. Syst. 21(6), 2545\u20132556 (2020)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"23_CR9","unstructured":"ETSI Technical Committee Railway Telecommunications (RT): Future Rail Mobile Communication System (FRMCS) - Study on system architecture. Technical report. ETSI TR 103 459 V1.2.1 (2020-08), ETSI (2020)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Fontes, R., Afzal, S., Brito, S., Santos, M., Esteve Rothenberg, C.: Mininet-WiFi: emulating software-defined wireless networks. In: 2nd International Workshop on Management of SDN and NFV Systems, 2015(ManSDN\/NFV 2015) (2015)","DOI":"10.1109\/CNSM.2015.7367387"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Gopalasingham, A., et al.: Software-defined mobile backhaul for future train to ground communication services. In: 2016 9th IFIP Wireless and Mobile Networking Conference (WMNC), p. 167 (2016)","DOI":"10.1109\/WMNC.2016.7543984"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/MVT.2016.2564446","volume":"11","author":"R He","year":"2016","unstructured":"He, R., et al.: High-speed railway communications: from GSM-R to LTE-R. IEEE Veh. Technol. Mag. 11(3), 49\u201358 (2016)","journal-title":"IEEE Veh. Technol. Mag."},{"key":"23_CR13","unstructured":"Holzmann, G.: SPIN Model Checker, The: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Li, Q.Y., Zhong, Z.D., Liu, M., Fang, W.W.: Chapter 14 - smart railway based on the internet of things. In: Hsu, H.H., Chang, C.Y., Hsu, C.H. (eds.) Big Data Analytics for Sensor-Network Collected Intelligence, pp. 280\u2013297. Intelligent Data-Centric Systems. Academic Press (2017)","DOI":"10.1016\/B978-0-12-809393-1.00014-3"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"94293","DOI":"10.1109\/ACCESS.2019.2926479","volume":"7","author":"YB Lin","year":"2019","unstructured":"Lin, Y.B., Huang, T.J., Tsai, S.C.: Enhancing 5G\/IoT transport security through content permutation. IEEE Access 7, 94293\u201394299 (2019)","journal-title":"IEEE Access"},{"issue":"2","key":"23_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N McKeown","year":"2008","unstructured":"McKeown, N., et al.: OpenFlow: enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev. 38(2), 69\u201374 (2008)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Moreno, J., Riera, J.M., Haro, L.D., Rodriguez, C.: A survey on future railway radio communications services: challenges and opportunities. IEEE Commun. Mag. 53(10), 62\u201368 (2015)","DOI":"10.1109\/MCOM.2015.7295465"},{"issue":"10","key":"23_CR18","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MCOM.2015.7295469","volume":"53","author":"MK Muller","year":"2015","unstructured":"Muller, M.K., Taranetz, M., Rupp, M.: Providing current and future cellular services to high speed trains. IEEE Commun. Mag. 53(10), 96\u2013101 (2015). https:\/\/doi.org\/10.1109\/MCOM.2015.7295469","journal-title":"IEEE Commun. Mag."},{"issue":"2","key":"23_CR19","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."},{"issue":"1","key":"23_CR20","first-page":"58","volume":"21","author":"M Van Liefferinge","year":"2015","unstructured":"Van Liefferinge, M., Paties, L.: Preparing the future communication system for ERTMS. Eur. Railway Rev. 21(1), 58\u201360 (2015)","journal-title":"Eur. Railway Rev."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Yan, L., Fang, X.: Reliability evaluation of 5G C\/U-plane decoupled architecture for high-speed railway. EURASIP J. Wirel. Commun. Networking 2014, 127 (2014)","DOI":"10.1186\/1687-1499-2014-127"},{"issue":"4","key":"23_CR22","doi-asserted-by":"publisher","first-page":"3220","DOI":"10.1109\/COMST.2018.2836315","volume":"20","author":"Z Zaidi","year":"2018","unstructured":"Zaidi, Z., Friderikos, V., Yousaf, Z., Fletcher, S., Dohler, M., Aghvami, H.: Will SDN be part of 5G? IEEE Commun. Surv. Tutorials 20(4), 3220\u20133258 (2018)","journal-title":"IEEE Commun. Surv. Tutorials"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:16:52Z","timestamp":1666221412000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}