| Citation: | YANG B，LIU Z，WEI X J，et al. A safety analysis approach for embedded system[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：1930-1939 （in Chinese） doi: 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.
| [1] |
GAUTIER T, GUY C, HONORAT A, et al. Polychronous automata and their use for formal validation of AADL models[J]. Frontiers of Computer Science, 2019, 13(4): 677-697. doi: 10.1007/s11704-017-6134-5
|
| [2] |
WEI X M. AADL-based safety analysis approaches for safety-critical systems[C]//2019 12th IEEE Conference on Software Testing, Validation and Verification. Piscataway: IEEE Press, 2019: 481-482.
|
| [3] |
AHMAD E M, SARJOUGHIAN H. A behavior annex for AADL using the DEVS formalism[C]//2019 Spring Simulation Conference (SpringSim). Berlin: Springer, 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[J]. Engineering Structures, 2020, 219: 110927. doi: 10.1016/j.engstruct.2020.110927
|
| [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[J]. IEEE Transactions on Reliability, 2019, 68(2): 554-565. doi: 10.1109/TR.2018.2866029
|
| [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[J]. Performa:Media Ilmiah Teknik Industri, 2020, 19(1): 1-8.
|
| [7] |
YAZDI M, ZAREI E. Uncertainty handling in the safety risk analysis: An integrated approach based on fuzzy fault tree analysis[J]. Journal of Failure Analysis and Prevention, 2018, 18(2): 392-404. doi: 10.1007/s11668-018-0421-9
|
| [8] |
VOLK M, JUNGES S, KATOEN J P. Fast dynamic fault tree analysis by model checking techniques[J]. IEEE Transactions on Industrial Informatics, 2018, 14(1): 370-379. doi: 10.1109/TII.2017.2710316
|
| [9] |
KABIR S. An overview of fault tree analysis and its application in model based dependability analysis[J]. Expert Systems with Applications, 2017, 77: 114-135. doi: 10.1016/j.eswa.2017.01.058
|
| [10] |
YAZDI M, NIKFAR F, NASRABADI M. Failure probability analysis by employing fuzzy fault tree analysis[J]. International Journal of System Assurance Engineering and Management, 2017, 8(2): 1177-1193.
|
| [11] |
RAMAIAH B S M P S, GOKHALE A. FMEA and fault tree based software safety analysis of a railroad crossing critical system[J]. Global Journal of Computer Science and Technology, 2011, 11(8): 56-62.
|
| [12] |
BERNARDI S, MERSEGUER J, PETRIU D C. Dependability modeling and analysis of software systems specified with UML[J]. ACM Computing Surveys, 2012, 45(1): 1-48.
|
| [13] |
BUZZATTO J L. Failure mode, effects and criticality analysis (FMECA) use in the Federal Aviation Administration (FAA) reusable launch vehicle (RLV) licensing process[C]//Gateway to the New Millennium, 18th Digital Avionics Systems Conference. Piscataway: IEEE Press, 1999: 6582279.
|
| [14] |
PAPADOPOULOS Y, PARKER D, GRANTE C. A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs[C]//Proceedings of the 9th Australian Workshop on Safety Critical Systems and Software. New York: ACM, 2004: 89-95.
|
| [15] |
CARPITELLA S, CERTA A, IZQUIERDO J, et al. A combined multi-criteria approach to support FMECA analyses: A real-world case[J]. Reliability Engineering & System Safety, 2018, 169: 394-402.
|
| [16] |
GARGAMA H, CHATURVEDI S K. Criticality assessment models for failure mode effects and criticality analysis using fuzzy logic[J]. IEEE Transactions on Reliability, 2011, 60(1): 102-110. doi: 10.1109/TR.2010.2103672
|
| [17] |
XU K, TANG L C, XIE M, et al. Fuzzy assessment of FMEA for engine systems[J]. Reliability Engineering & System Safety, 2002, 75(1): 17-29.
|
| [18] |
PICKARD K, MULLER P, BERTSCHE B. Multiple failure mode and effects analysis-an approach to risk assessment of multiple failures with FMEA[C]//Annual Reliability and Maintainability Symposium. Piscataway: IEEE Press, 2005: 457-462.
|
| [19] |
JOSHI A, HEIMDAHL M P E. Model-based safety analysis of Simulink models using SCADE design verifier[C]//Computer Safety, Reliability, and Security. Berlin: Springer, 2005: 122-135.
|
| [20] |
JOSHI A, HEIMDAHL M P E. Behavioral fault modeling for model-based safety analysis[C]//10th IEEE High Assurance Systems Engineering Symposium. Piscataway: IEEE Press, 2007: 199.
|
| [21] |
JOSHI A, MILLER S P, WHALEN M, et al. A proposal for model-based safety analysis[C]//24th Digital Avionics Systems Conference. Piscataway: IEEE Press, 2005: 8802738.
|
Figures(4) / Tables(6)
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@cqjj8.com
Supported by:
Beijing Renhe Information Technology Co., Ltd.
DownLoad:
