10.3969/j.issn.1001-8360.2011.09.010
一种基于场景的CTCS-3列车控制系统建模方法研究
对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础.本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法.首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型.使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型.
CTCS-3列车运行控制系统、自动机、顺序图、形式化建模、运营场景
33
U283;TP301(铁路通信、信号)
国家科技支撑计划2009BAG12A08;铁道部科技研究开发计划2009X003B
2012-01-15(万方平台首次上网日期,不代表论文的发表时间)
共7页
55-61