飞控计算机在飞机的可靠性与安全性方面起着决定性的作用,它主要负责完成对飞机传感器数据的处理、飞行姿态的控制以及余度管理等任务。而真实的飞控计算机价格不菲且不易获得,并且不能随时的对机载代码进行调试和修改,这无疑对飞控相关软件的研发和测试带来了极大的不便。针对此问题,本文提出了对某款真实战机上的双余度飞控计算机进行数字化建模,使得飞控计算机配套软件的开发和测试不受真实硬件的制约。本文利用风河公司旗下的Simics建模平台完成对双余度飞控计算机的数字化建模,从而加快飞控系统的设计效率,将其设计成本降到最低。甚至可以在没有真实硬件的情况下由数字模型代替飞控计算机完成相关的数据测试以及与外围调试软件的通信。该数字模型在满足真实硬件全部功能性和实时性需求的同时,还能加载相关驱动、操作系统以及飞控应用软件。本文研究内容包含以下几个方面:(1)通过分析比较几种数字建模平台在仿真效率、兼容性、完备性等方面的差异,提出选取Simics作为本课题建模平台的基本依据。并进一步对Simics中的几种核心机制进行研究与分析。(2)研究了双余度飞控计算机数字模型余度管理中的同步技术、交叉数据链路技术等关键技术,并结合本课题的实际情况,分别设计了同步和交叉数据链路的方案。(3)通过对双余度飞控计算机数字模型整体框架的研究,搭建了双处理器模型、桥模型、存储器模型、离散量接收模型、看门狗模型、Debug1394模型、调试软件接口模型。并将Win IO库中并口传输改为UDP传输方式,完成整个数字模型的搭建。(4)完成对双余度飞控计算机数字模型的测试与验证。先逐一对各个模块进行功能性的单元测试,以验证其功能完备性。之后将数字模型置于飞管系统仿真验证平台中并结合相关调试软件,对整个模型进行集成测试、闭环测试以及性能测试。本论文通过对双余度飞控计算机数字模型的设计与实现,解决了机载代码及飞控软件的开发和调试需要依赖于真实硬件的局限性。降低了设计成本,简化了相关的操作环境。