基于STPA的SSPC不安全控制行为识别与验证

固态功率控制器是飞机配电系统的重要组成部分，是固态配电的核心，需要在系统研制过程中进行完善的风险识别与安全性分析。当今使用较多的方法如故障树分析等主要基于部件独立性计算系统失效率，但针对组件之间非线性交互带来的安全性问题的研究较少。为此以固态功率控制器为对象，应用STPA方法识别不安全控制行为，利用UPPAAL工具建立形式化模型并对不安全控制行为进行验证，基于过程模型识别危害场景并进行形式化验证，形成更详细的SSPC安全控制约束清单。结果表明，方法可以有效识别出SSPC组件交互不当产生的安全性问题。