Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine...

Area of Science:

• Computer Science
• Electrical Engineering
• Transportation Systems

Background:

• Vehicular Ad Hoc Networks (VANETs) are essential for advanced urban mobility (UAM) but require enhanced reliability and availability.
• Integrating UAM into urban infrastructures necessitates robust communication and control architectures.
• Current VANET evaluation methods may not fully address the dynamic demands of UAM.

Purpose of the Study:

• To propose and evaluate a novel Stochastic Petri Nets (SPN) method for assessing VANET-based Vehicle Communication and Control (VCC) architectures.
• To incorporate Edge Computing and virtual machine migration into the SPN model for realistic VANET integration.
• To provide a cost-effective framework for optimizing VANET reliability and availability for UAM.

Main Methods:

• Development of a novel Stochastic Petri Nets (SPN) model for VANET evaluation.
• Integration of virtual machine migration and Edge Computing concepts within the SPN framework.
• Application of Design of Experiments (DoE) for sensitivity analysis of SPN model parameters.

Main Results:

• The SPN model effectively quantifies VANET reliability and availability for UAM integration.
• Case studies demonstrate the model's capability to provide insights into system performance.
• Sensitivity analysis identified key parameters influencing system availability, crucial for UAM efficiency.

Conclusions:

• The proposed SPN method offers a significant advancement in evaluating and optimizing VANETs for UAM.
• This research provides a reliable and cost-effective framework for monitoring UAM systems in future urban environments.
• The findings are critical for enhancing the dependability and operational integrity of future urban mobility.