首页 | 本学科首页   官方微博 | 高级检索  
     

CTCS-3级列控系统等级转换场景功能安全分析
引用本文:盛昭君,米根锁. CTCS-3级列控系统等级转换场景功能安全分析[J]. 控制工程, 2019, 26(2): 336-342
作者姓名:盛昭君  米根锁
作者单位:兰州交通大学 自动化与电气工程学院,兰州,730070;兰州交通大学 自动化与电气工程学院,兰州,730070
基金项目:甘肃省自然科学基金项目
摘    要:

关 键 词:CTCS-3级列控系统等级转换场景  HYBRID  UML  PHAVer  功能安全分析

Functional Safety Analysis of Level Transition Process of CTCS-3 System
SHENG Zhao-jun,MI Gen-suo. Functional Safety Analysis of Level Transition Process of CTCS-3 System[J]. Control Engineering of China, 2019, 26(2): 336-342
Authors:SHENG Zhao-jun  MI Gen-suo
Affiliation:(School of Automation & Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China)
Abstract:SHENG Zhao-jun;MI Gen-suo(School of Automation & Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China)
Keywords:Level transition process of CTCS-3 system  Hybrid UML  PHAVer  function safety analysis
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号