云南高校图书馆联盟文献共享服务平台- 韩笑

韩笑: 作品数：1被引量：4H指数：1; 导出分析报告; 供职机构：北京交通大学电子信息工程学院轨道交通控制与安全国家重点实验室更多>>; 发文主题：CTCS-3CTCSUPPAAL时间自动机日志更多>>; 发文领域：交通运输工程自动化与计算机技术更多>>; 发文期刊：《铁道学报》更多>>; 所获基金：国家自然科学基金国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析被引量：4: 《铁道学报》2017年第3期59-70,共12页韩笑唐涛吕继东尚麟宇; 国家自然科学基金(61304185;U1434209);国家重点基础研究发展计划(973计划)(2014CB340703);中国铁路总公司科技研究开发计划(2014X003-D); CTCS-3级列控系统的复杂性使得某些需求错误难以发现,从而导致系统失效,需要结合失效事件的日志记录反向分析出需求的错误。本文采用基于模型检查的方法,首先利用时间自动机建立CTCS-3级列控车载子系统需求的模型,同时利用失效事件中的...; 关键词：CTCS 车载子系统失效致因分析时间自动机 UPPAAL 模型检查需求错误