基于Petri网的遥测数据采集卡的建模分析研究

在空空导弹飞控系统中,遥测数据是一项重要的测试数据,几乎每个与飞行控制相关的测试流程都会设计到遥测数据的采集与处理。遥测数据是典型的分时复用单向数据总线。针对目前的使用需求,设计了一块基于CPCI总线的遥测数据采集卡,其底层采用FPGA进行实时解码,并采用双RAM乒乓缓存方式解决数据丢帧问题。设计中采用Petri网对板卡进行建模并对功能进行理论分析,证明了该采集卡的Petri网模型是有界的、可达的、无冲突、无死锁、活的,从而证明了该卡是可以稳定连续工作的。并且开发了应用层的测试程序对板卡的功能进行了验证。从理论和实验两方面证明了该遥测数据采集卡可以实现连续稳定不丢帧地对遥测数据进行采集的功能。

Study on a remote telemetry data acquisition card based on the Petri Net

In the flight control system of air-to-air missile, the remote telemetry data is one of the most important test data, which is related to almost all the testing processes of flight control. Remote telemetry data bus is a kind of typical unidirectional data bus which is time--division-multiplexing. To meet the requirement of recent research, a remote telemetry data acquisition card is developed, which is able to decode in real time and solves the problem of data losing by ping-pong operation between two RAM. In this design, a Petri Net Model of this card is built and analyzed, while a testing program is also developed to testing the function of this card. Therefore, it is proved, theoretically and experimentally, that this remote telemetry card could work stably without data losing continuously.