您的位置: 专家智库 > >

徐中伟

作品数:123 被引量:375H指数:10
供职机构:同济大学电子与信息工程学院更多>>
发文基金:国家自然科学基金铁道部科技研究开发计划国家科技支撑计划更多>>
相关领域:自动化与计算机技术交通运输工程电子电信自然科学总论更多>>

文献类型

  • 105篇期刊文章
  • 9篇会议论文
  • 2篇学位论文
  • 1篇专利
  • 1篇标准
  • 1篇科技成果

领域

  • 88篇自动化与计算...
  • 30篇交通运输工程
  • 5篇电子电信
  • 3篇自然科学总论
  • 1篇机械工程
  • 1篇建筑科学
  • 1篇环境科学与工...
  • 1篇农业科学
  • 1篇一般工业技术

主题

  • 18篇安全性
  • 16篇联锁
  • 14篇仿真
  • 13篇形式化
  • 13篇软件测试
  • 12篇铁路
  • 10篇安全苛求系统
  • 10篇CBTC
  • 8篇列车
  • 8篇列控中心
  • 8篇故障树
  • 7篇网络
  • 7篇联锁软件
  • 7篇测试用例
  • 6篇通信
  • 6篇安全苛求软件
  • 6篇安全性测试
  • 5篇自动化
  • 5篇自动机
  • 5篇联锁系统

机构

  • 119篇同济大学
  • 18篇上海大学
  • 5篇青岛科技大学
  • 4篇上海工程技术...
  • 4篇铁路产品质量...
  • 2篇九江学院
  • 2篇江西理工大学
  • 1篇华侨大学
  • 1篇海南师范大学
  • 1篇教育部
  • 1篇中国科学院软...
  • 1篇株洲南车时代...
  • 1篇上海申通地铁...
  • 1篇北京全路通信...
  • 1篇铁道部标准计...
  • 1篇中国铁道科学...

作者

  • 119篇徐中伟
  • 22篇喻钢
  • 20篇梅萌
  • 12篇杜军威
  • 8篇王曦
  • 7篇吴芳美
  • 5篇陈祖希
  • 4篇陈邦兴
  • 4篇万勇兵
  • 4篇熊静
  • 4篇李弋强
  • 3篇陈全员
  • 3篇郭婧
  • 3篇吴剑
  • 3篇杨世玉
  • 2篇胡天一
  • 2篇郦萌
  • 2篇李丽梅
  • 2篇胥幸燕
  • 2篇朱龙

传媒

  • 12篇计算机工程
  • 10篇计算机工程与...
  • 7篇机电一体化
  • 7篇佳木斯大学学...
  • 7篇计算机应用
  • 6篇城市轨道交通...
  • 5篇铁道学报
  • 5篇计算机技术与...
  • 4篇计算机应用与...
  • 4篇信息技术
  • 3篇电子学报
  • 3篇同济大学学报...
  • 3篇计算机应用研...
  • 2篇武汉大学学报...
  • 2篇计算机工程与...
  • 2篇微电子学与计...
  • 2篇高技术通讯
  • 2篇小型微型计算...
  • 2篇计算机仿真
  • 2篇系统仿真学报

年份

  • 1篇2023
  • 4篇2022
  • 2篇2021
  • 2篇2020
  • 2篇2019
  • 3篇2018
  • 4篇2017
  • 3篇2016
  • 6篇2015
  • 9篇2014
  • 8篇2013
  • 9篇2012
  • 6篇2011
  • 9篇2010
  • 7篇2009
  • 12篇2008
  • 15篇2007
  • 1篇2006
  • 1篇2005
  • 5篇2004
123 条 记 录,以下是 1-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通信层中间件
软件测试质量的度量被引量:54
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自动机判空检测算法自动验证与分析系统的安全性。通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性。与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑。
王曦徐中伟
交叉冗余体系结构的安全性分析被引量:1
2010年
为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,将系统各部分的失效率划分为几个独立不相关的分量,充分考虑到各部分失效率对系统安全性的影响,利用系统分解和模型压缩的方法解决状态空间的激增问题,并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。
李弋强徐中伟喻钢
关键词:马尔可夫模型安全性
共12页<12345678910>
聚类工具0