一种基于约束满足理论的IMA系统配置生成方法

摘要

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