Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration
Luis Guilherme Silva,
Israel Cardoso,
Carlos Brito,
Vandirleya Barbosa,
Bruno Nogueira,
Eunmi Choi,
Tuan Anh Nguyen,
Dugki Min,
Jae Woo Lee,
Francisco Airton Silva
Affiliations
Luis Guilherme Silva
Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piauí (UFPI), Picos 64049-550, Piauí, Brazil
Israel Cardoso
Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piauí (UFPI), Picos 64049-550, Piauí, Brazil
Carlos Brito
Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piauí (UFPI), Picos 64049-550, Piauí, Brazil
Vandirleya Barbosa
Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piauí (UFPI), Picos 64049-550, Piauí, Brazil
Bruno Nogueira
Instituto de Computação, Federal University of Alagoas (UFAL), Maceió 57072-900, Alagoas, Brazil
Eunmi Choi
School of Software, College of Computer Science, Kookmin University, Seoul 02707, Republic of Korea
Tuan Anh Nguyen
Konkuk Aerospace Design-Airworthiness Research Institute (KADA), Konkuk University, Seoul 05029, Republic of Korea
Dugki Min
Department of Computer Science and Engineering, College of Engineering, Konkuk University, Seoul 05029, Republic of Korea
Jae Woo Lee
Department of Aerospace Information Engineering, Konkuk University, Seoul 05029, Republic of Korea
Francisco Airton Silva
Coordination of the Information Systems Course, Technical College of Teresina (CSHNB), Federal University of Piauí (UFPI), Picos 64049-550, Piauí, Brazil
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.
