基于配置的高安全性机载计算机自检测方法

针对机载嵌入式计算机系统自检测容易造成系统运行不稳定等问题,提出了基于故障配置的自检测设计方法,通过离线配置的方式对系统运行各阶段的故障检测内容、编码、故障记录及响应模式进行静态配置.检测软件根据配置信息自动开展系统自检测,满足了机载计算机自检测的低延迟、高可靠、快速配置等需求.通过配置信息对检测时长进行的可控调节,消除了分区及任务超时造成系统运行的不稳定因素.相比于传统的自检测方法,具有配置灵活、与应用软件无关等优点.     

面向机载应用的领域专用加速器研究

机载环境下数据处理规模的剧增以及人机混合智能的应用使得传统的以CPU 为核心计算单元的架构 已不能满足计算需求。在满足延时、精度等指标的情况下,选用高能效的处理器或处理器组合来快速准确地处 理这些数据成为机载计算领域面临的重要问题。按照常规处理器、领域专用加速器两大类型对各自主要代表性 处理器的架构特点进行了分析和总结,得出了各类处理器在机载情况下的主要适用场景和应用情况。根据领域 专用的设计思想开发了面向数据关联应用的专用加速器,对数据关联算法中的统计距离计算和分簇处理这两个 计算瓶颈进行了定制化的加速设计,并在基于FPGA 的平台上进行了测试验证,结果表明,加速器对于统计距 离计算的加速效果约为FT2000/4 单核性能的10 倍,对于分簇处理的加速效果约为FT2000/4 单核性能的3 倍, 整体运算速度相比FT2000/4 处理器的单核提升了5 倍。     

航空电子系统核心处理平台架构发展研究

历数航电核心处理平台架构当前面临的问题,总结演进历史,针对新式场景需求,同时结合领域技 术发展趋势,梳理相关架构标准规范,论述了未来航电架构发展的关键特征,提出了支撑新一代航电系统核心 处理平台架构的关键技术,为其后续发展方向与实施计划提供指导思路。     

PCIE 总线访问超时问题的分析与研究

PCIE 访问超时问题是PCIE 架构产品的常见问题，会导致处理器进入异常状态，软件任务挂起， 功能失效。本文从问题机理分析，给出了行之有效的解决方案，并对解决方案进行了对比分析，可有效提升 PCIE 架构应用的可靠性。     

基于重要性抽样的时间触发调度表生成方法

时间触发以太网(TTE)是分布式综合模块化航空电子(DIMA)系统互连中的骨干网络，需要生成无冲突的时间触发(TT)流量调度表。形式化SMT求解可以抽象地表述多种调度约束；但TT流量间，以及TT流量与分区调度之间存在作业链依赖关系，较复杂的约束会降低求解器的效率。将重要性抽样(IS)方法应用于TT调度表的启发式求解，通过统计“尽可能快”(ASAP)求解的尝试偏移量的经验分布，扭转该变量的抽样分布进行迭代寻优；并针对调度的可行性及作业链的及时性，将IS求解分为2个阶段进行。案例研究表明：第1阶段的IS会演化得出易于保证严格周期调度或抖动较小的尝试偏移量分布，第2阶段IS则会进一步根据作业链的最坏总延迟最小准则进行迭代优化，并且对于分区调度与TT流量调度存在或不存在同步关系的场景都具有适用性。     

40G以太网在航电系统中的应用初探

随着飞机整体性能的提升，航电系统的发展日新月异，对总线网络提出了越来越高的要求。基于远端内存直接访问技术传输机制的以太网以其高带宽、低延时以及生态开放性的特点，在航电系统总线中逐渐得到推广。本文介绍了航电总线网络的发展，对典型的航电总线进行了对比分析，开展了10G/40GE交换工程样机的研制和测试工作，为下一代航电系统总线网络的选型提供了参考。     

基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂，飞机对机载计算机的计算力和功耗比要求不断提升，这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用，随之而来的是运行其上的软件复杂度急剧上升，面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题，而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的，影响最大的是在机载嵌入式实时操作系统环境下的驱动软件，因此需要充分考虑多核带来的各方面影响，尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点，提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法，并基于该方法设计了FC 总线驱动和MBI 总线驱动，项目应用结果表明，设计的驱动程序在多核处理器平台上数据传输正确，验证了方法的正确性和有效性。     

千兆三余度AFDX 帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网（AFDX）网络的传输速率和余度设计可靠性，在AFDX 网络标准的基础上（ARINC 664 p7），建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模， 而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧 管理机制进行形式化验证，验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明，千兆三余度 AFDX 网络帧传输过程中不存在死锁。此外，针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备 份的丢失的现象，提出在接收端设置一个队列，记录那些比连续帧更晚到达的冗余备份的帧序号，从而减少不 必要的丢帧，提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。     

航空电子领域虚拟化技术应用研究

随着航空电子系统承载的应用日趋复杂，飞机对机载设备的计算力和功耗比要求不断提升，这也推 动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备中的深入应用，随之而来的是运行的软 件复杂度急剧上升。随着商用领域嵌入式虚拟化的出现，如何将该技术更有效的应用到航空电子领域，成为必 须要研究的课题。本文结合航空电子本身的特点，概述航空电子多核处理器平台上嵌入式虚拟化的特征及应用 思路，为航空电子领域虚拟化的技术研究提供参考。