基于Petri网的实时数据交换软件异常控制设计与性能分析

1 The Petri net model of real- timedata exchange softwareIn many spaceflight measure and control softwaresystems, varieties of measure data are exchanged be-tween different software. Qualities of measure and con-trol software system are influenced by the performancesof data exchange software greatly. Many problems thatappear during the running process of real- time measureand control software and are difficult to be located arecaused by data exchange software. So, it is necessary toanalyze th…

Abnormity control design and performance analysis of real-time data exchange software based on Petri net

In many spaceflight measure and control software systems, varieties of measure data are exchanged between differentsoftware. Qualities of measure and control software systems areinfluenced by the performances of data exchange software great-ly. 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 necessaryto analyze the performances of data exchange software while designing measure and control software systems. In this article, thePetri net model of the real-time data exchange software is estab-lished 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.