一种基于场景的CTCS-3列车控制系统建模方法研究

• 作者: 吉吟东 杨士元 王帅
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: CTCS-3列车运行控制系统 自动机 顺序图 形式化建模 运营场景
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 55-61
• 分类号: U283|TP301
• 字数: 8210字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2011.09.010

摘要

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础.本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法.首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型.使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨士元	清华大学自动化系	124	1303	17.0	30.0
2	吉吟东		31	524	13.0	22.0
4	王帅	清华大学计算机科学与技术系	18	31	3.0	5.0