(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 (43)申请公布日 (21)申请号 201910394720.3
(22)申请日 2019.05.13
(71)申请人 北京航空航天大学
地址 100083 北京市海淀区学院路37号
(72)发明人 王世海 叶至傲 杜英
(74)专利代理机构 北京慕达星云知识产权代理
事务所(特殊普通合伙)
11465
代理人 曹鹏飞
(51)Int.Cl.
G06F 17/50(2006.01)
(54)发明名称
基于AADL的IMA动态重构过程配置路径生成
方法
(57)摘要
本发明涉及基于AADL的IMA动态重构过程配
选；从所述子状态空间中遍历所有的子状态与系
统的最终状态的汉明距离，筛选距离较短的子状
态；作为特性筛选后的子状态空间；子状态空间
瞬时负载筛选；子状态空间转移成本筛选；针对
动态重构配置路径生成过程，将配置过程分解，
通过子动作的计算，产生子状态空间，同时提出
约束筛选条件，对子状态空间进行筛选；从子状
态空间中遍历所有的子状态与系统最终状态的
汉明距离，筛选距离较短的子状态，作为特性筛
选后的子状态空间；生成方法容易实施，简单且
高效。权利要求书2页 说明书16页 附图5页CN 110263371 A 2019.09.20
C N 110263371
A
1.基于AADL的IMA动态重构过程配置路径生成方法，其特征在于，包括：
步骤一：确定IMA系统的初始状态与最终状态；
在进行动态重构时，确定重构结束后系统的最终状态；使用哈希算法表示系统的最终状态与初始状态，判断状态之间的汉明距离；
步骤二：确定迁移动作子状态空间；
分解动态重构过程动作，建立子动作产生的子状态空间；使用哈希算法描述所有系统配置子状态；
步骤三：子状态空间软硬件约束筛选；
明确系统存在约束关系，包括：软件之间的约束、硬件之间的约束以及软硬件之间的约束，根据约束关系筛选符合系统条件的子状态； 步骤四：子状态空间汉明距离筛选；
从所述子状态空间中遍历所有的子状态与系统的最终状态的汉明距离，筛选距离较短的子状态；作为特性筛选后的子状态空间，需要满足以下条件：
(a)不选取汉明距离增大的子动作；
(b)只有当汉明距离减小的动作都被排除之后，才会在距离增大的动作中重新筛选；步骤五：子状态空间瞬时负载筛选；
步骤六：子状态空间转移成本筛选；
当动态重构过程未完成时，重复执行所述步骤二三四五六，当确定的系统状态达到目标要求的系统最终状态，则完成系统动态重构。
2.根据权利要求1所述的基于AADL的IMA动态重构过程配置路径生成方法，其特征在于，所述的步骤二中，软件迁移的动作主要包括软件拷贝、软件卸载、进程加载、进程删除；
其中：软件拷贝指系统从数据集中器下载软件到指定的模块分区，并将软件产生的数据迁移至新的模块分区内；
软件卸载指系统将指定模块分区内的软件卸载，并删除软件运行产生的数据；
进程加载指进程是系统分配的任务在软件内运行的一次活动，是通过程序计数器和处理寄存器的内容表示的；
进程的加载是一个没有时间延时的动作，进程的加载不占用内存也不含转移时间；进程删除与进程的加载相同，进程删除也是一个没有时间延时的动作，进程删除不含转移时间。
3.根据权利要求1所述的基于AADL的IMA动态重构过程配置路径生成方法，其特征在于，所述步骤五中，子状态空间瞬时负载筛选过程如下：
使用加权平均的方法计算软件内存占用量，
系统瞬时状态的每个模块负载计算如下：其中：
l i 表示模块i负载；M i 表示模块i；表示模块i占用的内存量；H ji 为模块i上分区j运行占用的平均内存量；T i 表示总转移时间成本；k表示模块i上的分区数；t ji 表示模块i上分区j
权 利 要 求 书1/2页2CN 110263371 A
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议