论文部分内容阅读
在航天测控软件系统中,大量存在各种测量数据在软件间进行交换的情况。而数据交换软件的性能又在很大程度上影响着测控软件的质量。在实时测控应用软件运行过程中出现的一些难于查找和确定的问题中,有很多是由数据交换软件引起的。因此,在进行实时测控应用软件设计时,对数据交换软件的性能进行分析是非常必要的。本文首先建立了实时数据交换软件的Petri网模型,然后对模型进行了化简和动态分析,给出了缓冲溢出的异常控制设计,随后采用基于Petri网的方法对数据交换软件的性能进行了定量的分析与讨论。