UAV Fleet as a Dependable Service for Smart Cities: Model-Based Assessment and Application

The paper suggests a model-based approach to assessment and choice of parameters of unmanned aerial vehicle (UAV) fleets applied as one of the main services for Smart Cities and recommendations to assure their dependability. The principles of building and modeling a UAV Fleet as a Dependable Service (UAVFaaDS) for Smart Cities are formulated. Dependability issues for UAVFaaDS including a taxonomy of UAVF failures caused by equipment faults and attacks on assets were specified. The main results cover methodology, classification of UAVFaaDS models as models of queuing systems, and a set of queueing theory-based models for assessment of UAVFaaDS performance, and availability allowing for analysis and choice of fleet parameters. The efficiency of UAVFaaDS is assessed by the probability of successful delivery of services. The proposed modeling base and algorithms provide a choice of appropriate models for analysis and synthesis of UAVFaaDS, grounding of parameters of UAV fleets considering operation modes, and maintenance policy. The application of the developed models and algorithms during the synthesis of UAVFaaDS allows choosing the appropriate parameters of the fleet and ensuring the dependability of services, as well as service of orders with a probability of 0.9–0.99 depending on the requirements. Two cases of UAVFaaDS application for delivery of medicines in normal and emergence modes, models’ development, and recommendations for their utilization are discussed.