您的位置： 专家智库 > >

铁道部科技研究开发计划(2007X003)

作品数：10 被引量：32H指数：3
相关作者：徐中伟喻钢杨世玉李弋强梅萌更多>>
相关机构：同济大学上海大学更多>>
发文基金：铁道部科技研究开发计划国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇有限状态机
  • 3篇状态机
  • 3篇安全性
  • 2篇通信
  • 2篇通信协议
  • 2篇全通
  • 2篇故障树
  • 2篇安全苛求系统
  • 2篇安全通信
  • 2篇安全通信协议
  • 1篇动态故障树
  • 1篇信息熵
  • 1篇性需求
  • 1篇约简算法
  • 1篇软件测试
  • 1篇事件树
  • 1篇属性约简
  • 1篇属性约简算法
  • 1篇网络
  • 1篇列控中心

机构

  • 10篇同济大学
  • 7篇上海大学

作者

  • 10篇徐中伟
  • 8篇喻钢
  • 3篇李弋强
  • 3篇杨世玉
  • 2篇梅萌
  • 2篇吴剑
  • 2篇谭渊
  • 2篇张盛
  • 1篇何欢
  • 1篇祝玉军
  • 1篇朱海宏
  • 1篇庄静芸

传媒

  • 3篇计算机工程
  • 3篇计算机应用
  • 2篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇计算机应用研...

年份

  • 3篇2011
  • 2篇2010
  • 4篇2009
  • 1篇2008
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种新的安全通信协议安全性验证框架
2009年
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。
谭渊徐中伟梅萌吴剑
关键词：安全通信协议
交叉冗余体系结构的安全性分析
2010年
为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,将系统各部分的失效率划分为几个独立不相关的分量,充分考虑到各部分失效率对系统安全性的影响,利用系统分解和模型压缩的方法解决状态空间的激增问题,并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。
李弋强徐中伟喻钢
关键词：马尔可夫模型安全性
基于接口参数的列控中心测试用例生成算法被引量：1
2011年
在接口参数两两组合全面覆盖理论的基础上,提出一种基于树型结构的改进测试用例生成算法。该算法综合考虑外部接口参数和取值组合所产生的系统影响,具有一定的通用性及稳定性,并且在时间复杂度及空间复杂度上较以往的算法都有所改进。算法在CTCS2级列控中心的接口测试中取得了很好的效果,测试质量和测试效率均得到提高。
张盛徐中伟喻钢杨世玉
关键词：软件测试黑盒测试列控中心测试用例
一种粗糙集属性约简算法被引量：14
2009年
基于粗糙集理论提出一种新的属性重要度的度量方法,引入决策强度的概念,克服经典粗糙集理论约简定义的不完备性及无法获得最优属性约简的缺陷,改进基于信息熵的启发式属性约简算法,通过对既有线CTCS-2级车站列控中心软件测试平台的测试数据的实证分析,成功获得最优属性约简,发现数据之间的潜在联系及规律,给出决策规则,使决策分析更为高效。
庄静芸徐中伟喻钢
关键词：粗糙集信息熵
面向安全性需求的安全构件模型框架研究
2008年
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。
喻钢徐中伟
关键词：安全苛求软件安全性需求
基于改进DFTA的安全苛求系统可靠性分析被引量：2
2009年
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。
吴剑徐中伟喻钢李弋强
关键词：动态故障树安全苛求系统可靠性分析马尔科夫模型模块化
铁路信号安全协议一致性测试序列生成研究被引量：2
2010年
铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。
杨世玉徐中伟喻钢张盛
关键词：有限状态机
基于XML的安全苛求系统测试脚本生成被引量：3
2011年
针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。
何欢徐中伟喻钢杨世玉
关键词：XML安全苛求系统有限状态机
面向安全需求的安全通信协议测试序列生成算法被引量：1
2009年
安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。
李弋强徐中伟喻钢谭渊
关键词：扩展有限状态机
基于贝叶斯网络的高铁系统概率安全评估方法研究被引量：9
2011年
高速铁路控制系统的安全性评估非常重要,引入贝叶斯网络技术,充分利用传统事件树、故障树的分析优势,将事件树中各安全环节的故障树分别转化为贝叶斯网络,并按逻辑关系最终融合为一张完整的贝叶斯网。通过整合的贝叶斯网络不仅可以分析列控系统的安全性,同时还能得出其他有用的概率推理信息。
朱海宏徐中伟梅萌祝玉军
关键词：概率安全评估安全性事件树故障树贝叶斯网络
全选 清除 导出
共1页<1>
聚类工具0