安全关键系统(SCS)是在超出规定规格的范围内操作可能会对用户和/或环境造成伤害的系统。 这样的系统用于广泛的领域,例如航空航天,汽车,铁路运输和医疗保健。 在本文中,我们提出了一种在模型驱动工程(MDE)系统开发过程中集成SCS的安全性分析的方法。 该方法基于模型转换,并使用标准的众所周知的技术和开源工具对SCS进行建模和分析。 更具体地说,使用OMG的标准系统建模语言SysML建模的系统会自动转换为故障树(FT)模型,可以使用现有的FT工具进行分析。 建议的模型转换分为两个步骤:a)在组件级别生成FT,以解决复杂性并实现重用; b)通过组合组件及其FT来生成系统级FT。 通过将其应用于简化