论文部分内容阅读
通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。
By combining the characteristics of AFDX avionics system and determining the stochastic Petri nets, a modeling method of AFDX avionics system based on deterministic stochastic Petri nets is presented. The method takes the virtual link scheduling algorithm in AFDX as the center and uses the idea of component development to model the avionics system by using the sub-models of each part of the system. Thus providing a powerful reference for analyzing the performance of avionics systems.