[发明专利]一种基于时间自动机的软硬件最优划分的可视化方法

摘要

本发明公开了一种基于时间自动机的软硬件最优划分的可视化方法，包括以下步骤工作流建模步骤利用图形建模框架创建多个模块，根据各模块的偏序关系绘制工作流模型；时间自动机模型设计步骤为每个模块设计时间自动机，构建工作流模型的时间自动机模型；资源管理步骤通过仿真执行时间自动机模型，获得单次资源分配策略下执行工作流模型的消耗时间；最优化划分实现与反馈步骤根据消耗时间获取软件与硬件消耗时间最优的最优资源分配策略，同时在图形建模框架中可视化地显示最优资源分配策略下的软硬件分配。本发明高效地获得软硬件资源分配的最优解，输出直观解决方案，可使软硬件协同工程尽快部署并实施。

主权项

一种基于时间自动机的软硬件最优划分的可视化方法，其特征在于，包括以下步骤:工作流建模步骤：利用图形建模框架创建多个模块，根据各模块的偏序关系绘制工作流模型；时间自动机模型设计步骤：为每个所述模块设计时间自动机，构建所述工作流模型的时间自动机模型；其中，所述时间自动机模型包括4个节点：等待节点、软件执行节点、硬件执行节点和结束节点；节点之间迁移关系为每个进程Pi先处于等待节点；当Pi的所有前继节点都已经结束时,判断当前CPU或硬件是否空闲，若CPU空闲，那么Pi就进入软件执行的节点；若当硬件空闲,那么Pi就进入硬件执行节点；随后，当Pi进程在对应的软件执行或硬件执行的时间满足估计的执行时间时，释放对应的软件或硬件资源，并标记Pi进程为结束进程，进入结束节点；资源管理步骤：通过仿真执行所述时间自动机模型，获得单次资源分配策略下执行所述工作流模型的消耗时间；最优化划分实现与反馈步骤：根据所述消耗时间获取软件与硬件消耗时间最优的最优资源分配策略，同时在所述图形建模框架中可视化地显示所述最优资源分配策略下的软硬件分配。