摘要
在航天测控软件系统中,大量存在各种测量数据在软件间进行交换的情况。而数据交换软件的性能又在很大程度上影响着测控软件的质量。在实时测控应用软件运行过程中出现的一些难于查找和确定的问题中,有很多是由数据交换软件引起的。因此,在进行实时测控应用软件设计时,对数据交换软件的性能进行分析是非常必要的。本文首先建立了实时数据交换软件的Petri网模型,然后对模型进行了化简和动态分析,给出了缓冲溢出的异常控制设计,随后采用基于Petri网的方法对数据交换软件的性能进行了定量的分析与讨论。
In many spaceflight measure and control software systems, varieties of measure data are exchanged between different software. Qualities of measure and control software systems are influenced by the performances of data exchange software greatly. Many problems that appear during the running process of real-time measure and control software and are difficult to be located are caused by data exchange software. So, it is necessary to analyze the performances of data exchange software while designing measure and control software systems. In this article, the Petri net model of the real-time data exchange software is established first. Then the model is simplified and analyzed. The design of abnormity control for buffer overflow is given. Finally, using the Petri net method, the performances of the real-time data exchange software are analyzed and discussed.
出处
《微计算机信息》
北大核心
2005年第09S期44-46,163,共4页
Control & Automation
基金
北京航天指挥控制中心试验技术研究项目项目编号:2002SY6104001
