无人机系统安全保障:从需求分类到威胁建模
在当今科技飞速发展的时代,无人机系统(UAS)的应用越来越广泛,其安全性和合规性也变得至关重要。本文将深入探讨无人机系统安全相关的两个关键方面:DO - 178C合规性中的需求分类与处理,以及无人机系统中的威胁建模。
1. DO - 178C合规性中的需求处理
在构建符合DO - 178C标准的安全产品时,系统安全需求的分解和重新分类是关键步骤。通过将系统安全需求转化为软件高级需求(HLR),我们需要根据验证方法对需求进行重新分类。
系统安全需求 | 软件HLR | 验证方法 |
---|---|---|
故障安全和故障安全保护 | 功能需求:降级操作 | 功能测试 |
CPU吞吐量不超过设计值的80% | 性能需求 | 性能分析 |
系统确保内存隔离 | 安全需求:防止非法访问的内存分区 | 推理分析 |
在软件设计阶段,DO - 178C术语中的软件设计包括低级需求(LLRs)和软件架构。LLRs需要足够详细,以便直接实现源代码,而软件架构则应从多个角度展示软件设计,包括软件结构、数据结构、数据流、控制流、资源管理和分区方法等。