[发明专利]基于约束的预配置IMA平台网络通信调度数据生成方法

摘要

本发明涉及一种基于约束的预配置IMA平台网络通信调度数据生成方法，首先，从IMA平台网络获取网络配置信息和网络特性信息，并根据这些信息，初始化时间戳Ts＝0；当时间戳Ts从0不断增加到设定长度Ls(Ls＞0)的过程时，在当前时间戳Ts＝k处，不考虑通信调度行为是否合理，生成各个端口上的通信调度行为数据，保证在每个时间戳处所生成的通信调度数据集的完整性；在当前时间戳Ts＝k处，采用具有解析形式表述的约束函数将上述完整的通信调度行为数据集中不合理的数据删除。相比于无约束的情况，通过基于约束的预配置IMA平台网络通信调度数据生成方法可以大大减小所生成的通信调度数据量，提高IMA平台网络通信调度测试效率。

主权项

基于约束的预配置IMA平台网络通信调度数据生成方法，利用基于约束的方法为事先配置完毕的IMA平台网络生成通信调度数据，其特征在于，包括下列步骤：(1)首先，从IMA平台网络获取网络配置信息和网络特性信息，其中，网络配置信息包括IMA平台网络内的模块、分区、端口、端口类型、端口连接形式、主时间框架、队列长度、调度方式，网络特性信息包括最差情况下的硬件延时、最差情况下的软件延时，并根据这些信息，初始化时间戳Ts＝0；(2)当时间戳Ts从0不断增加到设定长度Ls，Ls＞0的过程时，在当前时间戳Ts＝k处，不考虑通信调度行为是否合理，生成各个端口上的通信调度行为数据，保证在每个时间戳处所生成的通信调度数据集的完整性；(3)在当前时间戳Ts＝k处，采用具有解析形式表述的约束函数将上述完整的通信调度行为数据集中不合理的数据删除，其中，约束函数分为2类，即采样端口约束和队列端口约束，具体表述如下：采样端口约束：约束1：存在一个从采样端口读取数据的通信行为READ_PORT，而相应通信链路上没有WRITE_PORT，此时传输信息将被覆盖，该约束可表示为：Σ1k-1NumW(PiAjSm)≥Σ1k-1NumR(PkAfSm′)+1---(1)]]>其中，表示时间戳为k‑1时的通信行为数量；PiAjSm表示模块Pi上的分区Aj内的第m个采样端口；PkAfS′m表示模块Pk上的分区Af内的与PiAjSm相连的采样端口；W(·)和R(·)分别表示WRITE_PORT和READ_PORT通信行为；约束2：存在一个从采样端口读取数据的通信行为READ_PORT，而相应通信链路上没有WRITE_PORT或者时间间隔不足以完成信息传输，该约束可表示为：Σ1k-1NumW(PiAjSm)=Σ1k-1NumR(PkAfSm′)+1∩Ti≤WCSL(PiAjSm)+WCT+WCHL---(2)]]>其中，Ti表示当前通信调度行为与之前通信调度行为之间的时间间隔；WCSL(·)表示最差情况下的端口软件延时；WCT表示最差情况下的网络传输延时；WCHL表示最差情况下的硬件延时；队列端口约束：约束3：存在一个向队列端口写数据的通信行为WRITE_PORT，而WRITE_PORT行为数量已达到最大队列长度，该约束可表示为：0≤Σ1k-1NumW(PiAjQm)-Σ1k-1NumR(PkAfQm′)≤Max_QL---(3)]]>其中，PiAjQm表示模块Pi上的分区Aj内的第m个队列端口；PkAfQ′m表示模块Pk上的分区Af内的与PiAjQm相连的队列端口；Max_QL表示最大队列长度；约束4：存在一个从队列端口读取数据的通信行为READ_PORT，而相应端口没有更多的WRITE_PORT行为，或者WRITE_PORT行为时间短于消息传输时间，该约束可表示为：1≤Σ1k-1NumW(PiAjQm)-Σ1k-1NumR(PkAfQm′)≤Max_QL∩Ti≤WCSL(PiAjQm)+WCT+WCHL---(4)]]>(4)令Ts＝k+1，随着时间戳的增加，重复(2)、(3)，扩展前一时间戳中获得的通信调度数据集，最终获取设定长度Ls下的通信调度数据集；相比于无约束的情况，通过基于解析约束的预配置IMA平台网络通信调度数据生成方法可以大大减小所生成的通信调度数据量，提高IMA平台网络通信调度测试效率。