面向数据流的雷达数据处理软件设计与建模

雷达数据处理软件是雷达目标跟踪、组网协同处理等功能的核心软件,包含多种关键算法和处理方法。这些方法的过程往往差异大,适用环境不同。采用传统的软件设计方法往往造成软件开发和维护上的困难,从数据处理需求出发,使用Petri网对其进行形式化模型描述,并建立软件模型,可以从很大程度上克服这些困难,并且形式化模型允许根据不同的处理方法对数据处理软件的流程进行修改。在此基础上引入CTL逻辑和SMV检测工具,对软件模型的检测方法进行了详细讨论。