列车通信网络控制器的综合验证

作     者：刘铭 张国印 姚爱红 门朝光 LIU Ming;ZHANG Guo-yin;YAO Ai-hong;MEN Chao-guang

作者机构：哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 北京空间技术研究试验中心中国空间技术研究院北京100094 

基　　金：国家自然科学基金资助项目(60873138) 

出 版 物：《铁道学报》 (Journal of the China Railway Society)

年 卷 期：2012年第34卷第3期

页      码：68-74页

摘      要：列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。

主 题 词：列车通信网络 高级验证方法学 层次化验证模型 断言 FPGA 

学科分类：08[工学] 0802[工学-机械学] 081201[081201] 082302[082302] 0801[工学-力学类] 0812[工学-测绘类] 0823[工学-农业工程类] 

核心收录：

D　O　I：10.3969/j.issn.1001-8360.2012.03.012

馆 藏 号：203603678...