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

• 作者: 刘铭 姚爱红 张国印 门朝光
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 列车通信网络 高级验证方法学 层次化验证模型 断言 FPGA
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 68-74
• 分类号: TP302|U285.2
• 字数: 5543字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2012.03.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张国印	哈尔滨工程大学计算机科学与技术学院	162	1407	18.0	28.0
2	姚爱红	哈尔滨工程大学计算机科学与技术学院	25	173	9.0	11.0
3	刘铭	哈尔滨工程大学计算机科学与技术学院	19	155	8.0	12.0
5	门朝光	哈尔滨工程大学计算机科学与技术学院	52	319	11.0	15.0