基于AADL的IMA动态重构过程配置路径生成方法

摘要

本发明涉及基于AADL的IMA动态重构过程配置路径生成方法，包括：确定IMA系统的初始状态与最终状态；确定迁移动作子状态空间；子状态空间软硬件约束筛选；子状态空间汉明距离筛选；从所述子状态空间中遍历所有的子状态与系统的最终状态的汉明距离，筛选距离较短的子状态；作为特性筛选后的子状态空间；子状态空间瞬时负载筛选；子状态空间转移成本筛选；针对动态重构配置路径生成过程，将配置过程分解，通过子动作的计算，产生子状态空间，同时提出约束筛选条件，对子状态空间进行筛选；从子状态空间中遍历所有的子状态与系统最终状态的汉明距离，筛选距离较短的子状态，作为特性筛选后的子状态空间；生成方法容易实施，简单且高效。