您的位置： 专家智库 > >

国家自然科学基金(60674004)

作品数：40 被引量：116H指数：7
相关作者：徐中伟喻钢杜军威陈邦兴梅萌更多>>
相关机构：同济大学上海大学青岛科技大学更多>>
发文基金：国家自然科学基金铁道部科技研究开发计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程电气工程自然科学总论更多>>

文献类型

  • 40篇中文期刊文章

领域

  • 34篇自动化与计算...
  • 3篇交通运输工程
  • 1篇矿业工程
  • 1篇电子电信
  • 1篇电气工程
  • 1篇环境科学与工...
  • 1篇一般工业技术
  • 1篇自然科学总论

主题

  • 10篇安全性
  • 8篇联锁
  • 7篇故障树
  • 6篇安全苛求软件
  • 6篇安全苛求系统
  • 6篇PETRI网
  • 5篇故障树分析
  • 5篇仿真
  • 4篇形式化
  • 4篇列控中心
  • 4篇面向对象
  • 4篇故障树分析法
  • 4篇安全性测试
  • 3篇有色PETR...
  • 3篇软件测试
  • 3篇铁路
  • 3篇通信
  • 3篇联锁系统
  • 3篇安全评估
  • 2篇性需求

机构

  • 39篇同济大学
  • 11篇上海大学
  • 3篇青岛科技大学
  • 2篇上海工程技术...
  • 2篇铁路产品质量...
  • 1篇北京科技大学
  • 1篇北京交通大学

作者

  • 35篇徐中伟
  • 14篇喻钢
  • 10篇杜军威
  • 4篇陈邦兴
  • 3篇梅萌
  • 2篇熊静
  • 2篇胡天一
  • 2篇吴剑
  • 2篇李弋强
  • 2篇谭渊
  • 2篇杨世玉
  • 2篇陈祖希
  • 1篇王学灵
  • 1篇蔡嗣经
  • 1篇郦萌
  • 1篇喻刚
  • 1篇王小丽
  • 1篇王曦
  • 1篇王树梅
  • 1篇王维

传媒

  • 9篇计算机工程
  • 7篇计算机应用
  • 4篇计算机工程与...
  • 3篇信息技术
  • 2篇同济大学学报...
  • 2篇计算机应用与...
  • 2篇微电子学与计...
  • 2篇计算机应用研...
  • 1篇北京科技大学...
  • 1篇佳木斯大学学...
  • 1篇武汉大学学报...
  • 1篇微型电脑应用
  • 1篇小型微型计算...
  • 1篇计算机仿真
  • 1篇系统仿真学报
  • 1篇铁道学报
  • 1篇计算机技术与...

年份

  • 2篇2014
  • 1篇2013
  • 4篇2011
  • 4篇2010
  • 10篇2009
  • 10篇2008
  • 9篇2007
共 40 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种新的安全通信协议安全性验证框架
2009年
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。
谭渊徐中伟梅萌吴剑
关键词：安全通信协议
基于Petri网的联锁软件测评仿真建模被引量：5
2009年
车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例。该模型有助于提高铁路联锁软件测试系统的安全性与精确性。
宫杰陈邦兴
关键词：联锁软件测试PETRI网
面向安全评估的CTCS-2列控系统安全性测试环境被引量：1
2010年
高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。
熊静喻钢徐中伟郦萌
关键词：安全苛求系统安全性安全性测试
基于接口参数的列控中心测试用例生成算法被引量：1
2011年
在接口参数两两组合全面覆盖理论的基础上,提出一种基于树型结构的改进测试用例生成算法。该算法综合考虑外部接口参数和取值组合所产生的系统影响,具有一定的通用性及稳定性,并且在时间复杂度及空间复杂度上较以往的算法都有所改进。算法在CTCS2级列控中心的接口测试中取得了很好的效果,测试质量和测试效率均得到提高。
张盛徐中伟喻钢杨世玉
关键词：软件测试黑盒测试列控中心测试用例
Petri网模型的FTA安全性分析被引量：11
2007年
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁逻辑模型的安全性分析。
杜军威徐中伟
关键词：故障树分析法PETRI网
基于有色Petri网的安全构件模型被引量：2
2008年
安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模。
陈旭徐中伟喻钢
关键词：有色PETRI网
车站列控中心测试平台——通信仿真子系统研究被引量：3
2008年
车站列控中心测试平台是对列控中心系统进行可靠性、安全性测试及评估的平台。通信仿真子系统是平台的一个子系统,它主要实现被测对象与平台中相关模拟子系统之间数据的交互。采用面向对象的多线程串口通信技术对通信仿真子系统进行了研究。详细地阐述了测试平台与被测对象之间的接口方式与通信协议,并给出仿真实例,满足了平台对通信仿真子系统的要求。
谢世环徐中伟胡天一
关键词：面向对象多线程串口通信
联锁逻辑形式化模型检验的研究被引量：1
2007年
利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能。通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题。该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证。
杜军威徐中伟宋波
关键词：有色PETRI网线性时态逻辑
SP多属性评价法在矿山应急体系评价中的应用
2009年
以矿山应急体系为研究对象,从日常工作、应急组织机构、预案及演练、应急救援行动、应急资源装备、现场清除与恢复六个方面分析其处置突发事故的效率和效果,并在此基础上建立了矿山应急体系评价指标.采用定性与定量相结合的方法,根据矿山应急体系评价指标属性复杂的特点,提出了与其相适应的SP(Shepard)多属性评价法.以武钢程潮铁矿应急体系的建设情况为背景进行了评价实例研究.通过实例验证了该方法的合理性和实用性.
罗文婷王艳辉蔡嗣经王永清
关键词：矿山应急体系指标体系综合评价
通用的安全苛求软件安全性测试方法被引量：1
2010年
传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。
喻钢熊静徐中伟
关键词：安全苛求软件自动化测试安全性测试
全选 清除 导出
共4页<1234>
聚类工具0