基于AADL 的中国高速铁路控制系统中的移动授权场景建模与验证

E Ahmad, YW Dong, B Larson, JD Lü, T Tang… - Science China …, 2015 - Springer
摘要创新点列控系统像大多数数字控制系统一样, 需要和物理部件交互或者控制它们行为,
因而是混成系统. 对混成系统行为建模与验证, 从而使得混成系统行为可靠并可以预测 …
相关文章
[PDF] academia.edu

[PDF][PDF] Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.

E Ahmad, YW Dong, BR Larson, JD Lü, T Tang… - Sci. China Inf …, 2015 - academia.edu
Train control systems like most digital controllers are, by definition, hybrid systems as they
interact with or try to control some aspects of the physical world. Detailed behavior modeling …
被引用次数：28 相关文章 所有 9 个版本
[PDF] ios.ac.cn

[PDF][PDF] 中国高速铁路列控系统的形式化分析与验证

郭丹青， 吕继东， 王淑灵， 唐涛， 詹乃军， 周达天… - 中国科学: 信息 …, 2015 - lcs.ios.ac.cn
摘要高速铁路列控系统的安全与否直接涉及人民的生命财产安全, 对高速铁路列控系统进行严格
的形式化验证具有重要意义. 但是随着高速铁路列控系统软件以及硬件规模的不断增大 …
被引用次数：6 相关文章 所有 4 个版本

[引用][C] CTCS-4 级车地通信机制的形式化研究

马俊 - 2014 - 兰州交通大学
相关文章

[引用][C] 列控系统混成行为的建模与验证方法

程瑞军 - 2014 - 北京交通大学
相关文章

[引用][C] 基于Epsilon 的列控系统模型转换及规范验证

刘超， 唐涛 - 中国自动化学会控制理论专业委员会B 卷, 2011
相关文章

[引用][C] CTCS-3 级列控系统等级转换运营场景智能形式化研究[D]

王振强 - 2014 - 兰州交通大学
被引用次数：1 相关文章

[引用][C] 基于SCADE 的CBTC 区域控制器软件开发

张路 - 2010 - 北京: 北京交通大学
被引用次数：5 相关文章

[引用][C] 基于车车通信的列控系统典型运营场景建模与验证

陈姣 - 2018 - 北京交通大学
相关文章

[引用][C] 基于UML 的列控系统建模方法与验证工具集成

李宪 - 北京: 北京交通大学硕士论文, 2012
被引用次数：1 相关文章