video & slides coming soon
视频和幻灯片即将发布
---
中国商飞是世界领先的民航客机供应商,其航电系统的架构设计主要依托Capella开展。在本期分享中,我们将介绍商飞是如何基于Capella的扩展开展符合4761的MBSA工作的。商飞的MBSA实践包括了对失效状态的定义、基于功能-逻辑-物理组件的失效传播建模、故障树的自动生成、基于最小割集分析结果的安全性分析等。
---
Practice in COMAC to Conduct MBSA in Avionics System Based on Capella
COMAC is one of the world's leading civil aircraft suppliers, and its avionics system architecture design is completed based on Capella. We will introduce how we extend Capella in COMAC to support 4761-compliant MBSA work. It includes how to define failure conditions in Capella PA model, how to carry out failure propagation modeling on Capella function, behavioral physical component, and node physical component, how to automatically generate fault trees for failure conditions, and how to carry out safety analysis based on the calculation results of the minimum cut set of each fault tree, and so on.