Title | ||
---|---|---|
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1404371.1404412 | SBCCI |
Keywords | Field | DocType |
hardware platform,execution time,energy consumption,coloured petri,proposed formal method,design phase,embedded system,simulation,embedded software | Coloured Petri net,Embedded software,Computer science,Real-time computing,Execution time,Formal methods,Energy consumption,Distributed computing,Embedded system | Conference |
Citations | PageRank | References |
4 | 0.47 | 7 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gustavo Rau de Almeida Callou | 1 | 39 | 3.98 |
Paulo Romero Martins Maciel | 2 | 363 | 59.24 |
Ermeson Carneiro de Andrade | 3 | 4 | 0.47 |
Bruno Costa e Silva Nogueira | 4 | 28 | 4.22 |
Eduardo Antonio Guimarães Tavares | 5 | 8 | 1.55 |