期刊文献+

一种针对嵌入式系统的安全性分析方法

A safety analysis approach for embedded system
下载PDF
导出
摘要 嵌入式系统广泛应用于安全关键的工业领域,但目前嵌入式系统的安全性缺乏整体性的分析。为此,提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法,借鉴失效模式和影响分析的方法,构建出故障的演化关系链条,即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验,结果显示:基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面,故障演化链的方法能较好地对嵌入式系统进行安全性分析。 Embedded systems are widely used in safety-critical industrial fields,but currently the safety of embedded systems lacks a comprehensive analysis.Therefore,a fault evolution chain analysis method for embedded systems has been proposed,which integrates failure probability and failure path.Firstly,the hierarchical analysis method is used to construct the evolution relationship chain of faults,namely the fault evolution chain,by referring to the methods of failure mode and impact analysis.Then,the fault evolution chain can be used to analyze the possible faults in the system,the causes of faults,the level of harm caused by faults,and the propagation path of faults.Experiments were conducted on two embedded software systems,and the results showed that the fault evolution chain method is more comprehensive than fault impact analysis,functional hazard analysis,and fault tree analysis.The fault evolution chain method can be used to analyze the security of embedded systems effectively.
作者 杨波 刘振 卫新洁 吴际 YANG Bo;LIU Zhen;WEI Xinjie;WU Ji(School of Information Science and Technology,Beijing Forestry University,Beijing 100083,China;Engineering Research Center for Forestry Goriented Intelligent Information Processing,National Forestry and Grassland Administration,Beijing 100083,China;School of Information Science and Technology,North China University of Technology,Beijing 100144,China;School of Computer&Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China;School of Computer Science and Engineering,Beihang University,Beijing 100191,China)
出处 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第8期1930-1939,共10页 Journal of Beijing University of Aeronautics and Astronautics
基金 中央高校基本科研业务费专项资金(BLX202003) 国家自然科学基金(61502011) 北京林业大学热点追踪项目(BLRD202124)。
关键词 软件模型 嵌入式系统 安全性分析 故障传播 故障树 software model embedded system safety analysis fault propagation fault tree
  • 相关文献

参考文献1

二级参考文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部