航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

饱和时序下防空相控阵雷达动态优先级调度算法

针对防空相控阵雷达负载饱和情况下的时间分配问题,提出一种基于目标威胁密度和截止期的雷达任务动态优先级调度算法。根据目标信息建立非线性目标威胁度模型并设计动态优先级表,然后,利用目标威胁度、任务驻留时间和截止期共同确定任务的综合优先级。在此基础上,提出执行威胁率（TRE）的评估指标,以反映调度算法对重要任务的执行情况。仿真结果表明,在饱和时序下,相比于传统的截止期最早最优先算法,改进算法的搜索性能提高了43%,执行威胁率提高了52%。      

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

基于固定优先级航天器任务分层调度研究

在航天器自主控制结构中, 采用分层结构构建系统, 实现不同分组的软件互不影响执行. 针对固定优先级调度模型, 通过对分区可调度性和分区设计问题进行研究, 仔细考察了任务最大响应时间迭代计算过程, 提出了一种更为精确的求解算法; 在固定优先级任务利用率上限的基础上, 给出了分区任务可设计的判定条件; 通过利用价值函数, 给出了分区参数解析模型, 在此基础上, 提出了一种局部最优的设计方法来实现整个处理器的分区设计, 通过具体实例对所提出的分区分析和设计方法进行了验证.      

自主测试优先级软硬协同调度策略

自主测试是构建航天器自治体系的关键技术之一.针对实时操作系统自主测试优先级调度问题,提出一种软硬协同混合调度策略.通过分析复杂工程背景下影响自主测试任务重要性的多种因素,提出重要性综合评价指标实现优先级静态分配,利用自组织特征映射网实现测试任务集聚类.在此基础上,建立仲裁代理机制进行优先级再分配,以可信性为调度判据实现基于现场可编程门阵列(FPGA,Field Programmable Gate Array)的优先级动态调度.实验表明该策略对自治系统合理分配优先级资源、高效调度测试任务具有参考意义.      

实时单核和谐周期分区系统时间窗口分配算法

目前航空电子系统正快速朝着综合模块化方向发展。为了防止同一计算平台上的应用相互干扰,IMA软件普遍采用分区机制。由于时间分区的引入,传统的实时周期任务可调度性分析已经不再适用。为此研究了一类特殊的分区系统——和谐周期分区系统在单处理器下的可调度性。给出了和谐周期分区系统的形式化定义以及系统中任务可调度性的充分必要条件,并基于此提出了一种分区时间窗口分配算法。该算法为每个分区在主时间帧内分配多个时间窗口,并且保证只要和谐周期分区系统在理论上可调度,该算法就一定能生成一个可行的调度表,使得当全局调度器按照此调度表周期地调度分区时,各个分区中的任务不会超时。本文提出的算法可以运用在实际的工程中。      

光纤通道网络实时性能分析

针对航空电子光纤通道网络的实时性问题,建立了光纤通道的网络演算模型,分析了在交换机不同服务策略下系统各类数据流的延迟上界情况,给出了计算在交换机不同服务策略下各类数据流延迟上限的数学方法.分析结果表明与先到先服务(FCFS,First Come First Service)服务策略相比,非抢占式静态优先级(NPP,Non-Preemptive Priority)服务策略可以降低高优先级数据的延迟上界,能更好地满足高优先级数据的强实时性要求.通过与仿真结果比较可知,仿真结果与此数学方法的分析结果一致,此方法适于分析系统中各类消息的延迟上界情况,可用于光纤通道网络设计和性能评价.      

一种面向动态需求的多优先级天文观测卫星任务重规划方法

