论文部分内容阅读
任务调度算法的优劣直接影响系统的功能和性能，对其进行功能验证和性能评价具有很强的现实意义。本文改进IMC构建多核系统任务调度算法的功能模型，扩展aCSL从逻辑层次上刻画任务调度算法的性能指标，并基于改进的IMC和扩展的aCSL提出了一种多核系统任务调度算法动态度量方法实现对任务调度算法的功能验证和性能评价。用例分析表明本文提出的动态度量方法能有效对任务调度算法进行功能和性能的描述和度量，为多核系统任务调度算法的正确执行提供了有力支撑。