一种用于验证小型无人 aerial 飞行器现场运行的需求驱动平台
软件工程
2023-07-04 v1
摘要
小型无人航空系统(sUAS)的飞行时故障可能对人员或环境产生严重影响。因此，必须彻底评估和测试sUAS应用，以确保其符合规定需求，并在真实世界条件（如恶劣天气、无线干扰和卫星失效）下的安全行为。然而，当前用于自主交通工具（包括sUAS）的仿真环境对验证其在多样环境背景下的行为支持有限，且缺乏基于系统级需求促进结构化测试的测试框架。我们通过引出并规定sUAS测试与仿真平台的需求，并进行开发与部署，来解决这些不足。所构建的平台DroneReqValidator (DRV)允许sUAS开发者定义运行背景、配置多sUAS任务需求、指定安全属性，并在高保真3D环境中部署其自定义sUAS应用。DRV监控系统从sUAS与环境收集运行时数据，分析对安全属性的合规性，并捕获违规。我们报告了两个案例研究，在真实世界sUAS部署前使用我们的平台评估了各种环境背景下的sUAS任务行为。此外，我们与开发者进行了一项研究，发现DRV简化了规定需求驱动测试场景与分析验收测试结果的过程。
引用
@article{arxiv.2307.00194,
title = {A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles},
author = {Ankit Agrawal and Bohan Zhang and Yashaswini Shivalingaiah and Michael Vierhauser and Jane Cleland-Huang},
journal= {arXiv preprint arXiv:2307.00194},
year = {2023}
}