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