SCALOFT：矿井环境中自主无人机基于情境覆盖的安全分析的初步方法
机器人学
2025-05-28 v1
摘要
自主系统在动态和危险环境中的安全性带来了重大挑战。本文提出了一种名为 SCALOFT 的测试方法，用于系统性地评估矿井中自主无人机的安全性。SCALOFT 提供了一个框架，用于开发多样化的测试用例、实时监控系统行为以及检测安全违规。检测到的违规随后会记录唯一的标识符，以便进行详细分析和未来改进。SCALOFT 通过监控情境覆盖并计算最终的覆盖率度量来帮助构建安全论证。我们通过故意向系统中植入预设故障并评估 SCALOFT 是否能够检测到这些故障，来评估该方法的性能。对于一小组合理的故障，我们表明 SCALOFT 在此方面是成功的。
引用
@article{arxiv.2505.20969,
title = {SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment},
author = {Nawshin Mannan Proma and Victoria J Hodge and Rob Alexander},
journal= {arXiv preprint arXiv:2505.20969},
year = {2025}
}