论文部分内容阅读
任务/资源图仿真建模方法由于包含丰富的时间属性而非常有利于分析复杂离散实时系统。首先简单回顾了任务/资源图建模方法,然后重点探讨了任务实时调度算法和资源访问控制协议。优先级驱动可抢占式算法是任务实时调度的关键,详细分析了RM算法的可调度条件。任务调度时往往会发生资源冲突,从而对任务调度有着决定性的影响,针对对资源访问控制协议对任务可调度性的影响进行了分析。