Thermal modelling for temperature control in MPSoC's using Timed Continuous Petri Nets

This paper proposes a thermal modelling methodology for Multiprocessor Systems on a Chip (MPSoC) by using Timed Continuous Petri Nets (TCPN). The derived model includes the heat generation, temperature and power consumption. The proposed methodology is related to finite differences technique where t...

Full description

Saved in:
Bibliographic Details
Main Authors: Desirena-Lopez, G., Vazquez, L. R., Ramirez-Trevino, A., Gomez-Gutierrez, D.
Format: Conference Proceeding
Language:English
Subjects:
Computational modeling
Equations
Heat transfer
Mathematical model
Predictive models
Thermal energy
Citations: Items that cite this one
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper proposes a thermal modelling methodology for Multiprocessor Systems on a Chip (MPSoC) by using Timed Continuous Petri Nets (TCPN). The derived model includes the heat generation, temperature and power consumption. The proposed methodology is related to finite differences technique where the solution's precision is given by the number of Petri net places. The main advantages of the proposed methodology are that the model is built incrementally, no further calibration stages are needed to tune the model, the derived model is as precise as finite element or differences methods and based on this model, an approximate algebraic thermal model can be easily derived to efficiently predict the MPSoC temperature. Hence the proposed thermal model can be exploited by a Model Predictive Controller (MPC) in thermal aware schedulers or other kind of schedulers.
ISSN:1085-1992
DOI:10.1109/CCA.2014.6981618