任务图模型中实时任务设计

仿真技术的进步推动了实时系统(如核反应堆、军事战场和fly-by-wire系统)的深入研究.用仿真方法解决实时问题,必须首先给出实时系统描述模型.TGM(task graph model)模型是实时系统描述模型之一,其模型最重要的成员是实时任务.使用量化仿真方法定义了实时任务的4种参数,并细分任务为子任务.此方法更易描述实时应用系统,更易构造TGM的执行模型,其层次化的结构更容易进行研究和软件实现.TGM模型及其任务设计已成功地应用于分布式三星实时侦察仿真系统.

任务/资源图模型的任务调度与资源访问仿真分析(Ⅱ)——“爱国者”拦截作战目标过程实例分析

任务/资源图仿真建模方法由于包含丰富的时间属性而非常有利于分析复杂离散实时系统,通过一个仿真实例来分析任务/资源图模型的任务调度和资源访问。首先利用任务/资源图模型对“爱国者”防空导弹拦截作战目标过程进行了仿真建模,然后利用RM任务调度方法和PCP资源访问控制协议对该系统进行了可调度性分析,包括单节点调度、多节点调度和端对端调度分析。复杂系统任务执行过程中会出现各种抢占、挂起、资源冲突情况,尤其是对于最坏情况下的任务调度和资源使用情况,通过仿真分析验证了对这些复杂情况的时间序列属性。可调度性分析和仿真分析结果表明任务/资源图模型是一种强有力的复杂离散实时系统分析仿真方法。

基于平台的SoC系统建模方法研究

面向基于平台的SoC设计方法,本文提出约束任务流图模型(CTG)作为SoC系统模型,提出了基于平台的CTG SoC系统建模方法,实现了SoC系统建模环境CPSME.CTG模型是一种可变粒度的SoC系统模型,可同时描述系统任务的功能和性能.本文基于平台的CTG SoC系统建模方法支持CTG模型的系统级重用与定制,有效提高了系统建模效率.在CPSME环境下进行MP3播放器和MPEG2播放器的SoC系统建模实践表明,新方法的模型重用率可达到75%～90%.