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

摘要：

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

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

所属期刊栏目：34

分类号：TP302;U285.2(计算技术、计算机技术)

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

在线出版日期：2012-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：68-74