改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

面向无人机蜂群的航电云多层任务调度模型

在航空作战体系中，基于航电云的无人机（UAV）蜂群作战是提高未来无人机综合作战能力的一种新模式。针对无人机蜂群作战的航电云架构，如何将云端作战任务派发到无人机且保证作战任务完成时间是其中关键。在无人机蜂群分层分簇网络结构和模块级资源虚拟化的基础上，对传统单层平台级任务调度模型进行改进，提出了一种细化到模块级的多层任务调度模型，将作战任务从云端逐层调度到无人机功能模块上执行。利用OMNeT++对无人机蜂群多层任务调度模型以及传统的单层任务调度模型分别进行仿真，云端以攻击使命组为例构建使命组集进行分配，并对任务吞吐量、消息平均端到端延时和任务完成时间进行性能对比。仿真结果表明：与平台级单层任务调度相比，在执行任务方面，模块级多层任务调度模型将单个任务平均完成时间降低了46.2%，将使命组完成时间降低了52.1%，在保证任务吞吐量的基础上具有对复杂任务更稳定的调度能力；在网络性能方面，模块级多层任务调度模型消息端到端延时更低，延时分布更集中，提高了网络消息传输的实时性。     

软件定义时间触发网络的调度算法优化

软件定义时间触发以太网（TTE）作为优化航空电子系统中消息调度的一种新模式，其动态在线调度算法必须尽力保证任何情况下所有消息的传输确定性。针对时间触发（TT）消息调度间隔小于消息帧长（小时隙）时，速率约束RC消息延迟增大、传输确定性降低的问题，对TT消息调度算法进行改进。首先，构建了TTE的系统模型，阐明了最小延迟（MID）调度算法和背靠背（B2B）调度算法的机制；然后在其基础上提出了大孔隙（MAV）调度算法，以减少（RC）消息的等待延迟；最后，利用OMNeT++实验分析这3种调度算法的性能。实验结果表明:当无小时隙TT消息时，B2B算法的消息延迟最大、MAV调度算法和MID调度算法的消息延迟接近。当有小时隙TT消息时，MAV调度算法的消息传输确定性更好，相比于MID调度算法，MAV调度算法下RC消息的传输确定性提高了87.3%。      

航空电子云系统架构与网络

在未来作战体系中,航空电子系统需要飞行平台具有跨系统平台的信息共享和协同处理的能力。根据未来日益复杂的航空任务需求,基于云计算资源共享池思想提出了一种跨系统平台高度综合的航空电子系统——"航空电子云",并阐明了其系统架构,重点介绍了航空电子云的网络。在网络物理层,根据航空电子系统物理设备的特点,构建了航空电子云分层分簇的网络架构。在网络逻辑层,引入雾计算和云计算的思想,介绍了基础设施的三层虚拟化结构。航空电子云将资源的共享范围从单系统平台扩充到多系统平台,提升了航空电子系统的体系作战能力。