机构名称：
¥ 1.0
安全关键系统需要在软件开发生命周期中进行特定的开发和评估活动，以确保产品安全。其中一些活动被汇总为全面的安全工程实践，这些实践在行业内是标准化的，例如航空业的航空航天推荐实践 (ARP) 4761。这些技术侧重于单个组件的故障和可靠性。系统理论过程分析 (STPA) 等较新的技术超越了单个组件的可靠性，考虑了组件之间的相互作用。在本文中，我们介绍了架构主导的安全分析 (ALSA) 方法，它是架构主导的安全工程实践的一部分。ALSA 结合了至少部分架构模型的开发和分析，使用诸如架构分析和设计语言、其错误模型附件之类的符号以及现有的 ARP 4761 和 ARP 4754A 实践，例如功能危害评估、初步系统安全评估和系统安全评估以及新兴的 STPA 技术。这项工作为使用 ALSA 分析全权限数字引擎控制器提供了一个例证。该方法由开放源代码架构工具环境支持，并已在工业强度示例上进行了试验。
一种架构主导的安全分析方法 - HAL
主要关键词
相关文件推荐
