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

摘要

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