Modeling conflicts resolution of unmanned aircraft system using a lightweight duration calculus

• The formal modeling approach results had shown that it is feasible and efficient for ensuring correct real-time requirements specification of a real-time critical system • Developing the implementables had allowed earlier planning of problems resolution to meet the specified formal requirements • The proposed approach provides the basis for implementation of embedded devices or monitoring systems to solve conflicting routes of UAV in a UAS