A coloured petri net based approach for estimating execution time and energy consumption in embedded systems
Gustavo Rau De Almeida Callou, Paulo Romero Martins Maciel, Ermeson Andrade, Bruno Costa e Silva Nogueira, Eduardo Tavares · 2008
This paper presents a Coloured Petri net based approach for estimating execution time and energy consumption in embedded systems. The aim of this work is to provide, in the design phase, a mechanism that helps the designer informing the energy consumption and the performance of the code in analysis. Experimental results have demonstrated an accuracy of 96% using the proposed formal method in comparison with the values obtained with the hardware platform.