铁道学报
鐵道學報
철도학보
2012年
3期
68-74
,共7页
刘铭%张国印%姚爱红%门朝光
劉銘%張國印%姚愛紅%門朝光
류명%장국인%요애홍%문조광
列车通信网络%高级验证方法学%层次化验证模型%断言%FPGA
列車通信網絡%高級驗證方法學%層次化驗證模型%斷言%FPGA
열차통신망락%고급험증방법학%층차화험증모형%단언%FPGA
列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一.本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析.实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率.
列車通信網絡對安全性和可靠性提齣更高的要求,如何保證網絡控製器設計的正確性和可靠性成為確保列車安全運行的關鍵因素之一.本文以高級驗證方法學為指導搭建列車網絡控製器的層次化驗證環境,提齣網絡拓撲級驗證模型和錯誤註入機製,併對驗證結果進行深入分析.實驗結果錶明:該驗證方法增彊驗證組件的重用性,瀰補傳統方法的不足,有效提高瞭驗證效率.
열차통신망락대안전성화가고성제출경고적요구,여하보증망락공제기설계적정학성화가고성성위학보열차안전운행적관건인소지일.본문이고급험증방법학위지도탑건열차망락공제기적층차화험증배경,제출망락탁복급험증모형화착오주입궤제,병대험증결과진행심입분석.실험결과표명:해험증방법증강험증조건적중용성,미보전통방법적불족,유효제고료험증효솔.
