Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

详细信息    查看全文

• 作者：Muhammad Usama Sardar^a ; ^{usama.sardar@seecs.nust.edu.pk}Author Vitae ; Osman Hasan^a ; ^{osman.hasan@seecs.nust.edu.pk}Author Vitae ; Muhammad Shafique^b ; ^{muhammad.shafique@kit.edu}Author Vitae ; Jö ; rg Henkel^b ; ^{henkel@kit.edu}Author Vitae
• 关键词：Higher-order logic ; Theorem proving ; Dynamic Thermal Management ; Task migration ; Many-core systems
• 刊名：Journal of Parallel and Distributed Computing
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：100
• 期：Complete
• 页码：157-171
• 全文大小：1060 K
• 卷排序：100

文摘

A novel methodology for the analysis of Distributed Dynamic Thermal Management (DDTM) schemes. Scalable approach for next-generation many-core systems. Higher-order-logic formalization of a generic DDTM scheme. Verification of both functional and timing properties for any number of cores. Analysis of a Distributed Task Migration based DDTM scheme as illustrative example.