高速铁路列控中心软件安全性需求形式化建模

摘要：

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.

关键词：高速铁路、列控中心、安全性、形式化建模、安全性需求

所属期刊栏目：35

分类号：U283(铁路通信、信号)

资助基金：国家自然科学基金61075002;国家科技支撑计划2011BAG01B03;铁道部科技研究开发计划项目2009X002-A

在线出版日期：2013-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：74-79