基于TTE的改进加权轮询调度算法

在时间触发以太网(TTE)中,TT消息优先级最高,RC消息只能在TT消息调度的离散时间片内传输,因此,TT消息离线调度表的设计会对RC消息调度产生一定影响。针对这一问题,提出了基于最优时间片的改进加权轮询(MWRR)调度算法。首先,通过TT消息约束条件限制获得TT消息离线调度表,进而得到保证RC消息较大资源利用率的时间片信息;其次,在离散时间片对不同类型RC消息进行调度,并运用网络演算方法对其最坏端到端延迟进行分析;最后,通过实验仿真证实了本文算法不仅具有较低的复杂度和较好的公平性,保证了实际应用中算法的可行性,而且在时延性方面均优于先到先得(FIFO)、优先级(PQ)和加权轮询(WRR)调度算法。     

基于强化学习的时间触发通信调度方法

未来航空电子系统中将会更广泛地选择基于时间触发的通信机制进行信息传输,以保证信息交互的确定性。如何合理地进行时间触发通信调度设计是时间触发应用于航空电子互连系统的关键。针对时间触发调度的周期性任务,提出了一种基于强化学习的周期调度时刻表生成方法。首先,将流量调度任务转换为树搜索问题,使之具有强化学习所需要的马尔可夫特性;随后,利用基于神经网络的强化学习算法对调度表进行探索,不断缩短延迟时间以优化调度表,且在训练完成后,可以直接使用到消息分布相近的任务中。与使用Yices等可满足模理论（SMT）形式化求解时间触发调度表方法相比,所提方法不会出现无法判定的问题,能够保证时间触发调度设计结果的正确性和优化性。对于包含1 000条消息的大型网络,所提方法的计算速度为SMT方法的数十倍以上,并且调度生成消息的端到端延迟在SMT方法的1%以下,大大提高了消息传输的及时性。      

面向风险均衡的AFDX虚拟链路路径寻优算法

为确保综合模块化航空电子系统的安全性需求能够在全双工交换式以太网中得到一致性保证,提出了一种面向风险均衡的路径规化（RBPP）算法,以满足各航电功能间的安全隔离要求,同时分散风险,避免局部物理链路的风险集中,提高系统安全性。以民机失效状态类别划分为基础,建立了航电功能、分区、端系统、虚拟链路（VL）风险模型;RBPP以均衡各物理链路风险为目标,同时综合考虑网络实时性、链路负载能力等因素,采用粒子群算法进行优化目标求解。利用仿真优化方法对RBPP算法进行了实现,在典型工业航空电子全双工交换式以太网（AFDX）网络架构及A380AFDX网络架构下进行仿真分析,结果显示多播VL的简化处理的会使网络风险增加;在1 000条VL配置下与负载均衡（LB）算法和最短路径（SP）算法进行了分析对比,结果显示RBPP算法在满足各航电功能间的隔离需求的同时,链路风险均衡能力在两种网络拓扑下分别比负载均衡算法提高了10.7%和23.4%,比最短路径算法分别提高了35.4%和47.9%。     

基于网络演算的多窗口分区可调度性分析

ARINC653-2规范定义综合模块化航空电子（IMA）实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间（WCRT）。为此,基于网络演算模型对服务能力的封装,定义处理平台服务曲线为平台所能提供计算资源的服务函数,定义分区任务到达曲线为分区任务对平台计算资源的需求函数。分析处理平台的服务曲线和分区任务的到达曲线,计算得到任务的最大响应时间,继而进行可调度性判断,由此从服务能力和服务需求角度诠释分区系统任务最大响应时间分析的物理意义。设计了主时间框架下分区包含多个激活窗口的验证案例,结果表明：本方法可以得到与传统WCRT分析同等的精度,并且能够准确计算分区包含多激活窗口条件下的任务最大响应时间,实现了网络演算视角下分区系统可调度性的解释。     

航空电子系统机载网络实时性能评价技术

机载网络是航空电子系统中实现信息实时可靠传输的手段，其发展程度和能力决定了航空电子系统的总体构型及信息综合效能。不同于一般计算机网络，机载网络更加强调组网的实时性，需要采用苛刻高效的方法实现其实时性能的分析与评价。以交换式网络中消息传输过程为分析对象，研究了消息端到端传输延迟模型，给出了实时性能评价方法在评估悲观性和计算紧性的对比指标；对解析分析、行为仿真和模型检查等典型机载网络实时性评价关键技术进行了梳理和分析，给出了各种实时性能评价方法在计算紧性和效率等方面的差异和实现途径。以简单网络和工业规模网络为研究案例对上述方法进行了验证说明，并对比分析了各种方法在计算紧性的差异，探讨了航空电子系统机载网络实时性能评价技术的发展趋势。      

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

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

分布式IMA的网络分区方法及其实时性能分析

 针对分布式综合模块化航空电子(IMA)体系结构,在时间、空间分区以及带宽分区的基础上,提出了网络分区的概念,并建立了相应的网络模型、消息模型、流量模型及调度模型。利用网络演算方法,推导了航空电子混合消息集在网络分区下端到端(ETE)延迟的计算公式;搭建典型网络,通过理论计算对比了网络分区与带宽分区的实时性能。计算结果表明:网络分区下两条硬实时数据流的延迟较带宽分区分别降低了33.5%和74.2%;而弱硬实时与软实时数据流的延迟增加约30%。最后通过OPNET仿真对理论分析所得结果进行了验证,证明网络分区方法符合分布式IMA的分布式架构要求,并满足了系统混合关键性的需求。     

基于效能的先进战斗机航电系统动态重构方法

为满足未来先进战斗机全战斗过程的对敌压制能力需求，分析了作战任务与航电系统支持能力间的关系，建立了"作战任务-航电能力-资源需求"间的关系矩阵和航电系统效能模型；以最大化全飞行阶段航电功能整体效能和飞行安全为目标设计了针对不同作战场景的航电系统动态重构策略及重构流程；通过数值分析，对比了动态重构航电系统与静态配置航电系统在不同作战区边界的效能，表明动态重构特性能有效提高战斗机各阶段的作战效能，提高有限资源条件下的阶段优势。     

体系结构驱动的AFDX网络内容数据库研究

采用SAE AADL语言,建立AFDX网络互连综合化处理任务和通信任务的模型,对通信任务的数据内容、格式、性质进行定义;按照体系结构模型驱动的方式,建立内容管理数据库,完成AFDX网络中数据接口格式与内容的描述与建模,并进行数据库管理下的自动配置与部署。     

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

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