周庭梁

作品数：6被引量：9H指数：2
导出分析报告
供职机构：同济大学交通运输工程学院道路与交通工程教育部重点实验室更多>>
发文主题：城市轨道交通C语言安全苛求系统仿真测试调试技巧更多>>
发文领域：自动化与计算机技术交通运输工程更多>>
发文期刊：《铁路计算机应用》《城市轨道交通研究》《中国科学：信息科学》《科技与创新》更多>>
所获基金：国家自然科学基金上海市科委科技攻关项目国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于因果关系的列控系统模型约简方法
《同济大学学报（自然科学版）》2016年第11期1702-1708,共7页周庭梁 许婧 陈小红 赵时旻 
国家自然科学基金(91418203)
在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的因果关系,归纳出基本的因果关系组合,并提炼出变量约简规则,通过变量约减减少了验证问题的状态空间.采用...
关键词：需求验证 变量约简 因果关系 列车运行控制系统 
基于计算机虚拟化列车控制系统敏捷测试方法被引量：2
《同济大学学报（自然科学版）》2015年第3期416-422,共7页周庭梁 黄涛 杨文臣 赵时旻 
上海张江国家自主创新示范区专项发展资金重大项目(ZJ2012-ZD-011)
传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统...
关键词：基于通信的列车运行控制系统 计算机虚拟化 敏捷测试 自适应测试用例约简优排 
信号维护支持系统的仿真测试方法研究被引量：3
《城市轨道交通研究》2015年第2期86-88,92,共4页周庭梁 张兵建 赵时旻 
上海市科技攻关重点项目(09511502602)
在城市轨道交通运营中,信号维护支持系统是对列车运行控制设备进行集中监测和维护管理,是保证列车运行控制系统正常工作的关键系统。针对维护支持系统的仿真测试需求,基于系统允许的宽恕次数,设计出一种随机筛选调度方法,解决了仿真测...
关键词：城市轨道交通 信号维护支持系统 仿真测试 随机筛选调度 
安全苛求系统下的嵌入式C语言程序调试技巧被引量：3
《铁路计算机应用》2014年第6期62-64,共3页董高云 周庭梁 
介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的"版本升级比较法",打印添加技巧以及其它调试技巧和经验。
关键词：安全苛求系统 嵌入式系统 C语言 调试技巧 
面向服务的CBTC车载控制器测评支撑环境研究
《科技与创新》2014年第9期114-115,共2页周庭梁 查伟 
上海张江国家自主创新示范区专项发展资金重大项目(编号:ZJ2012-ZD-011)
CBTC车载控制器是一个对安全性能有较高要求的系统,对其进行完整的测试具有很重要的意义。但在实际的系统研发和测试中,对其核心的车载控制器还缺乏可信的安全生命周期集成和测试手段。最原始的方法就是把待测的CBTC车载系统安装到真实...
关键词：CBTC 地铁 仿真器 模型 
基于形式化测试的实时系统变更后安全性验证被引量：1
《中国科学：信息科学》2014年第1期70-90,共21页孙海英 刘静 陈小红 杜德慧 周庭梁 
国家重点基础研究发展计划(批准号:2009CB320702);国家自然科学基金(批准号:91318301;61332008);国家自然科学青年基金(批准号:61202104)资助项目
变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后...
关键词：软件工程 软件演化 实时系统 形式化方法 安全性验证 软件测试 安全性测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部