资料下载
×
用于多处理器实时系统可调度性分析模板
消耗积分:1 |
格式:rar |
大小:1.61 MB |
2018-02-06
分享资料个
随着多处理器实时系统在安全性攸关系统中的广泛应用，保证这类系统的正确性成为一项重要的工作．可调度性是实时系统正确性的一项关键性质．它表示系统必须满足的一些时间要求．传统的可调度性分析方法结论保守或者不完备，为了避免这些方法的缺陷，提出使用模型检测的方法来实现可调度性分析．提出了一个用于多处理器实时系统可调度性分析的模板，将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模，并使用UPPAAL验证可调度的性质是否总被满足．符号化模型检测方法被用于推断可调度性，但是由于秒表触发的近似机制，符号化模型检测方法不能用于证明系统不可调度．作为补充，统计模型检测方法被用于估算系统不可调度的概率，并在系统不可调度时生成反例，此外，在系统可调度时，通过统计模型检测方法获取一些性能相关的信息。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
