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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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




    Erscheinungsdatum :

    2011-10-01


    Format / Umfang :

    466232 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Modeling unmanned aircraft system conflicts resolution based on a real-time services approach

    Costa, Inaldo Capistrano / de Oliveira, Jose Maria Parente | IEEE | 2012


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

    Costa, Inaldo Capistrano / de Oliveira, Jose Maria Parente | IEEE | 2012



    AIRCRAFT CONFLICTS RESOLUTION BY COURSE MANEUVERING

    В. Харченко / Д. Васильєв | DOAJ | 2011

    Freier Zugriff