| 列车通信网络控制器的综合验证 |
| |
| 引用本文： | 刘铭,张国印,姚爱红,门朝光.列车通信网络控制器的综合验证[J].铁道学报,2012(3):68-74. |
| |
| 作者姓名： | 刘铭 张国印 姚爱红 门朝光 |
| |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院;北京空间技术研究试验中心中国空间技术研究院 |
| |
| 基金项目： | 国家自然科学基金资助项目(60873138) |
| |
| 摘 要： | 列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。
|
| 关 键 词： | 列车通信网络 高级验证方法学 层次化验证模型 断言 FPGA |
Verification Methodology for Train Communication Network Controller |
| |
| LIU Ming,ZHANG Guo-yin,YAO Ai-hong,MEN Chao-guang.Verification Methodology for Train Communication Network Controller[J].Journal of the China railway Society,2012(3):68-74. |
| |
| Authors: | LIU Ming ZHANG Guo-yin YAO Ai-hong MEN Chao-guang |
| |
| Institution: | 1(1.School of Computer Science and Technology,Harbin Engineering University,Harbin 150001,China; 2.Institute of Manned Space System Engineering,China Academy of Space Technology,Beijing 100094,China) |
| |
| Abstract: | The train communication network demands high-level safety and reliability,so efficient and effective verification of the network controller is one of the key factors to ensure stable operation of the network.The hierarchical verification framework was built on the basis of the advanced verification method.The network-topology level verification framework and error injection mechanism were proposed.The result of verification was analyzed comprehensively and systematically.The experiment results show that the proposed verification method enhances the reusability of environment and greatly improves the efficiency of the traditional methodology. |
| |
| Keywords: | train communication network(TCN) advanced verification methodology hierarchical verification framework assertion FPGA |
| 本文献已被 CNKI 等数据库收录！ |
