AVB网络流量整形帧模型端到端延迟计算

音视频桥接技术(AVB)以传统以太网为基础,通过基于信用量的整形(CBS)算法进行流量整形,提供了音视频流确定性传输的基础保障。在CBS流模型的延迟分析计算基础上,考虑了AVB网络中数据帧实际排队和调度的离散特性,提出了一种改进的CBS帧模型来计算音视频流量的排队传输延迟,并推导了帧模型下最坏延迟计算公式。采用典型的车载网络应用场景对2种模型进行演算验证,结果表明:同流模型相比,CBS帧模型中得到的端到端延迟更小,显示出更好的紧性评估效果,同时这种紧性评估在针对低优先级流量的延迟分析时,差异会更加显著。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

时间触发AFDX网络的设计和实时性分析

时间触发机制可以近一步提高航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)的确定性,保障时间关键消息具有完全的时间确定性.将时间触发机制引入了AFDX网络,设计了时间触发ADFX网络(TTAFDX,Time-Triggered AFDX)的体系结构,包括协议栈、虚拟链路类型、端系统调度、交换机调度、透明通信机制和降级通信机制,并且设计了端系统和交换机的时刻调度算法.对TTAFDX网络从理论和仿真实验两方面进行了分析,验证了TTAFDX网络对时间关键消息的完全时间确定性的保障.     

基于一次性突发原则的TTE网络实时性能优化

确定性通信的发展,促进了时间触发概念的引入。时间触发以太网（TTE）通过提供3种流量类别来支持混合安全性的实时应用:时间触发（TT）流量,具有完全的时间确定性;速率约束（RC）流量,具有确界的端到端延迟;尽力传（BE）流量。如何实现时间触发机制下RC流量实时性能的紧性分析,仍然是决定TTE网络顺利应用的开放式问题。在FIFO服务策略的假设下,将“一次性突发原则”的分析方法引入到TTE网络中,以观察该原则在时间触发网络性能分析中的影响。不同于航空电子全双工以太网（AFDX）,具有更高优先级的TT流量会对RC流量的延迟分析产生关键影响,从而导致一次性突发分析的复杂性。通过建立聚合TT流量在及时阻断模式下的到达曲线模型,从而获得单条RC流量端到端的服务曲线模型,基于此实现了RC流量的最坏情况端到端延迟（WCD）评估,进一步完成了一次性突发原则下的分析对比。相较于已有工作,一次性突发原则可以得到RC流量更精确的最坏端到端延迟上界评估结果,有助于改善TTE网络性能评价紧性。通过A380拓扑组网案例的对比分析,相比于传统方法,所提方法RC流量平均延迟减少了12.05%。      

基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.     

基于传输延迟的时间量化技术研究

时间量化技术是很多测试设备的一个基础,目前对其分辨力的要求已达ps量级。基于CMOS门延迟的时间量化技术实现起来比较复杂,继续采用该技术提高分辨力将会很困难。研究利用信号在介质中传输时会出现延迟这种现象来进行时间量化的可行性及其特点。首先分析了采用该技术进行时间量化时理论上的分辨力和误差,及各种影响稳定度的量,然后对导线延迟的分辨力、准确度、线性度做了验证实验,并对温度、信号衰减和色散等量对延迟稳定度的影响做了实验研究。分析和实验表明,基于传输延迟的时间量化技术是一种新的可以获得高分辨力的时间量化技术。指出了该方法的一些特点及其应用,包括用来测量高频频率。     

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

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

基于块平均预处理的GNSS-R延迟映射处理方法

为了提高导航卫星反射信号信噪比,提出了一种基于块平均预处理(BAP)的反射信号处理方法,该方法首先以伪码周期为块尺寸对接收信号进行分块,并对各分块进行叠加、平均,然后对平均后的信号进行相关处理.在此基础上,理论分析了块平均预处理对导航反射信号的影响,推导了镜面反射点反射信号处理增益的数学表达式,以及相关处理后得到的一维相关功率,对比分析了该方法与传统处理方法的计算复杂度,分析表明该方法对反射信号具有空域滤波效果,提高了镜面反射点反射信号的信噪比且有效降低了计算复杂度.最后,基于块平均预处理的软件接收机被开发,并对课题组实采的岸基GPS数据进行了处理,结果表明:与未块平均预处理的传统方法相比,在块平均预处理时间为2、5、10、15以及20ms时,该方法所得相关功率的峰值信噪比分别提高了约3.5、6.7、10.2、10.6和10.4dB,且在块平均预处理时间为10ms时,处理等长数据的时间缩短了近2.2倍.      

基于网络流仿真的潜通路分析方法

针对线索表法在分析潜通路问题过程中约束条件过多的问题,在人工神经网络分析法的基础上应用网络流仿真进行潜通路分析.根据电路元件的电气特性以及人工神经网络的特点,建立了元件的定性仿真模型,确定电路网络的构成方式.通过网络流仿真模拟电流在电路系统中的扩散过程,预测电路中负载的响应.通过对比电路网络中负载的设计响应以及通过分析预测得到的负载响应,就可以判断出电路网络是否存在潜通路问题,并且找到发生潜通路问题的原因.该方法可以正确预测电路网络中的负载响应,克服了线索表法的缺陷,减少对分析已知条件的要求以及人为因素对分析结果的影响.