徐中伟
- 作品数：123 被引量：377H指数：10
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：国家自然科学基金铁道部科技研究开发计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信自然科学总论更多>>
- CTCS-3级列控系统临时限速服务器建模与形式化验证被引量：10
- 2013年
- 临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。
- 万勇兵徐中伟梅萌
- 关键词：时间自动机UPPAAL
- 基于OPNET的客运专线安全数据网故障建模
- 2015年
- 客运专线安全数据网络的可靠运行对高铁运输安全至关重要,故障建模是研究该网络可靠性的重要手段.但是,目前对该网络中故障没有进行系统研究,只是针对特定故障对网络的影响,缺乏一种对故障进行分类和建模的方法.针对这个问题,本文提出了采用三层故障体系对客运专线安全数据网络中的故障进行分类,并使用OPNET软件为该网络建立故障模型.该分类方法解决了客运专线安全数据网络故障研究的混乱问题,并且提供了一种对该网络故障模型的方法.
- 牛强徐中伟
- 关键词：网络故障
- 基于决策树的软件可靠性模型选择被引量：1
- 2007年
- 软件可靠性建模是软件可靠性评估的主要方法之一。现在还没有一个可适用于所有软件项目的通用模型,所以可靠性模型的选择已成为一个重要的研究方向。决策树是数据挖掘的一种算法。文中首先介绍数据挖掘与软件可靠性模型选择的结合应用概念,然后重点分析决策树的生成算法。最后以一组数据仿真决策树生成过程,并验证此方法的可行性和准确性。
- 吴晨徐中伟杜军威
- 关键词：软件可靠性模型决策树
- 故障模型驱动的软件安全性测试研究
- 2014年
- 根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的有效性。
- 熊静喻钢徐中伟
- 关键词：高速铁路列控中心安全性形式化建模安全性测试
- 基于ICE的CBTC仿真测试平台中间件的研究与设计被引量：1
- 2014年
- 研究真实CBTC系统各模块之间的数据通信和协同操作,从而设计基于ICE的CBTC仿真测试平台的中间件,最终实现CBTC仿真测试平台各子系统模块之间实时地,稳定地,安全的通信,并且通过在中间件中实现底层自适应通信接口协议转换从而可以接入各厂家的真实设备,而且引入中间件使上层模块与操作系统解耦,实现各子系统模块的跨平台性.最后中间件完成之后,可以使得再次设计CBTC测试平台时将精力集中于业务逻辑的实现.
- 颜成吉徐中伟张辛楠
- 关键词：ICE通信层中间件
- 软件测试质量的度量被引量：55
- 2002年
- 该文在详细分析了软件测试充分性和揭错能力度量理论后,根据软件质量的本质特性,提出一种更全面的软件测试质量度量方法———通过度量软件测试方法减低软件残留风险程度的能力来度量测试质量的新方法。
- 徐中伟吴芳美
- 关键词：软件测试软件质量软件开发软件工程
- 基于HLA的CBTC仿真管理器研究与应用被引量：2
- 2012年
- 仿真测试管理器是CBTC系统仿真平台的核心组成部分。针对CBTC系统仿真存在的可扩展性差、实时性差、协同困难等问题,提出了基于HLA(High Level Architecture)的仿真管理器。仿真管理器通过注册机制对系统内各个部件进行管理,实现系统的自由扩展;通过HLA/RTI联邦运行支持环境实现平台中仿真节点建立连接,设计仿真管理器与组件间的通信,提高系统实时性;针对仿真平台内子系统协同性差,系统失步问题,仿真管理器采用协同控制策略来保证系统的同步,该仿真管理器已应用于国家"十二五"项目。
- 朱龙徐中伟喻钢朱麟
- 关键词：HLACBTC扩展性实时性协同性
- CBTC系统测试用例生成方法的研究被引量：1
- 2014年
- 针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在.在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成.
- 任思思徐中伟朱海鹰
- 关键词：CBTC生成测试用例
- 一种基于场景模型的安全性分析算法研究被引量：2
- 2012年
- 为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性。通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性。与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑。
- 王曦徐中伟
- 交叉冗余体系结构的安全性分析
- 2010年
- 为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,将系统各部分的失效率划分为几个独立不相关的分量,充分考虑到各部分失效率对系统安全性的影响,利用系统分解和模型压缩的方法解决状态空间的激增问题,并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。
- 李弋强徐中伟喻钢
- 关键词：马尔可夫模型安全性
