【摘 要】
:
AFDX网络作为现代航空电子系统网络的重要体系结构,AFDX网络确定性评估的准确性是保障整个航空电子系统安全性的关键,发达国家使用AFDX的机型都必须采用数学方法来证明网络的
论文部分内容阅读
AFDX网络作为现代航空电子系统网络的重要体系结构,AFDX网络确定性评估的准确性是保障整个航空电子系统安全性的关键,发达国家使用AFDX的机型都必须采用数学方法来证明网络的确定性性能需求是否得到了保证。目前主要的确定性性能分析方法有轨迹法、模型检测和网络演算,相对于前两种方法网络演算能够利用简单的证明提供确切的边界,这对于航空电子系统的适航认证尤其重要,但是由于航电网络的流量特性存在诸多随机影响因素,因此现有的网络演算得出时延抖动的上界普遍偏大,造成航电网络确定性需求虽然得到满足,但是资源配置和分配不合理,浪费很大。为了获得更精确的边界值,需要对传统的网络演算算法进行改进,以提高资源配置的合理性,从而提高飞机系统整体性能。针对上述问题,本文完成了以下主要工作:首先对AFDX进行了分析和研究,根据AFDX网络传输过程和特征,设计了网络时延模型。其次,针对航空电子系统对网络实时性、确定性的需求,设计了基于多链路分组技术的网络演算算法,该算法评估获得更为紧致的上界,可以为适航认证提供证据,同时获得不同信息流端到端延时的分布,为改善AFDX网络系统性能提供了更准确的依据。最后,基于EMF设计并实现了一个航电系统网络确定性分析插件,并集成到了IMA资源配置工具IMACT中,使得IMACT具有了对AFDX网络系统进行确定性分析的能力。
其他文献
软件产品线工程通过管理软件产品的可变性和共性特征,提高软件开发效率,节约开发成本。模型检测是一种自动形式化验证技术。随着软件产品线在安全关键领域的广泛应用,对软件
进程代数与时序逻辑是并发理论中应用最为广泛的两类规范系统,其中进程代数支持组合式的规范,而时序逻辑便于描述与验证系统的抽象性质。近来,Gerald Luttgen等人将二者进行
计算机及网络技术的迅速发展,给人们的现代生活带来了方便、快捷的新鲜享受。人类开始进入信息时代、电子商务时代。我们的生活越来越数字化,无纸社会近在眼前。互联网改变了
本体作为一种能在语义和知识层次上描述信息和数据的概念模型,在智能信息检索、知识的获取、表示、分析和应用等方面发挥着至关重要的作用。然而由于本体构建工具的多样性、
传统移动业务接入方式是通过业务引擎接口协议直接接入通信网元的,但是电信技术和能力被SP所使用并不是一件容易的事情,Parlay X开放业务体系结构为抽象的电信业务提供了一套
本文在研究IEEE802.1X协议的基础上,通过在OPNET仿真软件中构造带有认证功能的节点模型,根据其仿真结果来测试无线网络中认证过程对网络性能的影响。文中首先简要介绍了无线网
移动通信发展到3G时代,数据业务的带宽有了很大的增长,这为数据业务的发展提供了一个很好的基础。提供多样化、有吸引力的数据业务成为发展3G的当务之急。传统移动业务接入方
过程层析成像技术是从医学CT技术发展起来的,以多相流为主要研究对象,并对多项流中的过程参数在线实时检测,进行多相流参数检测可获得多相流体二维或三维的时空局部的、微观
研究表明高等真核生物中普遍存在选择性剪切现象,选择性剪接的异常会引起转录组异常而导致某些疾病的发生,如帕金森病、早老性痴呆、强直性肌营养不良等。因此,转录组表达的
两相流体具有复杂性的流动特性,流型的准确识别是两相流参数准确测量的基础,流型的在线智能识别是两相流研究的重点内容之一。电阻层析成像(ERT)技术是基于电阻传感机理的过