{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T03:11:39Z","timestamp":1760238699458,"version":"build-2065373602"},"reference-count":40,"publisher":"MDPI AG","issue":"17","license":[{"start":{"date-parts":[[2020,8,19]],"date-time":"2020-08-19T00:00:00Z","timestamp":1597795200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>In vehicle-to-infrastructure (V2I) communications, various failures in the dynamic movement pose serious link interruptions. To study the continuous service quality for the V2I network when this issue happens, this paper proposes a survivability analysis and establishes the communication architecture for software-defined\u2002network (SDN)-based V2I communications. With the controllable advantages of SDN centralized management, the multi-path transmission control protocol is used to seamlessly switch the transmission information between the V2I links of each vehicle node. Specifically, according to the analysis of specific fault types for V2I links, the definitions of SDN-based V2I survivability is provided to establish the corresponding survivability mode. To further verify the survivability model, a full-state search is adopted by means of probability model checker PRISM. In addition, multi-directional probability and expected reward evaluation analyses are carried out from the point of view of time. The simulation results show that, with the failure of multiple V2I links, the network quality of service (QoS) correspondingly declines, but the network still survives, due to the multi-path transmission control protocol (MPTCP) action. Moreover, with a high fault repair rate, the service performance and survivability of the network is improved rapidly.<\/jats:p>","DOI":"10.3390\/s20174678","type":"journal-article","created":{"date-parts":[[2020,8,19]],"date-time":"2020-08-19T09:22:31Z","timestamp":1597828951000},"page":"4678","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["SDN-Based Survivability Analysis for V2I Communications"],"prefix":"10.3390","volume":"20","author":[{"given":"Li","family":"Jin","sequence":"first","affiliation":[{"name":"School of Information Science and Technology, Nantong University, Nantong 226019, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoan","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Information Science and Technology, Nantong University, Nantong 226019, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Information Science and Technology, Nantong University, Nantong 226019, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Duan","sequence":"additional","affiliation":[{"name":"School of Information Science and Technology, Nantong University, Nantong 226019, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,8,19]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"3299","DOI":"10.1109\/TAC.2015.2416926","article-title":"Risk-sensitive control under Markov modulated denial-of-service (DoS) attack strategies","volume":"60","author":"Befekadu","year":"2015","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"7895","DOI":"10.1109\/TVT.2016.2563164","article-title":"Control plane optimization in software-defined vehicular ad hoc networks","volume":"65","author":"Li","year":"2016","journal-title":"IEEE Trans. Veh. Technol."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/MCOM.2017.1601105","article-title":"An architecture for hierarchical software-defined vehicular networks","volume":"55","author":"Correia","year":"2017","journal-title":"IEEE Commun. Mag."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Mena, J., Bankole, P., and Gerla, M. (2017, January 5\u20137). Multipath TCP on a VANET: A performance study. Proceedings of the 2017 ACM SIGMETRICS\/International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, IL, USA.","DOI":"10.1145\/3078505.3078555"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/LWC.2018.2870595","article-title":"Optimal multipath TCP offloading over 5G NR and LTE Networks","volume":"8","author":"Changsung","year":"2019","journal-title":"IEEE Wirel. Commun. Lett."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MNET.2015.7018199","article-title":"Multipath TCP for user cooperation in LTE networks","volume":"29","author":"Zhou","year":"2015","journal-title":"IEEE Netw."},{"key":"ref_7","first-page":"1","article-title":"Muti-path TCP for V2I communication in SDN controlled small cell deployment of smart city","volume":"15","author":"Singh","year":"2019","journal-title":"Veh. Commun."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"8489","DOI":"10.1109\/TCOMM.2019.2941926","article-title":"Low-delay scheduling for internet of vehicles: Load-balanced multipath communication with FEC","volume":"67","author":"Pokhrel","year":"2019","journal-title":"IEEE Trans. Commun."},{"key":"ref_9","first-page":"41","article-title":"Quantitative analysis model for information system survivability","volume":"34","author":"Zhao","year":"2008","journal-title":"Comput. Eng."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1016047527226","article-title":"Optical network survivability: Protection techniques in the WDM layer","volume":"4","author":"Maier","year":"2002","journal-title":"Photonic Netw. Commun."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1000","DOI":"10.1109\/TNET.2010.2091426","article-title":"Cross-layer survivability in WDM-based networks","volume":"19","author":"Lee","year":"2011","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/COMST.1998.5340401","article-title":"Architectures for ATM network survivability","volume":"1","author":"Kawamura","year":"1998","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_13","first-page":"751","article-title":"Modelling communication network challenges for future internet resilience, survivability, and disruption tolerance: A simulation-based approach","volume":"52","author":"Cetinkaya","year":"2013","journal-title":"Telecommun. Syst."},{"key":"ref_14","first-page":"31","article-title":"Survivability studies for military communication network","volume":"35","author":"Yang","year":"2014","journal-title":"J. Mil. Commun. Tech."},{"key":"ref_15","first-page":"23","article-title":"Optimization design of double layer hybrid satellite network and coverage performance evaluation","volume":"43","author":"Dai","year":"2017","journal-title":"Appl. Electr. Technol."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/TDSC.2009.54","article-title":"Adaptive fault-tolerant QoS control algorithms for maximizing system lifetime of query-based wireless sensor networks","volume":"8","author":"Chen","year":"2011","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1016\/j.comcom.2011.10.006","article-title":"Design of fault tolerant wireless sensor networks satisfying survivability and lifetime requirements","volume":"35","author":"Bari","year":"2012","journal-title":"Comput. Commun."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1016\/j.jnca.2014.09.011","article-title":"Epidemiological approach for data survivability in unattended wireless sensor networks","volume":"46","author":"Bahi","year":"2014","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/j.comnet.2016.06.030","article-title":"Adaptive beam nulling in multihop ad hoc networks against a jammer in motion","volume":"109","author":"Bhunia","year":"2016","journal-title":"Comput. Netw."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/52.776952","article-title":"Survivable network system analysis: A case study","volume":"16","author":"Ellison","year":"1999","journal-title":"IEEE Softw."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.comnet.2017.03.023","article-title":"Survivability analysis of a two-tier infrastructure-based wireless network","volume":"128","author":"Xie","year":"2017","journal-title":"Comput. Netw."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/SURV.2009.090208","article-title":"A comparative analysis of network dependability, fault-tolerance, reliability, security, and survivability","volume":"11","author":"Kyriakopoulos","year":"2009","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s11235-015-9988-6","article-title":"Quantification of system survivability","volume":"60","author":"Trivedi","year":"2015","journal-title":"Telecommun. Syst."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.ress.2016.04.004","article-title":"Reliability and survivability of vehicular ad hoc networks: An analytical approach","volume":"153","author":"Dharmaraja","year":"2016","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1016\/j.comnet.2010.03.005","article-title":"Resilience and survivability in communication networks: Strategies, principles, and survey of disciplines","volume":"54","author":"Sterbenz","year":"2010","journal-title":"Comput. Netw."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1992","DOI":"10.1109\/TMC.2014.2374168","article-title":"A network coding based energy efficient data backup in survivability-heterogeneous sensor networks","volume":"14","author":"Tian","year":"2015","journal-title":"IEEE Trans. Mob. Comput."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.comnet.2017.04.004","article-title":"A new cooperative communication algorithm for improving connectivity in the event of network failure in VANETs","volume":"128","author":"Das","year":"2017","journal-title":"Comput. Netw."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"2665","DOI":"10.1109\/ACCESS.2015.2507201","article-title":"Toward highly dependable power-aware mobile ad hoc network\u2013survivability evaluation framework","volume":"3","author":"Yi","year":"2015","journal-title":"IEEE Access"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"25927","DOI":"10.1109\/ACCESS.2017.2769802","article-title":"Detecting arbitrary attacks using continuous secured side information in wireless networks","volume":"5","author":"Cao","year":"2017","journal-title":"IEEE Access"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"2668","DOI":"10.1109\/TMC.2016.2636152","article-title":"Survivability in time-varying networks","volume":"16","author":"Liang","year":"2017","journal-title":"IEEE Trans. Mob. Comput."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1109\/TCST.2009.2026285","article-title":"A survey of fault detection, isolation, and reconfiguration methods","volume":"18","author":"Hwang","year":"2010","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.1109\/TR.2017.2741526","article-title":"A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian arrivals","volume":"66","author":"Zheng","year":"2017","journal-title":"IEEE Trans. Reliab."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"12929","DOI":"10.1109\/ACCESS.2018.2794765","article-title":"Sequential fault diagnosis based on LSTM neural network","volume":"6","author":"Zhao","year":"2018","journal-title":"IEEE Access"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"110524","DOI":"10.1016\/j.jss.2020.110524","article-title":"Cloud reliability and efficiency improvement via failure risk based proactive actions","volume":"163","author":"Tian","year":"2020","journal-title":"J. Syst. Softw."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/JSAC.2010.100217","article-title":"Existence and construction of capacity-achieving network codes for distributed storage","volume":"28","author":"Wu","year":"2010","journal-title":"J. Sel. Areas Commun."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","article-title":"Model checking of probabilistic and nondeterministic systems","volume":"1026","author":"Bianco","year":"2005","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_37","first-page":"2104","article-title":"Probabilistic model checking for real-time obstacle avoidance of mobile robot in a non-deterministic environment","volume":"35","author":"Wang","year":"2014","journal-title":"J. Chin. Comput. Syst."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2005.10.030","article-title":"Quantitative analysis with the probabilistic model checker PRISM","volume":"153","author":"Kwiatkowska","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/TSE.2008.108","article-title":"Model checking timed and stochastic properties with CSL^{TA}","volume":"35","author":"Donatelli","year":"2009","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/j.ipl.2012.09.009","article-title":"Model checking conditional CSL for continuous-time Markov chains","volume":"113","author":"Gao","year":"2013","journal-title":"Inf. Process. Lett."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/20\/17\/4678\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T10:03:04Z","timestamp":1760176984000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/20\/17\/4678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,19]]},"references-count":40,"journal-issue":{"issue":"17","published-online":{"date-parts":[[2020,9]]}},"alternative-id":["s20174678"],"URL":"https:\/\/doi.org\/10.3390\/s20174678","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2020,8,19]]}}}