飞控计算机是飞机的核心部件,本论文提出了一个高可靠性飞控计算机架构设计方案,并搭建了能在设计初期对架构设计方案进行验证分析的虚拟化验证平台。该平台能在飞控计算机样机制作之前对系统功能以及可靠性进行验证分析。首先,本论文根据现有飞控计算机架构的特点,以高可靠性为要求通过数学建模和理论推导的方式确定了飞控计算机余度数目,完成了系统余度管理方式、交叉数据传输方式以及同步方式的设计。然后,使用全系统仿真模拟器根据系统的架构设计方案完成飞控计算机系统虚拟化模型的搭建。在仿真建模时使用模拟器所提供的加速器功能,以并行,多线程的方式来提高飞控计算机系统模型的实时性,确保全系统仿真模型与真实物理系统具有一致的运行速率。其次,在飞控计算机虚拟化模型的基础上,根据各个功能单元模块的特点整理系统故障的方式,完成系统故障注入功能模块的添加。使用QT软件完成了故障注入可靠性分析软件的编写,以网络方式实现飞控计算机虚拟化模型和故障注入可靠性分析软件之间的通信连接。最后,基于飞控计算机虚拟化模型以及故障注入可靠性分析软件完成了虚拟化验证平台的搭建。验证平台完成了对系统所有功能的验证,并且以故障注入的方式完成了对系统可靠性以及各个功能模块重要度的分析。从定性与定量两方面得到了系统的可靠性描述。虚拟化验证平台为飞控计算机架构设计过程中系统的可靠性分析提供了一种崭新的方法。该平台不仅实现了对设计中系统的可靠性进行分析而且实现了对设计方案的反馈,避免了传统开发过程中由设计错误所带来的严重代价,为研究人员的开发过程提供了一种有效的工具。