Mastering the complexity of safety assurance for modern, software-intensive systems is challenging in several domains, such as automotive, robotics, and avionics. Model-based safety analysis techniques show promising results to handle this challenge by automating the generation of required artifacts for an assurance case. In this work, we adapt prominent approaches and propose to augment of SysML models with component fault trees (CFTs) to support the fault tree analysis and the failure mode and effects analysis. While most existing approaches based on CFTs are only targeting the system topology, e. g., UML class diagrams, we propose an integration of CFTs with SysML internal block diagrams as well as SysML activity diagrams. We realized our approach in a prototypical tool. We conclude with best practices and lessons learned that emerged from our case studies with an electronic power steering system and a boost recuperation system.

中文翻译：

---

SysML和组件故障树的基于模型的安全评估：应用程序和经验教训

在汽车，机器人和航空电子等多个领域，掌握现代软件密集型系统的安全保证的复杂性具有挑战性。基于模型的安全性分析技术通过自动生成保证案例所需的工件，显示出有望解决这一挑战的结果。在这项工作中，我们采用突出的方法，并建议使用组件故障树（CFT）扩展SysML模型，以支持故障树分析以及故障模式和影响分析。尽管大多数基于CFT的现有方法仅针对系统拓扑，例如。例如UML类图，我们建议将CFT与SysML内部框图以及SysML活动图集成在一起。我们通过原型工具实现了我们的方法。