论文部分内容阅读
交叉通道数据链路(Cross Channel Data Link,CCDL)是余度计算机之间进行数据交换的重要途径,是保证飞行控制系统正常运转的关键部件。采用IEEE1394b串行总线传输协议,保证了信息传输的可靠性。采用FPGA(现场可编程门阵列)来实现余度计算机间交叉通道数据链的传输设计,其传输速度快且可靠性高。为了检验系统发生故障时余度计算机间性能降级的动态过程和交叉通道数据链路能正常工作,本文对设计的交叉通道数据链路构建可靠性模型,对其功能进行检验。本文分析了IEEE1394协议(包括IEEE1394b),重点介绍了交叉通道数据链路涉及IEEE1394b协议的相关知识。分析了虚拟仿真验证技术和FPGA原型验证技术,并从两种验证方法入手分别搭建了验证环境,最终完成了对该交叉通道数据链路FPGA的充分完备验证,具体完成工作包括以下几个方面:1)分析并研究IEEE1394协议,并基于该协议展开对CCDL的验证工作;2)对本文的验证对象CCDL FPGA的体系结构、功能进行了介绍;3)对虚拟仿真验证和FPGA原型验证技术进行了研究,分别从其概念、技术优势、局限性三个方面进行了详细的分析。并结合以上分析确定采用虚拟仿真验证和FPGA原型验证相结合来完成对该CCDL FPGA的充分完备验证。根据其各自的验证原理分别搭建虚拟仿真验证平台和FPGA原型验证平台,开发相应测试环境和测试用例,对该CCDL进行虚拟仿真和FPGA原型验证,最终实现了在虚拟仿真和FPGA原型验证平台下对CCDL的协议符合性验证、功能验证、性能验证和系统级验证等。通过虚拟仿真验证和FPGA原型验证方法的结合,使设计的CCDL得到了充分完备的验证,验证结果表明该链路系统符合设计要求,能够提高电传飞行控制系统的安全性和可靠性,且各项功能稳定、可靠,具有良好的实时性和工程实用性等特点。