Computer Science

Computer Science ›› 2021, Vol. 48 ›› Issue (12): 159-169.doi: 10.11896/jsjkx.200800177

• Computer Software • Previous Articles     Next Articles

Model-based Fault Tree Automatic Generation Method

ZHAN Wan-li1,2, HU Jun1,2, GU Qing-fan3, RONG Hao3, QI Jian1,2, DONG Yan-hong1,2   

  1. 1 College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
    2 Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210007,China
    3 China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China
  • Received:2020-08-27 Revised:2020-10-29 Online:2021-12-15 Published:2021-11-26
  • About author:ZHAN Wan-li,born in 1997,postgra-duate.His main research interests include software safety ana-lysis and formal methods,etc.
    HU Jun,born in 1973,Ph.D,associate professor,is a member of China Computer Federation.His main research interests include model-based safety ana-lysis,software verification and embedded system design,etc.
  • Supported by:
    National Basic Research Program of China(2014CB744900).

PDF (PC)

978

Abstract: Model-based safety analysis methods can improve the modeling and analysis capabilities of current complex safety-critical systems.At present,fault tree is widely used in system safety analysis and reliability analysis.Fault tree analysis (FTA) is a top-down deductive failure method,which analyzes undesired states in the system according to the fault tree.In the system engineering,the possible problems of the current system model can be determined as early as possible and avoided in time.The work of this paper is oriented to a type of system safety modeling language AltaRica in the aerospace field.Based on its semantic model GTS (guarded transition systems),a method for automatically constructing a system fault tree from the flattened GTS model is designed,which saves the time of artificial fault tree construction,and speeds up the progress of system analysis.According to the semantic rules of the AltaRica3.0 language,extracting the data of the flattened GTS model to construct instance objects,designing the GTS model division algorithm to obtain a set of independent GTS models and an independent assertion,constructing the reachability graph of the independent GTS through the adjacency matrix and obtaining the key event sequence,then,the indepen-dent GTS that has been processed is combined with the independent assertion,the state of the entire system and the sequence of key events are obtained through the assertion propagation algorithm,and the system fault tree is generated.Finally,an example system shows that the algorithm can effectively complete the automatic generation of fault trees from the flattened GTS model.

Key words: AltaRica, Assertion propagation algorithm, Division algorithm, Flattened GTS, FTA, Reachability graph

CLC Number: 

  • TP311
