As small Uncrewed Aircraft Systems (sUAS) increasingly operate in the national airspace, safety concerns arise due to a corresponding rise in reported airspace violations and incidents, highlighting the need for a safe mechanism for sUAS entry control to manage the potential overload. This paper presents work toward our aim of establishing automated, customized safety-claim support for managing on-entry requests from sUAS to enter controlled airspace. We describe our approach, Safety Case Software Product Line Engineering (SafeSPLE), which is a novel method to extend product-family techniques to on-entry safety cases. It begins with a hazard analysis and design of a safety case feature model defining key points in variation, followed by the creation of a parameterized safety case. We use these together to automate the generation of instances for specific sUAS. Finally we use a case study to demonstrate that the SafeSPLE method can be used to facilitate creation of safety cases for specific flights.
翻译:随着小型无人机系统在国家空域中的运行日益频繁,由于相应报告的空域违规和事故数量增加,安全问题凸显,亟需一种安全机制来管理小型无人机系统的准入控制,以应对潜在的过载风险。本文旨在为管理小型无人机系统进入受控空域的准入请求建立自动化、定制化的安全声明支持。我们描述了所提出的方法——安全案例软件产品线工程,这是一种将产品族技术扩展至准入安全案例的新方法。该方法始于危险分析和定义变异关键点的安全案例特征模型设计,随后创建参数化安全案例。我们结合使用这些工具,为特定小型无人机系统自动生成实例。最后,通过案例研究证明,安全案例软件产品线工程方法能够促进特定飞行的安全案例创建。