doi: 10.7873/DATE.2015.0448

Variation-Aware Evaluation of MPSoC Task Allocation and Scheduling Strategies using Statistical Model Checking

Mingsong Chen1,a, Daian Yue1,b, Xiaoke Qin2,c, Xin Fu3 and Prabhat Mishra2,d

1Shanghai Key Lab of Trustworthy Computing, East China Normal University, China.

2Department of Computer & Information Science & Engineering, University of Florida, USA.

3Department of Electrical & Computer Engineering, University of Houston, USA.


To maximize the overall performance yield, variation-aware analysis is becoming a key step in Multiprocessor System-on-Chip (MPSoC) Task Allocation and Scheduling (TAS). Although various approaches have been investigated to improve performance yields, most of them cannot perform quantitative comparison among existing TAS heuristics, which is important for MPSoC designers to make decisions. Based on the statistical model checker UPPAAL-SMC, we propose a framework that can automatically evaluate the performance yield of TAS strategies under time and power constraints with variations. Experimental results show that our approach can not only filter inferior strategies efficiently, but also support the automated tuning of architecture and constraint parameters to achieve the required performance yield.

Full Text (PDF)