Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario. (May 2021)

• Record Type: Journal Article
• Authors: Gassara, Amal; Bouassida Rodriguez, Ismael
• Is Part Of: Journal of information security and applications. Volume 58(2021)
• Publication Date: 2021-05
• Subjects: A graph based model -- Unmanned aerial vehicles -- Cooperation -- Correct by design; Computer security -- Periodicals; Information technology -- Security measures -- Periodicals; 005.805
• DOI: 10.1016/j.jisa.2021.102775
• Languages: English
• ISSNs: 2214-2126

Abstract

Abstract: In this paper, we propose a solution supporting the correct description of UAVs cooperation architectures and their reconfigurations. This solution is based on a graph transformation system that defines rules for changing UAVs cooperation architecture while being in conformance to an architectural style. An architecture instance is considered correct, if its corresponding graph can be generated by a sequence of rules. To be illustrated, our approach is applied on the SuperSenS project where UAVs have to cooperate during search-and-rescue mission. The UAVs system is used for the surveillance of closed military zones aiming at detecting terrorists and tracking them.