国家自然科学基金(60674004)

作品数：40被引量：109H指数：6
导出分析报告
相关作者：徐中伟喻钢杜军威陈邦兴梅萌更多>>
相关机构：同济大学上海大学青岛科技大学铁路产品质量监督检验中心更多>>
相关期刊：《计算机仿真》《计算机技术与发展》《铁道学报》《佳木斯大学学报（自然科学版）》更多>>
相关主题：PETRI网安全苛求系统安全苛求软件联锁故障树分析法更多>>
相关领域：自动化与计算机技术交通运输工程电气工程自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
范畴MSC在轨道交通领域的应用研究
《佳木斯大学学报（自然科学版）》2014年第5期641-644,共4页黄洁琰 徐中伟 
国家自然科学基金资助项目(60674004);国家十二五科技支撑项目(2011BAG01B03);863计划(2012AA112801)
基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)是完全基于移动闭塞的列车控制系统,使得列车可以在更短的运行间隔内实行安全运行.为提高CBTC系统设计的安全性,必须对CBTC系统的行为进行建模验证.本文将...
关键词：轨道交通 CBTC系统 范畴MSC 形式化建模 
基于项重写系统的联锁系统模型检测方法研究
《计算机工程与应用》2014年第3期49-54,共6页张舒青 徐中伟 陈祖希 
国家自然科学基金(No.60674004);国家高技术研究发展计划(863)(No.2012AA112801);国家十二五科技支撑项目(No.2011BAG01B03)
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统...
关键词：项重写系统 联锁 Maude语言 安全苛求系统 模型检测 
基于梯形逻辑的联锁系统形式化验证方法被引量：4
《计算机应用》2013年第12期3419-3422,3431,共5页于丽贞 徐中伟 陈祖希 张舒青 
国家自然科学基金资助项目(60674004);国家863计划项目(2012AA112801)
铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL)...
关键词：铁路联锁系统 模型检测 形式化方法 梯形逻辑 NuSMV模型检测 
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究被引量：12
《铁道学报》2011年第12期56-64,共9页喻钢 徐中伟 
国家自然科学基金(60674004);铁道部科技研究开发计划课题(2008X003-A;2009X002-A)
列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前...
关键词：CTCS-2级列控系统 测试脚本语言 安全性测试 自动化测试 高速铁路 
基于贝叶斯网络的高铁系统概率安全评估方法研究被引量：10
《计算机应用与软件》2011年第3期26-28,31,共4页朱海宏 徐中伟 梅萌 祝玉军 
国家自然科学基金项目(60674004);铁道部科技研究开发计划基金项目(2007X003)
高速铁路控制系统的安全性评估非常重要,引入贝叶斯网络技术,充分利用传统事件树、故障树的分析优势,将事件树中各安全环节的故障树分别转化为贝叶斯网络,并按逻辑关系最终融合为一张完整的贝叶斯网。通过整合的贝叶斯网络不仅可以分析...
关键词：概率安全评估 安全性 事件树 故障树 贝叶斯网络 
基于接口参数的列控中心测试用例生成算法被引量：1
《计算机工程》2011年第1期69-71,共3页张盛 徐中伟 喻钢 杨世玉 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划基金资助项目(2007X003)
在接口参数两两组合全面覆盖理论的基础上,提出一种基于树型结构的改进测试用例生成算法。该算法综合考虑外部接口参数和取值组合所产生的系统影响,具有一定的通用性及稳定性,并且在时间复杂度及空间复杂度上较以往的算法都有所改进。...
关键词：软件测试 黑盒测试 列控中心 树型模型 测试用例 
基于XML的安全苛求系统测试脚本生成被引量：3
《计算机应用》2011年第1期281-285,共5页何欢 徐中伟 喻钢 杨世玉 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划基金资助项目(2007X003)
针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转...
关键词：XML 安全苛求系统 有限状态机 场景-事件驱动 状态迁移树 
通用的安全苛求软件安全性测试方法被引量：1
《计算机工程》2010年第17期28-29,共2页喻钢 熊静 徐中伟 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划基金资助项目(2008X003-A;2009X002-A)
传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控...
关键词：安全苛求软件 自动化测试 安全性测试 
面向安全评估的CTCS-2列控系统安全性测试环境被引量：1
《计算机应用》2010年第8期2181-2184,2188,共5页熊静 喻钢 徐中伟 郦萌 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划资助项目(2008X003-A;2009X002-A)
高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试...
关键词：高速铁路列控系统 安全苛求系统 安全性 安全性测试 
基于模型检测的软件安全性验证方法被引量：8
《武汉大学学报（理学版）》2010年第2期156-160,共5页王曦 徐中伟 梅萌 
国家自然科学基金资助项目(60674004)
安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并...
关键词：故障树分析 模型检测 安全苛求系统 安全性验证 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部