您的位置： 专家智库 > >

水晶

作品数：1 被引量：1H指数：1
供职机构：兰州交通大学自动化与电气学院更多>>
发文基金：甘肃省教育厅研究生导师科研项目国家自然科学基金更多>>
相关领域：自然科学总论更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自然科学总论

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇列控系统
  • 1篇符号模型检验
  • 1篇CTCS-2...
  • 1篇车载
  • 1篇车载设备

机构

  • 1篇兰州交通大学

作者

  • 1篇董昱
  • 1篇黎磊
  • 1篇水晶

传媒

  • 1篇计算机工程

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
CTCS-2级列控系统的形式化建模与验证被引量：1
2013年
由于CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使其转化为NuSMV模型。将待验证的系统性质和转化后的检验程序输入符号模型检验系统进行验证,验证结果都为true,表明CTCS-2级列控车载设备的模式转化场景具有活性、可达性和安全性。
董昱水晶黎磊
关键词：列控系统符号模型检验形式化方法车载设备
全选 清除 导出
共1页<1>
聚类工具0