抢占式调度问题建模与验证.pdf

此“经济”领域文档为创作者个人分享资料，不作为权威性指导和指引，仅供参考

1、本文档共60页，其中可免费阅读20页，需付费100金币后方可阅读剩余内容。
2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

摘要

在引入优先级的实时系统中，每个任务都被赋予了特定的优先级。这一举措

引发了抢占式调度问题的出现。除此之外，每个任务还具备着诸如执行时间、执

行周期等时序行为的特征，这些特征对于系统的行为和性能都具有重要的影响。

然而，现有大多数关于抢占式调度问题的建模与验证工作仍有两点不足之处：(1)

在任务时序行为确定情况下，现有研究工作中缺乏一种可以直观表示任务优先级

以及任务之间依赖关系的建模语言及自动化验证；(2)在任务时序行为不确定情

况下，现有研究工作中并未考虑任务优先级，即缺少对抢占式调

该用户很懒，什么也没介绍

咨询Ta 进入空间

更多 >