By Topic

Modeling conflicts resolution of Unmanned Aircraft System using a lightweight Duration Calculus

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Ramos, D.B. ; Aeronaut. Inst. of Technol. (ITA), Sao Jose dos Campos, Brazil ; Aparecida Busquim e Silva, R. ; Capistrano Costa, I. ; Colonese, E.M.
more authors

Over the last two decades, an interesting area of Brazilian military and civil sectors is the Unmanned Aircraft Vehicle (UAV) development. This article tackles the modeling of conflicts resolution of Unmanned Aircraft System (UAS) using a lightweight Duration Calculus (DC) to verify if the temporal specification and design of the system is correct and to ensure formally that the system implementation meets all its requirements. Moreover, the article proposes a formal modeling (using DC) of a conflicts resolutions set of rules, adapted from Free Flight concept in Communications, Navigation and Surveillance/Air Traffic Management (CNS/ATM). In the adapted approach to UAS, each UAV is surrounded by an imaginary space of two cylinders, which form, respectively, the protected zone and the alert zone. The major contribution of this article is structuring a new scenario application of the conflicts resolution to UAS through formal modeling, using the DC technique to confirm that the models could be implemented without deadlocks and unreachable states, as well as with satisfaction of temporal restrictions. Furthermore, this work uses the state-of- the-art practices in formal methods, including a model checking tool to ensuring correct real-time requirements specification of a real-time critical system.

Published in:

Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th

Date of Conference:

16-20 Oct. 2011