The safety of the train control center directly affects the safety of high-speed railway operation.In order to achieve more essential formalized definition of safety requirements,a novel modeling method based on the safety behavior model was proposed.In terms of the features of safety requirements,the safety behavior model defined the safety factors to describe the metric relation among the state,behavior and risk of the system.It adopted a new safety constraint rule to describe the safety constraint behaviors,safety response behaviors and safety failure behaviors of the software.The effectiveness of the proposed method is verified through application in safety tests of high-speed train control center in China.%列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.
展开▼
