TY - JOUR
T1 - Sl4u
T2 - a scenario description language for unmanned swarm
AU - Zhao, Yue
AU - Yao, Yuan
AU - He, Tong
AU - Zhou, Xingshe
AU - Shen, Bo
N1 - Publisher Copyright:
© The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2023.
PY - 2024/3
Y1 - 2024/3
N2 - Unmanned swarm systems are now employed in a wide range of applications. Agriculture, commerce, and the military will all benefit from the advancement of unmanned swarm technology. Scenarios should have a standardized description and definition as system input to support numerous applications and accelerate scenario validation, allowing for more precise and specialized processing to standardize the validation process. A scenario description language for unmanned swarm (SL4U) is introduced in order to implement the unmanned swarm scenario. The scenario is divided into environment and task. The environment is defined, including the task space, target, and home locations, and the initial settings of the unmanned swarm. In terms of tasks, four categories of tasks, four temporal relationship constraints, the event handler, as well as other elements are identified. The dual engines of parsing and micro-embedded collaboration we developed will handle the SL4U. We employ a search and rescue scenario in both simulation and physics to test SL4U. Through the processing of the dual engines, the unmanned swarm’s search and rescue operations in a predefined environment are accomplished successfully. In more complex scenarios, just add more descriptions to SL4U and implement them in dual engines rather than starting from scratch. The use of SL4U in verification minimizes the cost and time consumption of unmanned swarm, particularly in physical verification.
AB - Unmanned swarm systems are now employed in a wide range of applications. Agriculture, commerce, and the military will all benefit from the advancement of unmanned swarm technology. Scenarios should have a standardized description and definition as system input to support numerous applications and accelerate scenario validation, allowing for more precise and specialized processing to standardize the validation process. A scenario description language for unmanned swarm (SL4U) is introduced in order to implement the unmanned swarm scenario. The scenario is divided into environment and task. The environment is defined, including the task space, target, and home locations, and the initial settings of the unmanned swarm. In terms of tasks, four categories of tasks, four temporal relationship constraints, the event handler, as well as other elements are identified. The dual engines of parsing and micro-embedded collaboration we developed will handle the SL4U. We employ a search and rescue scenario in both simulation and physics to test SL4U. Through the processing of the dual engines, the unmanned swarm’s search and rescue operations in a predefined environment are accomplished successfully. In more complex scenarios, just add more descriptions to SL4U and implement them in dual engines rather than starting from scratch. The use of SL4U in verification minimizes the cost and time consumption of unmanned swarm, particularly in physical verification.
KW - Scenario description language
KW - Scenario-driven
KW - Unmanned aerial vehicle
KW - Unmanned swarm
UR - http://www.scopus.com/inward/record.url?scp=85172864337&partnerID=8YFLogxK
U2 - 10.1007/s11227-023-05636-y
DO - 10.1007/s11227-023-05636-y
M3 - 文章
AN - SCOPUS:85172864337
SN - 0920-8542
VL - 80
SP - 5363
EP - 5389
JO - Journal of Supercomputing
JF - Journal of Supercomputing
IS - 4
ER -