一种基于四变量模型的系统安全性建模与分析方法

近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。

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

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.