Avionics full duplex switched ethernet(AFDX) is a switched interconnection technology developed to provide reliable data exchange with strong data transmission time guarantees in internal communication of the spacecraft or aircraft.Virtual link(VL) is an important concept of AFDX to meet quality of service(QoS) requirements in terms of end-to-end message deadlines.A VL admission control algorithm in AFDX network under hard real-time(HRT) constraints is studied.Based on the scheduling prin-ciple of AFDX protocol,a packet scheduling scheme under HRT constraints is proposed,and after that an efficient VL admission control algorithm is presented.Analytical proof that the algorithm can effectively determine whether VL should be admitted is given.Finally simulative examples are presented to promote the conclusion.
为了将故障预测与健康管理(prognostics and health management,PHM)技术应用到工程实践中,提出了基于可用度模型的PHM方法。首先通过广义随机Petri网(generalized stochastic Petri nets,GSPN)和连续马尔科夫链(continuous time Markov chain,CTMC)建立基本单元的软硬件可用度模型和健康状态转换图,通过求解微分方程得到基本单元软硬件的可用度数值。然后综合软硬件之间的故障相关性建立基本单元的完整可用度模型,并利用事件调度仿真机制得到其可用度的解。最后将基本单元故障模型同通用的可修系统稳态可用度模型对比,得到"可用度-故障率-维修率"形式的PHM计算模型,并以此作为工程应用中PHM分析的有效手段。
