SkyEye在航电系统冗余设计中的应用前景
现代航电系统也普遍采用了冗余设计的方案，其基本原理为：两个分离且独立的分系统同时发生故障的可能性远低于一个单独的分系统。
冗余设计无疑提高了航电设备的可靠性，但也提升了设计复杂度。航电设备冗余设计的主要难点在于：航电设备数量增加导致设备间通信方式更为多样、冷热备份设备的切换逻辑更为复杂。某些硬件故障难以在航电软件测试过程中被触发，多设备之间的通信也可能受到硬件设计缺陷的影响，导致航电设备测试难度大幅增加。
SkyEye天目全数字实时仿真软件（点击查看详情）是基于可视化建模的硬件行为级仿真平台。在面对上述挑战时，可以辅助航电开发和测试人员快速攻克以上难点，主要体现在以下三个方面：
快速搭建多个虚拟冗余设备模型
航电设备中同时运行着多个相同设备。以空客A320（全称为空中客车A320系列飞机）为例，A320是欧洲空中客车公司研制生产的单通道双发中短程150座级客机，也是第一款使用数字电传操纵飞行控制系统的商用飞机。A320中同时存在2个ELEC/FAC/ELAC/FCDC/FMGC计算机，3个SEC计算机，可见下图：
▲系统总览（右滑查看翻译）
冗余设备使相同的计算机之间互为备份，相互通信或与上层设备通信，从而实现故障检测与逻辑切换。在冗余设备软件开发的过程中，开发人员需要给多个设备加载不同或相同的镜像，手动添加调试往往耗费时间较长。使用SkyEye可快速搭建虚拟的冗余设备仿真模型，快速实现2 - n个备份设备，还可加载不同的镜像，缩短软件开发时间，提高开发效率。
高效便利搭建数据链路模型
航电系统冗余设备中通常会使用多种数据总线来进行设备间通信，例如MIL-STD-1553B总线协议（飞机内部时分制指令/响应式多路传输数据总线），ARINC429数据总线（一种单点到多点的单向广播传输数据总线）、CAN（Control Area Network，控制器局域网络）总线、TTP（Time Triggered Protocol，时间触发协议），FC（Fibre Channel，光纤通道）网络架构等。
▲ARINC429总线通讯卡
▲不同数据总线负责不同的设备端信息传输
在多总线同时运行的航电设备中，冗余设备可能要通过不同的数据总线来传递数据。适配数据总线和冗余设备之间的通信方式通常会花费较高的时间成本和硬件设备成本。SkyEye可提供多种数据总线，方便开发人员快速搭建一套完整的航电设备数据链路模型，有助于产品预研、开发、测试等各个阶段的工作落实。针对如通信协议开发等纯软件逻辑领域，仅通过使用SkyEye便可完成大部分工作。
高安全高可靠的有效性测试
冗余系统是为防止设备失效而进行的多余度设计，其根本目的是保障航电设备的安全性与可靠性。但是冗余系统本身的有效性却很难得到测试和保障：开发人员需要在软件设计中考虑到所有设备的失效逻辑。为了能够完全模拟外界数据并进行完备的测试，测试人员需要设计出复杂的测试系统以保证有效性。
▲SkyEye系统测试特性
在冗余设备测试过程中，SkyEye可采用数据激励/故障注入方法，模拟出任何设备的失效情况，有助于提前暴露软件逻辑缺陷，辅助航电系统设备开发和测试。此外，SkyEye属于纯逻辑软件设计，可以帮助规避定位设备之间连接不稳定、数据芯片逻辑错误等硬件设计问题，辅助定位硬件缺陷。
为践行数字中国战略，航空工业正在数字化的道路上高速发展，全面引入包括数字化、网络化和智能化在内的更先进的设计和制造手段，是打造新型航空工业体系，加速推动航空产业发展提质增效的有效手段。SkyEye将努力为航空工业领域数字化添砖加瓦，助力中国航电设备制造业腾飞！
