欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
列控中心的安全性直接影响高速铁路的运行安全，为实现对其安全性需求更本质的形式化定义，提出1种基于安全行为模型的建模方法。根据其安全性需求的特征，安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系，采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用，说明了该方法的有效性。
英文摘要：
The safety of the train control center directly affects the safety of highspeed railway operation. In or der 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 sys tem. It adopted a new safety constraint rule to describe the safety constraint behaviors, safety response behav iors and safety failure behaviors of the software. The effectiveness of the proposed method is verified through application in safety tests of highspeed train control center in China.
同期刊论文项目
同项目期刊论文
期刊信息
位置：