{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T16:12:41Z","timestamp":1784131961137,"version":"3.55.0"},"reference-count":44,"publisher":"MDPI AG","issue":"23","license":[{"start":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T00:00:00Z","timestamp":1701129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Ministry of Education","award":["2020R1A6A1A03046811"],"award-info":[{"award-number":["2020R1A6A1A03046811"]}]},{"name":"Ministry of Education","award":["2021R1A2C2094943"],"award-info":[{"award-number":["2021R1A2C2094943"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>In the rapidly evolving urban advanced mobility (UAM) sphere, Vehicular Ad Hoc Networks (VANETs) are crucial for robust communication and operational efficiency in future urban environments. This paper quantifies VANETs to improve their reliability and availability, essential for integrating UAM into urban infrastructures. It proposes a novel Stochastic Petri Nets (SPN) method for evaluating VANET-based Vehicle Communication and Control (VCC) architectures, crucial given the dynamic demands of UAM. The SPN model, incorporating virtual machine (VM) migration and Edge Computing, addresses VANET integration challenges with Edge Computing. It uses stochastic elements to mirror VANET scenarios, enhancing network robustness and dependability, vital for the operational integrity of UAM. Case studies using this model offer insights into system availability and reliability, guiding VANET optimizations for UAM. The paper also applies a Design of Experiments (DoE) approach for a sensitivity analysis of SPN components, identifying key parameters affecting system availability. This is critical for refining the model for UAM efficiency. This research is significant for monitoring UAM systems in future cities, presenting a cost-effective framework over traditional methods and advancing VANET reliability and availability in urban mobility contexts.<\/jats:p>","DOI":"10.3390\/s23239485","type":"journal-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T11:43:16Z","timestamp":1701171796000},"page":"9485","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration"],"prefix":"10.3390","volume":"23","author":[{"given":"Luis Guilherme","family":"Silva","sequence":"first","affiliation":[{"name":"Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piau\u00ed (UFPI), Picos 64049-550, Piau\u00ed, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Israel","family":"Cardoso","sequence":"additional","affiliation":[{"name":"Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piau\u00ed (UFPI), Picos 64049-550, Piau\u00ed, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9246-7414","authenticated-orcid":false,"given":"Carlos","family":"Brito","sequence":"additional","affiliation":[{"name":"Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piau\u00ed (UFPI), Picos 64049-550, Piau\u00ed, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3502-9964","authenticated-orcid":false,"given":"Vandirleya","family":"Barbosa","sequence":"additional","affiliation":[{"name":"Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piau\u00ed (UFPI), Picos 64049-550, Piau\u00ed, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1628-2757","authenticated-orcid":false,"given":"Bruno","family":"Nogueira","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o, Federal University of Alagoas (UFAL), Macei\u00f3 57072-900, Alagoas, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9743-2437","authenticated-orcid":false,"given":"Eunmi","family":"Choi","sequence":"additional","affiliation":[{"name":"School of Software, College of Computer Science, Kookmin University, Seoul 02707, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9123-3584","authenticated-orcid":false,"given":"Tuan Anh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Konkuk Aerospace Design-Airworthiness Research Institute (KADA), Konkuk University, Seoul 05029, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dugki","family":"Min","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, College of Engineering, Konkuk University, Seoul 05029, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3109-798X","authenticated-orcid":false,"given":"Jae Woo","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Aerospace Information Engineering, Konkuk University, Seoul 05029, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8211-6060","authenticated-orcid":false,"given":"Francisco Airton","family":"Silva","sequence":"additional","affiliation":[{"name":"Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piau\u00ed (UFPI), Picos 64049-550, Piau\u00ed, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2023,11,28]]},"reference":[{"key":"ref_1","unstructured":"Ferreira, W. (2023, August 09). IBM Alerta Sobre Press\u00e3o de Dados dos Carros Conectados. Available online: https:\/\/www.telesintese.com.br\/ibm-alerta-sobre-pressao-dos-carros-conectados-nas-redes-de-telecom\/."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Verma, R. (2023, January 29\u201330). An Efficient Secure VANET Communication Using Multi Authenticate Homomorphic Signature Algorithm. Proceedings of the 2023 International Conference on Distributed Computing and Electrical Ci rcuits and Electronics (ICDCECE), Ballar, India.","DOI":"10.1109\/ICDCECE57866.2023.10150880"},{"key":"ref_3","first-page":"100247","article-title":"Secure authentication and privacy-preserving techniques in Vehicular Ad-hoc NETworks (VANETs)","volume":"25","author":"Manivannan","year":"2020","journal-title":"Veh. Commun."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1016\/j.future.2019.07.006","article-title":"Integration of VANET and 5G Security: A review of design and implementation issues","volume":"101","author":"Hussain","year":"2019","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1109\/TVT.2019.2946935","article-title":"Secure real-time traffic data aggregation with batch verification for vehicular cloud in VANETs","volume":"69","author":"Shen","year":"2019","journal-title":"IEEE Trans. Veh. Technol."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Zhang, X., Li, D., Wang, J., Zhang, G., and Jiang, X. (2016, January 28\u201330). Faster parking and less cruise for public parking spot discovery: Modeling and analysis based on timed petri nets. Proceedings of the 2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC), Mexico City, Mexico.","DOI":"10.1109\/ICNSC.2016.7478970"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"103281","DOI":"10.1016\/j.adhoc.2023.103281","article-title":"Inspecting VANET with Various Critical Aspects\u2014A Systematic Review","volume":"150","author":"Karabulut","year":"2023","journal-title":"Ad Hoc Netw."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Maria Christina Blessy, A., and Brindha, S. (2023). Maximizing VANET performance in cluster head selection using Intelligent Fuzzy Bald Eagle optimization. Veh. Commun., 100660.","DOI":"10.1016\/j.vehcom.2023.100660"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"1230","DOI":"10.23919\/cje.2022.00.093","article-title":"Towards V2I age-aware fairness access: A dqn based intelligent vehicular node training and test method","volume":"32","author":"Qiong","year":"2023","journal-title":"Chin. J. Electron."},{"key":"ref_10","unstructured":"German, R., and Telek, M. (1999, January 8\u201310). Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets. Proceedings of the 8th International Workshop on Petri Nets and Performance Models (Cat. No. PR00331), Zaragoza, Spain."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Pinheiro, T., Silva, F.A., F\u00e9, I., Oliveira, D., and Maciel, P. (2019, January 6\u20139). Performance and Resource Consumption Analysis of Elastic Systems on Public Clouds. Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), Bari, Italy.","DOI":"10.1109\/SMC.2019.8914188"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Zhan, H., and Gu, J. (2006, January 24\u201327). Study of the Normal Generalized Stochastic Petri nets and its Application in Testing System. Proceedings of the 2006 IEEE Instrumentation and Measurement Technology Conference Proceedings, Sorrento, Italy.","DOI":"10.1109\/IMTC.2006.328384"},{"key":"ref_13","unstructured":"Chen, P., Bruell, S., and Balbo, G. (1989, January 11\u201313). Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets. Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89, Kyoto, Japan."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Rodrigues, L., Endo, P.T., and Silva, F.A. (2019, January 11\u201313). Stochastic Model for Evaluating Smart Hospitals Performance. Proceedings of the 2019 IEEE Latin-American Conference on Communications (LATINCOM), Salvador, Brazil.","DOI":"10.1109\/LATINCOM48065.2019.8937944"},{"key":"ref_15","unstructured":"Nicol, D., and Miner, A. (1995, January 3\u20136). The fluid stochastic Petri net simulator. Proceedings of the 6th International Workshop on Petri Nets and Performance Models, Durham, NC, USA."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Van Voorhees, F., and Bahill, A. (1995, January 6\u20139). Sensitivity analysis by design of experiments. Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer-Based Systems, Tucson, AZ, USA.","DOI":"10.1109\/ECBS.1995.521841"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Berg\u00e8s, C., Song, J., He, C., Qian, X., Ren, J., Tian, L., Wen, G., and Zhang, H. (2019, January 2\u20135). Provocation tests, design of experiments and advanced statistical modeling to estimate product sensitivity to a defect: Delamination failure case study for automotive semiconductors. Proceedings of the 2019 IEEE 26th International Symposium on Physical and Failure Analysis of Integrated Circuits (IPFA), Hangzhou, China.","DOI":"10.1109\/IPFA47161.2019.8984789"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/82.821550","article-title":"Behavioral modeling of microelectromechanical systems (MEMS) with statistical performance-variability reduction and sensitivity analysis","volume":"47","author":"Dewey","year":"2000","journal-title":"IEEE Trans. Circuits Syst. II Analog. Digit. Signal Process."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"7003104","DOI":"10.1109\/TMAG.2015.2500026","article-title":"Reduction of Optimization Problem by Combination of Optimization Algorithm and Sensitivity Analysis","volume":"52","author":"Mach","year":"2016","journal-title":"IEEE Trans. Magn."},{"key":"ref_20","unstructured":"Kleijnen, J. (1995, January 3\u20136). Sensitivity analysis and optimization in simulation: Design of experiments and case studies. Proceedings of the WSC \u201997: Proceedings of the 29th Conference on Winter Simulation, Arlington, VA, USA."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Silva Nunes Junior, M.A., de Oliveira, T.C., de Carvalho Filho, J.M., and de Abreu, J.P.G. (2012, January 17\u201320). Design of experiments for sensitivity analysis of voltage sags variables. Proceedings of the 2012 IEEE 15th International Conference on Harmonics and Quality of Power, Hong Kong, China.","DOI":"10.1109\/ICHQP.2012.6381265"},{"key":"ref_22","unstructured":"Shah, A.S., Ilhan, H., and Tureli, U. (2019, January 1\u20133). Modeling and performance analysis of the IEEE 802.11 P MAC for VANETs. Proceedings of the 2019 42nd International Conference on Telecommunications and Signal Processing (TSP), Budapest, Hungary."},{"key":"ref_23","first-page":"601","article-title":"Security Analysis of Discrete Event Based Threat Driven Authentication Approach in VANET Using Petri Nets","volume":"20","author":"Malik","year":"2018","journal-title":"Int. J. Netw. Secur."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1109\/JCN.2017.000026","article-title":"Modeling and QoS analysis of the IEEE 802.11 p broadcast scheme in vehicular ad hoc networks","volume":"19","author":"Li","year":"2017","journal-title":"J. Commun. Netw."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Hashimoto, T., Tsuji, T., Aoki, J., Ohta, T., and Kakuda, Y. (2015, January 13\u201317). A Mobile Agent Migration Mechanism for Information Dissemination Scheme in VANETs Considering Entrance and Exit of Mobile Nodes. Proceedings of the 2015 IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops, Auckland, New Zealand.","DOI":"10.1109\/ISORCW.2015.50"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Aoki, J., Hashimoto, T., Ohta, T., and Kakuda, Y. (2015, January 8\u201311). Experimental Evaluation of Location-Based Mobile Agent Migration Mechanism for Information Dissemination Scheme in VANETs. Proceedings of the 2015 Third International Symposium on Computing and Networking (CANDAR), Sapporo, Japan.","DOI":"10.1109\/CANDAR.2015.51"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Jeong, J., Sheny, Y.C., Jeong, J.P., Ohx, T.T., Jun, J., and Sang, H.S. (2017, January 27\u201329). TOMS: TCP Context Migration Scheme for Efficient Data Services in Vehicular Networks. Proceedings of the 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA), Taipei, Taiwan.","DOI":"10.1109\/WAINA.2017.109"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Weber, J.S., Ferreto, T., and Zincir-Heywood, N. (2023, January 20\u201323). Exploring Anomaly Detection Techniques for Enhancing VANET Availability. Proceedings of the 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), Florence, Italy.","DOI":"10.1109\/VTC2023-Spring57618.2023.10200360"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Khan, Z., Abbas, F. (2019, January 12\u201315). A Conceptual Framework of Virtualization and Live-Migration for Vehicle to Infrastructure (V2I) Communications. Proceedings of the 2019 IEEE 11th International Conference on Communication Software and Networks (ICCSN), Chongqing, China.","DOI":"10.1109\/ICCSN.2019.8905287"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Goyal, A.K., Kumar Tripathi, A., and Agarwal, G. (2019, January 27\u201328). Security Attacks, Requirements and Authentication Schemes in VANET. Proceedings of the 2019 International Conference on Issues and Challenges in Intelligent Computing Techniques (ICICT), Ghaziabad, India.","DOI":"10.1109\/ICICT46931.2019.8977656"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"100684","DOI":"10.1016\/j.measen.2023.100684","article-title":"Efficient VANET handover scheme using SSDN by incorporating media independent handover framework","volume":"26","author":"K","year":"2023","journal-title":"Meas. Sens."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"107468","DOI":"10.1016\/j.comnet.2020.107468","article-title":"BaaS: Broadcast as a service cross-layer learning-based approach in cloud assisted VANETs","volume":"182","author":"Mchergui","year":"2020","journal-title":"Comput. Netw."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Cardote, A., Sargento, S., and Steenkiste, P. (2010, January 6\u201310). On the connection availability between relay nodes in a VANET. Proceedings of the 2010 IEEE Globecom Workshops, Miami, FL, USA.","DOI":"10.1109\/GLOCOMW.2010.5700255"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Lobo, A., Matos, R., Silva, B., and Maciel, P. (2017, January 22\u201325). Expolynomial Modelling for Supporting VANET Infrastructure Planning. Proceedings of the 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), Christchurch, New Zealand.","DOI":"10.1109\/PRDC.2017.20"},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Alvarenga, L.D.C., Sousa, P., and Costa, A. (2022, January 22\u201325). Allocation and migration of microservices in SDN-based vehicular fog networks. Proceedings of the 2022 17th Iberian Conference on Information Systems and Technologies (CISTI), Madrid, Spain.","DOI":"10.23919\/CISTI54924.2022.9820608"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"108933","DOI":"10.1016\/j.compeleceng.2023.108933","article-title":"Microgrid based VANET monitoring and energy management in 5G networks by reinforcement deep learning techniques","volume":"111","author":"Selvakumar","year":"2023","journal-title":"Comput. Electr. Eng."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"103301","DOI":"10.1016\/j.adhoc.2023.103301","article-title":"Performance analysis of a Vehicular Ad Hoc network Using LoRa technology and IoT devices in Amazon Rivers","volume":"152","author":"Bruschi","year":"2024","journal-title":"Ad Hoc Netw."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"100723","DOI":"10.1016\/j.iot.2023.100723","article-title":"An authentication approach in SDN-VANET architecture with Rider-Sea Lion optimized neural network for intrusion detection","volume":"22","author":"Vanmathi","year":"2023","journal-title":"Internet Things"},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1109\/JSAC.2017.2692307","article-title":"5G: A tutorial overview of standards, trials, challenges, deployment, and practice","volume":"35","author":"Shafi","year":"2017","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1504\/IJSNET.2021.117229","article-title":"Vehicular cloud computing networks: Availability modelling and sensitivity analysis","volume":"36","author":"Rodrigues","year":"2021","journal-title":"Int. J. Sens. Netw."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Maciel, P., Matos, R., Silva, B., Figueiredo, J., Oliveira, D., F\u00e9, I., Maciel, R., and Dantas, J. (2017, January 22\u201325). Mercury: Performance and dependability evaluation of systems with exponential, expolynomial, and general distributions. Proceedings of the 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), Christchurch, New Zealand.","DOI":"10.1109\/PRDC.2017.16"},{"key":"ref_42","first-page":"176","article-title":"Reliability and quality of service of an off-grid wind powered roadside unit in a motorway vehicular environment","volume":"9","author":"Audu","year":"2017","journal-title":"Veh. Commun."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"1828","DOI":"10.1007\/s11227-018-2290-0","article-title":"Dependability evaluation of a disaster recovery solution for IoT infrastructures","volume":"76","author":"Andrade","year":"2020","journal-title":"J. Supercomput."},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Melo, C., Matos, R., Dantas, J., and Maciel, P. (2017, January 22\u201325). Capacity-oriented availability model for resources estimation on private cloud infrastructure. Proceedings of the 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), Christchurch, New Zealand.","DOI":"10.1109\/PRDC.2017.49"}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/23\/23\/9485\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:32:53Z","timestamp":1760131973000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/23\/23\/9485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,28]]},"references-count":44,"journal-issue":{"issue":"23","published-online":{"date-parts":[[2023,12]]}},"alternative-id":["s23239485"],"URL":"https:\/\/doi.org\/10.3390\/s23239485","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,28]]}}}