航空航天工程学杂志
开放获取

抽象的

安全关键系统的架构级安全分析

Kushal KS*、Manju Nanda、Jayanthi J

随着时间的推移，跨航空电子和航空航天领域的复杂嵌入式安全关键系统对其底层软件和硬件组件的依赖性逐渐​​增加。此类应用领域系统是基于复杂的集成架构开发的，本质上是模块化的。保证系统安全标准的工程实践来管理故障、错误和不安全的操作条件是非常必要的。系统安全分析涉及对系统复杂软件架构的分析，这是导致安全关键系统行为致命后果的一个主要方面，在其开发过程中提供了高可靠性和可靠性因素。在本文中，我们提出了一种架构故障建模和安全分析方法，有助于识别和消除设计缺陷。讨论了通过错误模型附件 (EMV) 增强的 SAE 架构分析和设计语言 (AADL) 的正式基础。架构安全分析考虑了故障传播、失效行为和设计缺陷/失效的复合行为。通过实施动力船自动驾驶仪（PBA）系统的速度控制单元来验证所提出方法的说明。

误差模型附件 (EMV) 指导了动力船自动驾驶仪 (PBA) 速度控制单元中可能故障场景和故障传播的考虑和包含模式。这有助于通过检测模型中的错误事件及其对操作环境的影响来验证系统架构。这还提供了有关这些特殊条件在各种关键级别、设计保证级别及其对验证和验证设计的影响的认证影响的见解。