a coloured petri net based approach for estimating execution time and energy consumption in embedded systems
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.
coloured petri net execution time energy consumption embedded software simulation