Computer Science ›› 2016, Vol. 43 ›› Issue (11): 193-199.doi: 10.11896/j.issn.1002-137X.2016.11.038

Previous Articles     Next Articles

System Safety Modeling and Analysis Method Based on Four-variable Model

HU Jun, SHI Jiao-jie, CHENG Zhen, CHEN Song and WANG Ming-ming   

  • Online:2018-12-01 Published:2018-12-01

Abstract: Recently,the system safety analysis and verification method based on model is an important research direction in the field of safety critical systems engineering.A system safety modeling and analysis verification method based on four-variable model was proposed based on the AltaRica modeling language.The mapping rule between four-variable model and AltaRica was constructed through the studying of their semantics.A case of wheel brake system(WBS) in civil aircraft was used as an example to illustrate the entire validation process.Namely,first we used four-variable model to analyze the requirements of WBS from the level of system requirements,and constructed the AltaRica model according to the mapping rule.Next,we used fault tree analysis method to study the safety of WBS.Finally,based on the tool ARC,which is associated with AltaRica,the system safety attributes was validated.The practicability of the proposed method in the field of system safety engineering is illustrated by the verification results.

Key words: Four-variable model,AltaRica modeling language,Fault tree analysis,ARC

[1] Bouali A,Dion B.Formal Verification for Model-Based Development[J].Sae Transactions,2005,114(7):171-181
[2] Feiler P H.Model-based validation of safety-critical embedded systems[C]∥Proceedings of the Aerospace Conference.2010 IEEE,2010:1-10
[3] Shokry H,Hinchey M.Model-Based Verification of Embedded Software[J].Computer,2009,42(4):53-59
[4] Battueux M,Prosvirnova T,Rauzy A,et al.The AltaRica 3.0 project for model-based safety assessment[C]∥2013 11th IEEE International Conference on Proceedings of the Industrial Informatics(INDIN).2013:127-132
[5] Humbert S,Seguin C,Castel C,et al.Deriving Safety SoftwareRequirements from an AltaRica System Model[M]∥Computer Safety,Reliability,and Security.Springer Berlin Heidelberg,2008:320-331
[6] Li S,Su D.A Practicable MBSA Modeling Process Using Altarica[M]∥Model-Based Safety and Assessment.Springer International Publishing,2014:1-13
[7] Patcas L M,Lawford M,Maibaum T.From System Require-ments to Software Requirements in the Four-Variable Model[J/OL].
[8] Patcas L M,Lawford M,Maibaum T.Implementability of requirements in the four-variable model[J].Science of Computer Programming,2015,111(P2):339-362
[9] Miller S P,Tribble A C.Extending the four-variable model to bridge the system-software gap [J].Digital Avionics Systems dascconference,2001:4E5/1-4E5/11
[10] Farkas H,Noszticzius Z.Analytical investigation of a four-variable model of the BZ reaction[J].Reaction Kinetics & Catalysis Letters,1987,33(1):93-98
[11] Heitmeyer C L,Jeffords R D,Labaw B G.Automated Consistency Checking of Requirements Specifications[J].Automated Consistency Checking of Requirements Specifications,1996,5(3):231-261
[12] Point G,Rauzy A.AltaRica:Constraint automata as a description language[J/OL].
[13] Bieber P,Bougnol C,Castel C,et al.Safety Assessment with Altarica[J].Journal of the American College of Cardiology, 2004,53(11):982-991
[14] Joshi A,Miller S P,Whalen M,et al.A proposal for model-based safety analysis[C]∥Proceedings of the Digital Avionics Systems Conference,2005(DASC 2005).2005
[15] Cassez F,Pagetti C,Roux O.A Timed Extension for ALTARICA[J].Fundamenta Informaticae,2004,62(3/4):291-332
[16] Bozzano M,Cimatti A,Lisagor O,et al.Symbolic Model Checking and Safety Assessment of Altarica models[J/OL].
[17] Bieber P,Castel C,Seguin C.Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System[M]∥Dependable Computing EDCC-4.Springer Berlin Heidelberg,2002:19-31
[18] Lee W S,Grosh D L,Tillman F A,et al.Fault Tree Analysis,Methods,and Applications ? A Review[J].IEEE Transactions on Reliability,1985,34(3):194-203
[19] Boulanger J L.Safety Analysis of the Embedded Systems with the AltaRica Approach[M].Industrial Use of Formal Methods:Formal Verification.John Wiley & Sons,Inc.,2013:83-121

No related articles found!
Full text



No Suggested Reading articles found!