李宪

作品数：3被引量：16H指数：3
导出分析报告
供职机构：北京交通大学电子信息工程学院轨道交通控制与安全国家重点实验室更多>>
发文主题：列车运行控制系统CTCS-3级列控系统CTCS-3UML模型UML更多>>
发文领域：交通运输工程自动化与计算机技术更多>>
发文期刊：《铁道学报》更多>>
所获基金：国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML模型的CTCS-3级列控系统功能安全分析方法被引量：10
《铁道学报》2013年第10期59-66,共8页刘金涛 唐涛 赵林 李宪 
国家高技术研究发展计划(863计划)(2011AA010104;2012AA112801)
本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用...
关键词：CTCS-3级系统 形式化方法 UML 可达集 功能安全分析 
基于UML扩展机制的列控系统建模方法研究被引量：7
《铁道学报》2012年第12期64-70,共7页赵林 唐涛 刘金涛 刘超 李宪 
国家高技术研究发展计划(863计划)(2011AA010104);中央高校基本科研业务费专项基金(2011JBM322)
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更...
关键词：UML扩展机制 对象约束语言 混成属性 列车运行控制系统 
运行时验证及其在列车运行控制系统中的应用被引量：4
《铁道学报》2011年第12期65-71,共7页赵林 唐涛 徐田华 柴铭 李宪 
国家重点实验室自主课题基金(RCS2008ZQ002;RCS2008ZZ005);中央高校基本科研业务费专项基金(2011JBM322);北京交通大学-泰雷兹集团国际合作项目(M&V-SCHS)
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允...
关键词：模型检验 测试 多值逻辑 公式重写 列车运行控制系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部