A coloured petri net based approach for estimating execution time and energy consumption in embedded systems

Authors:
Gustavo Rau de Almeida Callou;Paulo Romero Martins Maciel;Ermeson Carneiro de Andrade;Bruno Costa e Silva Nogueira;Eduardo Antonio Guimarães Tavares
Affiliations:
Federal University of Pernambuco, Recife, Brazil;Federal University of Pernambuco, Recife, Brazil;Federal University of Pernambuco, Recife, Brazil;Federal University of Pernambuco, Recife, Brazil;Federal University of Pernambuco, Recife, Brazil
Venue:
Proceedings of the 21st annual symposium on Integrated circuits and system design
Year:
2008

Citing 6
Cited 1

Hierarchies in Coloured Petri Nets

APN 90 Proceedings on Advances in Petri nets 1990
Simulation Modeling and Analysis

Simulation Modeling and Analysis
Power analysis of embedded software: a first step towards software power minimization

Readings in hardware/software co-design
A Brief Introduction to Coloured Petri Nets

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Simulation Modeling Handbook: A Practical Approach

Simulation Modeling Handbook: A Practical Approach
A retargetable environment for power-aware code evaluation: an approach based on coloured petri net

PATMOS'05 Proceedings of the 15th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation

A formal model for performance and energy evaluation of embedded systems

EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings

Quantified Score

Hi-index	0.01

Visualization

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.