作者：屈媛媛; 洪玫; 孙琳动态温度管理策略统计模型检测多核系统
摘要：多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中。提出使用统计模型检测技术来验证多核系统中分布式DTM策略（以TAPE策略为例）的方案。使用UPPAAL SMC对TAPE策略的验证证明了TAPE策略的安全性、有效性、活性以及稳定性,从而验证DTM策略方案的可靠性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
