Modeling Unmanned Aircraft System conflicts resolution based on a real-time services approach

Over the last two decades, Unmanned Aircraft Vehicle (UAV) has been employed in many military and civil activities, such as recognition missions, monitoring of data link and natural resources, border control, energy, oil pipelines and public safety. This article tackles the conflicts resolution modeling of Unmanned Aircraft System (UAS) using a real-time services approach. In the previous work the modeling of monitoring and controlling of UAVs collision avoidance was done with the support of Duration Calculus (DC), a knowledge representation language for real-time systems. The drawback of the approach was to take into consideration only knowledge representation aspects, without emphasizing detailed knowledge acquisition aspects. In order to address the mentioned drawback, this work proposes a service-oriented modeling in conjunction with DC for the design of dynamic UAS. The proposed approach was applied in a case study, whose scenario is based on two UAVs monitored and controlled by a ground control station in order to prevent collision. The major contribution of this work is a robust and flexible model that inherits the benefits of both SOA architecture and DC formal modeling, which can be used in UAS/UAV and real-time collaborative systems.