Scipediacontent: Scipediacontent moved page Draft Content 575430790 to Correa et al 2011a

2021-02-03T17:21:44Z

Scipediacontent moved page Draft Content 575430790 to Correa et al 2011a

Scipediacontent: Created page with " == Abstract == Over the last two decades, an interesting area of Brazilian military and civil sectors is the Unmanned Aircraft Vehicle (UAV) development. This article tackle..."

2021-02-03T17:21:41Z

Created page with " == Abstract == Over the last two decades, an interesting area of Brazilian military and civil sectors is the Unmanned Aircraft Vehicle (UAV) development. This article tackle..."

New page

== Abstract ==

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.

== Original document ==

The different versions of the original document can be found in:

* [http://urlib.net/J8LNKAN8RW/3ARNG63 http://urlib.net/J8LNKAN8RW/3ARNG63]

* [http://xplorestaging.ieee.org/ielx5/6088077/6095898/06096074.pdf?arnumber=6096074 http://xplorestaging.ieee.org/ielx5/6088077/6095898/06096074.pdf?arnumber=6096074],
: [http://dx.doi.org/10.1109/dasc.2011.6096074 http://dx.doi.org/10.1109/dasc.2011.6096074]

* [http://xplorestaging.ieee.org/ielx5/6088077/6095898/06096241.pdf?arnumber=6096241 http://xplorestaging.ieee.org/ielx5/6088077/6095898/06096241.pdf?arnumber=6096241],
: [http://dx.doi.org/10.1109/dasc.2011.6096241 http://dx.doi.org/10.1109/dasc.2011.6096241]

* [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006096074 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006096074],
: [https://ieeexplore.ieee.org/document/6096074 https://ieeexplore.ieee.org/document/6096074],
: [http://ieeexplore.ieee.org/document/6096074 http://ieeexplore.ieee.org/document/6096074],
: [http://plutao.dpi.inpe.br/col/dpi.inpe.br/plutao/2011/11.23.18.47.43/doc/06096074.pdf http://plutao.dpi.inpe.br/col/dpi.inpe.br/plutao/2011/11.23.18.47.43/doc/06096074.pdf],
: [https://www.researchgate.net/profile/Inaldo_Costa/publication/235637350_Modeling_conflicts_resolution_of_unmanned_aircraft_system_using_a_lightweight_duration_calculus/links/0deec534d40631fd7e000000.pdf?disableCoverPage=true https://www.researchgate.net/profile/Inaldo_Costa/publication/235637350_Modeling_conflicts_resolution_of_unmanned_aircraft_system_using_a_lightweight_duration_calculus/links/0deec534d40631fd7e000000.pdf?disableCoverPage=true],
: [https://academic.microsoft.com/#/detail/2057908902 https://academic.microsoft.com/#/detail/2057908902]

DOIS: 10.1109/dasc.2011.6096074 10.1109/dasc.2011.6096241

← Older revision	Revision as of 17:21, 3 February 2021
(No difference)

Correa et al 2011a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 575430790 to Correa et al 2011a

Scipediacontent: Created page with " == Abstract == Over the last two decades, an interesting area of Brazilian military and civil sectors is the Unmanned Aircraft Vehicle (UAV) development. This article tackle..."