[1]WANG P,WU K,YAN F,et al.Security verification method of safety critical software based on system theoretic process analysis[J].Journal of Computer Applications,2019,39(11):3298-3303.
[2]CHE C,LIU Y F.Research on Model Based Safety Analysis [J].Advances in Aeronautical Science and Engineering,2016,7(3):369-373.
[3]HU J,CHEN S,WANG M M.A transformation method for AltaRica3.0 to Promela and its verification[J].Computer Engineering and Science,2017(4):708-716.
[4]PROSVIRNOVA T.AltaRica 3.0:a model-based approach for safety analyses[EB/OL].http://www.researchgate.net/publication/278827421_AltaRica_30_a_Model-Based_approach_for_Safety_Analyses.
[5]PROSVIRNOVA T,BATTEUX M,BRAMERET P A,et al. The AltaRica 3.0 project for model-based safety assessment[J].IFAC Proceedings,2013,46(22):127-132.
[6]BATTEUX M,PROSVIRNOVA T,RAUZY A.Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models[M]//Safety and Reliability-Safe Societies in a Changing World.2018:907-914.
[7]RAUZY A B.Guarded transition systems:a new states/events formalism for reliability studies[J].Journal of Risk and Reliabi-lity,2008,222(4):495-505.
[8]OLIVA J J R,LLANES J S,OJEDA M P,et al.Advanced combinatorial method for solving complex fault trees[J].Annals of Nuclear Energy,2018,120:666-681.
[9]LI Z,ZHANG Y.Software Security Test Case Generation Based on Minimum Cut Sets [J].Computer and Digital Engineering,2019,47(7):1772-1775.
[10]HAN S H.A top-down iteration algorithm for Monte Carlo method for probability estimation of a fault tree with circular logic[J].Nuclear Engineering and Technology,2018,50(6):854-859.
[11]BATTEUX M,PROSVIRNOVA T,RAUZY A.Safety mode- ling and assessment with AltaRica 3.0[J/OL].http://www.altarica-association.org/ressources/Tutorial-IMBSA2019.pdf
[12]SONG J,CHEN B,LI X,et al.The software fault prediction model based on the AltaRica language[C]//2019 IEEE 3rd Information Technology,Networking,Electronic and Automation Control Conference (ITNEC).IEEE,2019:2549-2552.
[13]RIVIECCIO U,JUNG A,JANSANA R.Four-valued modal lo- gic:Kripke semantics and duality[J].Journal of Logic and Computation,2017,27(1):155-199.
[14]CHEN R L.Fault tree analysis and calculation method[J]. Technology Innovation and Application,2018 (244):24.
[15]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.
[16]KATOEN J P,STOELINGA M.Boosting fault tree analysis by formal methods[M]//ModelEd,TestEd,TrustEd.Springer,Lecture Notes in Computer Science.Springer,Cham,2017:368-389.
[17]ZHU D Q.Research on Fault Diagnosis Technology of avionics equipment[D].Nanjing:Nanjing University of Aeronautics and Astronautics,2002.
[18]ESTEFAN J A.Survey of model-based systems engineering (MBSE) methodologies[J].Incose MBSE Focus Group,2007,25(8):1-12.
[19]CHEN S,HU J,WANG L S.Design and Implementation of Flattening Algorithm for AltaRica 3.0 Model Based on ANTLR[J].Journal of Chinese Computer Systems,2020,41(7):1476-1487.
[20]PROSVIRNOVA T,RAUZY A.AltaRica 3.0 project:compile Guarded Transition Systems into Fault Trees[C]//European Safety and Reliability Conference,ESREL.2013.
[21]DENGB B,DAI B Q,WANGT.Dynamic fault tree analysis of SUBWAY vehicle-mounted ATP system based on Isograph [J].Journal of Safety Science and Technology,2016,12(5):80-85.
[22]LEE D W,KIM I S,NA J W.A Case Study on Safety Analysis Procedure of Aircraft System using the Relex[J].The Journal of Advanced Navigation Technology,2018,22(3):179-188.
[23]BOZZANO M,CIMATTI A,KATOEN J,et al.The COMPASS Approach:Correctness,Modelling and Performability of Aerospace Systems[C]//International Conference on Computer Safety Reliability and Security,2009.
[24]PROSVIRNOVA T,BATTEUX M,BRAMERET P A,et al. The altarica 3.0 project for model-based safety assessment[J].IFAC Proceedings Volumes,2013,46(22):127-132.
[25]MORTADA H,PROSVIRNOVA T,RAUZY A.Safety assessment of an electrical system with AltaRica 3.0[C]//International Symposium on Model-Based Safety and Assessmemt.Springer,Cham,2014:181-194.
[26]CHEN S.Research on System Safety Design Verification Me- thodology Based on AltaRica Model[D].Nanjing:Nanjing University of Aeronautics and Astronautics,2017.
[27]PROSVIRNOVA T.AltaRica 3.0:a model-based approach for safety analyses[EB/OL].http://www.researchgate.net/publication/278827421_AltaRica_30_a_Model-Based_approach_for_Safety_Analyses.
[1] QI Jian, HU Jun, GU Qing-fan, RONG Hao, ZHAN Wan-li, DONG Yan-hong. Class Flattening Method for AltaRica 3.0 Model [J]. Computer Science, 2021, 48(5): 51-59.
[2] TANG Hong-ying, HU Jun, CHEN Shuo, SHI Meng-ye. System Safety Analysis Tool for SysML and Case Study [J]. Computer Science, 2020, 47(5): 284-294.
[3] CHEN Shuo, HU Jun, TANG Hong-ying, SHI Meng-ye. Transformation Method for AltaRica3.0 Model to NuSMV Model [J]. Computer Science, 2020, 47(12): 73-86.
[4] LI Wan-qian, HU Jun, CHEN Song, ZHANG Wei-jun. Method of System Safety Analysis and Verification for SysML Models [J]. Computer Science, 2019, 46(11): 100-108.
[5] FAN Ya-qiong and CHEN Hai-yan. System Failure Reachability Graph Generation Method Based on Temporal Relation [J]. Computer Science, 2017, 44(12): 169-174.
[6] HU Jun, SHI Jiao-jie, CHENG Zhen, CHEN Song and WANG Ming-ming. System Safety Modeling and Analysis Method Based on Four-variable Model [J]. Computer Science, 2016, 43(11): 193-199.
[7] LU A-Li, TANG Zhen-Min ,YANG Jing-Yu （Department of Computer Science ＆ Technology , Nanjing University of Science and Technology , Nanjing 210094）. [J]. Computer Science, 2008, 35(4): 186-189.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.