典型文献
基于STPA的SSPC不安全控制行为识别与验证
文献摘要：
固态功率控制器是飞机配电系统的重要组成部分,是固态配电的核心,需要在系统研制过程中进行完善的风险识别与安全性分析.当今使用较多的方法如故障树分析等主要基于部件独立性计算系统失效率,但针对组件之间非线性交互带来的安全性问题的研究较少.为此以固态功率控制器为对象,应用STPA方法识别不安全控制行为,利用UPPAAL工具建立形式化模型并对不安全控制行为进行验证,基于过程模型识别危害场景并进行形式化验证,形成更详细的SSPC安全控制约束清单.结果表明,方法可以有效识别出SSPC组件交互不当产生的安全性问题.
文献关键词：
固态功率控制器;系统理论过程分析;不安全控制行为;形式化验证
中图分类号：
作者姓名：
张光玖;葛红娟;李文臣;曾郑志远;桑益芹
作者机构：
南京航空航天大学,江苏 南京211000
文献出处：
引用格式：
[1]张光玖;葛红娟;李文臣;曾郑志远;桑益芹-.基于STPA的SSPC不安全控制行为识别与验证)[J].航空计算技术,2022(04):38-42
A类：
B类：
STPA,SSPC,不安全控制行为,行为识别,固态功率控制器,配电系统,系统研制,研制过程,风险识别,安全性分析,如故,故障树分析,计算系统,失效率,非线性交互,安全性问题,方法识别,UPPAAL,过程模型,模型识别,形式化验证,互不,系统理论过程分析
AB值：
0.329129
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
