[发明专利]一种基于约束满足理论的IMA系统配置生成方法

摘要

本发明公开了一种基于约束满足理论的IMA系统配置生成方法，包含以下步骤：步骤一：构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型；步骤二：将资源约束和分配约束确定为主子问题，根据主子问题对各配置进行搜索，找出满足条件的解集合，即满足可调度性的配置集；步骤三：将时间约束和非功能性约束确定为从子问题，对满足可调度性的配置集中的各配置分别结合从子问题进行检查，筛选出满足可调度性和可靠性要求的解集合并输出，即为约束满足问题的最终解，经过格式转换得到对应的IMA系统的配置描述。本发明将提高系统配置设计效率并有助于配置优化与改进。

主权项

1.一种基于约束满足理论的综合模块化航电IMA系统配置生成方法，包含以下步骤：步骤一：构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型；其中：资源约束为：内存容量：单个模块内的CPU的内存使用量不能使用超过总内存容量；所有的分区应用不能使用超过所在分区所分配的内存容量，并且模块全部应用的内存使用量之和必须小于总内存容量；CPU使用量：单个模块的CPU总使用量不能超过该CPU的处理能力；网络使用量：单位时间的网络总线信息传输量不能超过该网络总线的带宽大小；分配约束为：驻留关系：一个应用软件应该运行于某个或某些特定模块的分区上，使用该分区的软硬件资源；应用共存关系：标出哪些应用必须共同驻留于某个模块上的，共享该模块的软硬件资源；互斥关系：标出哪些应用不能共同驻留于某个模块上的；时间约束为：应用的最坏执行时间：某个应用软件针对该应用软件的优先级以及调度算法，计算出最坏情况下的执行时间，该执行时间必须小于应用软件的超时时间；通信的最坏响应时间：每一条消息、数据或事件发送和接收之间的时间必须小于规定的消息超时时间；非功能性约束为：架构可靠性：航电系统架构设计及配置过程必须满足架构规范的指标要求；步骤二：将资源约束和分配约束确定为主子问题，根据主子问题对各配置进行搜索，找出满足条件的解集合，即满足可调度性的配置集；步骤三：将时间约束和非功能性约束确定为从子问题，对满足可调度性的配置集中的各配置分别结合从子问题进行检查，筛选出满足可调度性和可靠性要求的解集合并输出，即为约束满足问题的最终解，经过格式转换得到对应的IMA系统的配置描述。