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

张光玖; 葛红娟; 李文臣; 曾郑志远; 桑益芹

首页> 中文期刊> 《航空计算技术》 >基于STPA的SSPC不安全控制行为识别与验证

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《航空计算技术》 |2022年第4期|38-42|共5页
作者
张光玖; 葛红娟; 李文臣; 曾郑志远; 桑益芹;
展开▼
作者单位

南京航空航天大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类电力变压器;
关键词
固态功率控制器; 系统理论过程分析; 不安全控制行为; 形式化验证;

相似文献

中文文献
外文文献
专利

1. 基于STPA冲偏出跑道不安全控制行为分析 [J] . 王洁宁 ,张钰涵 ,张聪俊 . 中国民航大学学报 . 2019,第6期
2. 基于STPA与多智能体的列控运营场景危险分析及仿真验证方法 [J] . 张亚东 ,王硕 ,李亚 . 中国铁道科学 . 2021,第001期
3. 一种基于STPA的软件安全性分析与验证方法 [J] . 让涛 . 电子世界 . 2016,第005期
4. 基于改进YOLOv5算法的升降机人员不安全行为识别方法 [J] . 余益鸿 ,周传德 ,孟明辉 . 重庆科技学院学报:自然科学版 . 2022,第2期
5. 基于Kinect的地铁乘客不安全行为识别方法与实验 [J] . 卢颖 ,吕希凡 ,郭良杰 . 中国安全生产科学技术 . 2021,第12期
6. 基于AFDX-ES SOC验证平台的向量中断控制器验证研究 [C] . Xu Wenjin ,徐文进 ,Tian Ze . 第十六届计算机工程与工艺年会暨第二届微处理器技术论坛 . 2012
7. 基于RGB图像的皮带区矿工不安全行为识别研究 [A] . 仝泽友 . 2020

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

摘要

著录项

相似文献

相关主题

期刊订阅