免费论文：AFDX端体例功夫自效果建立模型与尝试接洽

宇航电子全双工调换式以太网（Avionics Full-Duplex Switched Ethernet，AFDX）是进步的中小型铁鸟的归纳化宇航电子互连搜集，AFDX搜集及时通讯中，须要商量数据因链路抢占和流量控制引导的时延颤动。功夫自效果（Time Automata, TA）是一种鉴于模子的情势化本领，并不妨贯串模子查看（Model Checking）本领举行情势化考证。正文所述的接洽处事沿用功夫自效果对AFDX搜集的端体例（End System，ES）举行建立模型，给出AFDX端体例旗号发送、假造链路组建、多路复用列队等动作的功夫自效果模子，建立模子的并发交互场景，对ES的流量整形、流量及本来时通讯的动作举行模子查看和在线（on-line）尝试。过程接洽和试验，获得如次具备别致性的接洽功效： 运用功夫自效果建立模型和模子查看本领考证端到端传输中“爆发一次性”规则，得出了AFDX搜集流量实用于这一规则的论断； 创造了AFDX端体例和调换节点模子并发交互的场景，该场景不控制于鉴于帧（frame-based）的流量整形，并且囊括须要商量断定量（credit token）数值的鉴于字节（byte-based）的令牌桶（token bucket）流量整形，商量了各别长度帧举行变长功夫处置与相映典型的树立，得出了AFDX流量控制体制对时延颤动感化的试验检查截止，归结并给出了流量控制断定量树立的提防事变。 贯串在线尝试本领在功夫自效果模子查看中的运用，经过将引擎模子中的旗号量与假造以太网卡的启动旗号创造接洽，实行了尝试引擎与AFDX端体例模子的互操纵。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/263094.html