Citation: | SHANGGUAN Wei, LIU Peng-hui, CAI Bo-gen, SHAO Yong-zhe. UML-HLA collaborative modeling method and its application in multi-train simulation system[J]. Journal of Traffic and Transportation Engineering, 2013, 13(4): 108-115. doi: 10.19818/j.cnki.1671-1637.2013.04.016 |
[1] |
MA Zong-min, ZHANG Fu, YAN Li, et al. Representing and reasoning on fuzzy UML models: a description logic approach[J]. Expert Systems with Applications, 2011, 38 (3): 2536-2549. doi: 10.1016/j.eswa.2010.08.042
|
[2] |
LEES M, LOGAN B, THEODOROPOULOS G. Distributed simulation of agent-based systems with HLA[J]. ACM Transactions on Modeling and Computer Simulation, 2007, 17 (3): 1-25.
|
[3] |
DISTEFANO S, SCARPA M, PULIAFITO A. From UML to Petri nets: the PCM-based methodology[J]. IEEE Transactions on Software Engineering, 2011, 37 (1): 65-79. doi: 10.1109/TSE.2010.10
|
[4] |
王帅, 吉吟东, 杨士元. 一种基于场景的CTCS-3列车控制系统建模方法研究[J]. 铁道学报, 2011, 33 (9): 55-61. doi: 10.3969/j.issn.1001-8360.2011.09.010
WANG Shuai, JI Yin-dong, YANG Shi-yuan. A kind of modeling method for CTCS-3based on operation scenario[J]. Journal of the China Railway Society, 2011, 33 (9): 55-61. (in Chinese). doi: 10.3969/j.issn.1001-8360.2011.09.010
|
[5] |
王悉, 唐涛. 基于UML的列控系统车载人机界面设计和实现[J]. 系统仿真学报, 2006, 18 (2): 338-342, 361. doi: 10.3969/j.issn.1004-731X.2006.02.019
WANG Xi, TANG Tao. Design and realization of train operation control system onboard MMI based on UML[J]. Journal of System Simulation, 2006, 18 (2): 338-342, 361. (in Chinese). doi: 10.3969/j.issn.1004-731X.2006.02.019
|
[6] |
韩胤, 张勇. CTCS3级仿真系统中无线闭塞中心的仿真[J]. 铁路计算机应用, 2007, 16 (3): 43-45. doi: 10.3969/j.issn.1005-8451.2007.03.015
HAN Yin, ZHANG Yong. Computer simulation of radio block center in CTCS level 3[J]. Railway Computer Application, 2007, 16 (3): 43-45. (in Chinese). doi: 10.3969/j.issn.1005-8451.2007.03.015
|
[7] |
卢衍丹, 唐涛. 面向对象的列车自动驾驶仿真系统建模[J]. 系统仿真学报, 2002, 14 (1): 8-10. doi: 10.3969/j.issn.1004-731X.2002.01.003
LU Yan-dan, TANG Tao. Object-oriented modeling of automatic train operation simulation system[J]. Journal of System Simulation, 2002, 14 (1): 8-10. (in Chinese). doi: 10.3969/j.issn.1004-731X.2002.01.003
|
[8] |
邵维忠, 蒋严冰, 麻志毅. UML现存的问题和发展道路[J]. 计算机研究与发展, 2003, 40 (4): 509-516.
SHAO Wei-zhong, JIANG Yan-bing, MA Zhi-yi. The present problems and roadmap of UML[J]. Journal of Computer Research and Development, 2003, 40 (4): 509-516. (in Chinese).
|
[9] |
上官伟, 蔡伯根, 刘振国, 等. 基于HLA的列控系统多车仿真策略研究[J]. 铁道学报, 2012, 34 (8): 57-63. doi: 10.3969/j.issn.1001-8360.2012.08.010
SHANGGUAN Wei, CAI Bai-gen, LIU Zhen-guo, et al. Research of HLA-based simulation strategy for multi-train simulation of train control system[J]. Journal of the China Railway Society, 2012, 34 (8): 57-63. (in Chinese). doi: 10.3969/j.issn.1001-8360.2012.08.010
|
[10] |
郭宁, 杨巍, 吴亮. CTCS2级列车运行控制系统超速防护仿真研究[J]. 交通运输工程与信息学报, 2007, 5 (4): 122-126. https://www.cnki.com.cn/Article/CJFDTOTAL-JTGC200704024.htm
GUO Ning, YANG Wei, WU Liang. Simulation of the automatic train protection based on Chinese train control system-2[J]. Journal of Transportation Engineering and Information, 2007, 5 (4): 122-126. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-JTGC200704024.htm
|
[11] |
张宇宏, 胡亚海, 彭晓源, 等. 基于HLA的防空导弹武器系统仿真平台研究[J]. 北京航空航天大学学报, 2003, 29 (1): 1-4. https://www.cnki.com.cn/Article/CJFDTOTAL-BJHK200301000.htm
ZHANG Yu-hong, HU Ya-hai, PENG Xiao-yuan, et al. Simulation platform based on HLA for air defense missile weapon system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29 (1): 1-4. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-BJHK200301000.htm
|
[12] |
黄健, 冯润明, 黄柯棣. HLA联邦运行管理的分析与设计[J]. 系统工程与电子技术, 2000, 22 (5): 83-86. https://www.cnki.com.cn/Article/CJFDTOTAL-XTYD200005026.htm
HUANG Jian, FENG Run-ming, HUANG Ke-di. Analysis and design on the runtime management of HLA federation[J]. Systems Engineering and Electronics, 2000, 22 (5): 83-86. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-XTYD200005026.htm
|
[13] |
宋恒杰, 杨明, 王子才. 基于高级体系结构的联邦集成测试平台的研究[J]. 北京邮电大学学报, 2005, 28 (4): 32-36. https://www.cnki.com.cn/Article/CJFDTOTAL-BJYD200504007.htm
SONG Heng-jie, YANG Ming, WANG Zi-cai. Research on federation integrated test rlatform based on HLA[J]. Journal of Beijing University of Posts and Telecommunications, 2005, 28 (4): 32-36. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-BJYD200504007.htm
|
[14] |
王宏刚, 张一军, 张琦, 等. 基于UML的列车运行调度系统软件模型[J]. 中国铁道科学, 2005, 26 (5): 107-111. https://www.cnki.com.cn/Article/CJFDTOTAL-ZGTK200505024.htm
WANG Hong-gang, ZHANG Yi-jun, ZHANG Qi, et al. UML based software model of train traffic control system[J]. China Railway Science, 2005, 26 (5): 107-111. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-ZGTK200505024.htm
|
[15] |
赵志崑, 盛秋戬, 史忠植. UML活动图描述工作流模型的执行语义[J]. 计算机研究与发展, 2005, 42 (2): 300-307. https://www.cnki.com.cn/Article/CJFDTOTAL-JFYZ200502017.htm
ZHAO Zhi-kun, SHENG Qiu-jian, SHI Zhong-zhi. An execution semantics of UML activity view for workflow modeling[J]. Journal of Computer Research and Development, 2005, 42 (2): 300-307. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-JFYZ200502017.htm
|
[16] |
刘金涛, 唐涛, 徐天华, 等. 基于UML的CTCS-3级列控系统需求规范形式化验证方法[J]. 中国铁道科学, 2011, 32 (3): 93-99. https://www.cnki.com.cn/Article/CJFDTOTAL-ZGTK201103019.htm
LIU Jin-tao, TANG Tao, XU Tian-hua, et al. Formal verification of CTCS-3system requirements specification based UML model[J]. China Railway Science, 2011, 32 (3): 93-99. (in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-ZGTK201103019.htm
|