A safety analysis approach for embedded system

被引：0
|
作者：
Yang B. [1 ,2 ,3 ]
Liu Z. [3 ]
Wei X. [3 ,4 ]
Wu J. [5 ]
机构：
[1] School of Information Science and Technology, Beijing Forestry University, Beijing
[2] Engineering Research Center for Forestry Goriented Intelligent Information Processing, National Forestry and Grassland Administration, Beijing
[3] School of Information Science and Technology, North China University of Technology, Beijing
[4] School of Computer & Communication Engineering, University of Science and Technology Beijing, Beijing
[5] School of Computer Science and Engineering, Beihang University, Beijing
来源：
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics | 2023年 / 49卷 / 08期
基金：
中国国家自然科学基金;
关键词：
embedded system; fault propagation; fault tree; safety analysis; software model;
D O I：
10.13700/j.bh.1001-5965.2022.0185
中图分类号：
学科分类号：
摘要：
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. © 2023 Beijing University of Aeronautics and Astronautics (BUAA). All rights reserved.
引用
收藏
页码：1930 / 1939
页数：9
相关论文
共 21 条
  • [1] GAUTIER T, GUY C, HONORAT A, Et al., Polychronous automata and their use for formal validation of AADL models, Frontiers of Computer Science, 13, 4, pp. 677-697, (2019)
  • [2] WEI X M., AADL-based safety analysis approaches for safety-critical systems, 2019 12th IEEE Conference on Software Testing, Validation and Verification, pp. 481-482, (2019)
  • [3] AHMAD E M, SARJOUGHIAN H., A behavior annex for AADL using the DEVS formalism, 2019 Spring Simulation Conference (SpringSim), (2019)
  • [4] MANGALATHU S, HWANG S H, JEON J S., Failure mode and effects analysis of RC members based on machine-learning-based Shapley additive explanations (SHAP) approach, Engineering Structures, 219, (2020)
  • [5] LIU H C, HU Y P, WANG J J, Et al., Failure mode and effects analysis using two-dimensional uncertain linguistic variables and alternative queuing method, IEEE Transactions on Reliability, 68, 2, pp. 554-565, (2019)
  • [6] APRILIA S P, SUHARDI B, ASTUTI R D., Analisis risiko keselamatan dan kesehatan kerja menggunakan metode hazard and operability study (HAZOP): Studi kasus PT. nusa palapa gemilang, Performa:Media Ilmiah Teknik Industri, 19, 1, pp. 1-8, (2020)
  • [7] YAZDI M, ZAREI E., Uncertainty handling in the safety risk analysis: An integrated approach based on fuzzy fault tree analysis, Journal of Failure Analysis and Prevention, 18, 2, pp. 392-404, (2018)
  • [8] VOLK M, JUNGES S, KATOEN J P., Fast dynamic fault tree analysis by model checking techniques, IEEE Transactions on Industrial Informatics, 14, 1, pp. 370-379, (2018)
  • [9] KABIR S., An overview of fault tree analysis and its application in model based dependability analysis, Expert Systems with Applications, 77, pp. 114-135, (2017)
  • [10] YAZDI M, NIKFAR F, NASRABADI M., Failure probability analysis by employing fuzzy fault tree analysis, International Journal of System Assurance Engineering and Management, 8, 2, pp. 1177-1193, (2017)
123