针对多优先级天文观测卫星任务动态规划问题，分析了高优先级任务动态插入以及未知事件中断原任务规划方案执行的情况，研究了原任务规划方案相应的动态规划问题.在关于SVOM （Space multi-band Variable Object Monitor）卫星任务规划系统的研究中，针对单星机遇目标任务重规划问题，提出一种基于滚动优化策略的任务重规划求解方案.在每个滚动周期内，优先安排高优先级动态到达任务，回滚处理原方案中受未知事件和高优先级机遇目标影响的任务，或者删除原方案中受影响的任务.目标函数综合考虑了全年卫星任务规划总时长和机遇目标的规划总时长.仿真验证结果表明，本文设计方法对于快速响应高优先级机遇目标以及提高服务质量具有一定意义.      

基于时间触发的1553B总线实时调度设计

为了优化1553B总线传输性能,降低总线消息传输的等待时间,提高总线带宽利用率和紧急消息响应的实时性,对1553B总线调度方法进行了研究,将周期性调度和抢占式调度策略相结合,设计了一种基于时间触发的1553B总线实时调度方法。在时间触发的基准下按优先级对总线消息进行集中调度,总线帧在总线上传输的时间内,处理器无需等待,可以继续处理其他任务。利用总线数据区分区的特性,设计了紧急消息打断普通总线消息传输的抢占式调度策略,避免了非重要数据较长时间占用总线通信信道,使得紧急消息能够快速响应。试验结果表明,该调度方法实现了总线消息尽最大能力传输,不仅能够较大幅度地提高1553B总线传输效率和带宽利用率,而且紧急消息的响应时间稳定在2ms以内,为紧急消息的实时响应提供了保证。     

结合短帧优先的权重轮询AFDX端系统发送策略

提出一种新型的端系统虚链路调度（VL）策略,该策略在短帧优先基础上结合权重轮询（WRR）进行调度,既确保了重要短帧的优先级又可以平衡其他不同优先级信号的延迟上限。应用网络演算理论推导了基于该新型调度策略的端系统不同虚链路的延迟上界,研究了最大延迟上界与不同权重比及其帧长之间的关系,并建立了基于OPNET的航空电子全双工交换式以太网（AFDX）网络模型,仿真分析新型调度策略与短帧优先、带权重轮询调度算法下端系统数据的发送延迟。结果表明,该新型调度策略有效可行,降低了短帧虚链路的最大延迟时间,提高了长帧数据中较重要任务数据的处理带宽,适用于具有较多重要短帧并具有不同优先级数据的机载系统网络。      

ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

红外低轨星座突发任务多重策略调度方法

面向红外低轨星座的突发任务规划与资源调度问题，结合红外低轨星座的空间与时间分布特性，提出一种基于多重策略的红外低轨星座任务应急调度方法。所提方法结合红外低轨星座的设计特点，从星座全球分布的均匀性、结构的对称性及星座内卫星运动的周期性分析作为输入，提出一种以地理分区为长期值守分组策略与事件触发下基于相对运动分析的动态快速分组策略相结合的多重策略。在所提策略指导下完成任务分组，开展工作窗口调度。经仿真分析可得:所提策略可有效应对不同区域的目标触发，并实时完成分组及工作窗口规划调度，较好解决了任务突发情况下的系统响应，由于采用优先分组的策略，降低了全局优化的复杂度，具有创新性，且具备较好的应用价值。      

最小数据丢失量的地月中继卫星任务调度研究

月球背面的探测器必须依靠地月中继卫星进行数据传输与通信。地月中继任务包括实时性任务和延迟容忍类任务，如数传任务。当探测器等待传输的数据量超出用户存储容量时，延迟容忍类任务会由于探测器本地存储资源不足和地月中继卫星天线资源受限而无法完成，导致任务数据丢失，所以需要设计一种合理的地月中继任务调度策略，提高地月中继卫星的资源利用率，减少数据的丢失。对地月中继卫星任务调度进行了研究，在分析地月中继卫星数传任务的特点及用户的存储限制的基础上，以最小化数据丢失量为优化目标，建立了地月中继卫星任务调度模型，并设计了一种基于离散烟花算法（DFWA）的地月中继卫星任务调度算法。仿真数据分析表明，基于离散烟花算法的地月中继卫星任务调度算法在求解结果上优于遗传算法，是一种合理、有效的调度方法。