A formal model for performance and energy evaluation of embedded systems

Authors:
Bruno Nogueira;Paulo Maciel;Eduardo Tavares;Ermeson Andrade;Ricardo Massa;Gustavo Callou;Rodolfo Ferraz
Affiliations:
Informatics Center, Federal University of Pernambuco, Recife, Brazil and Academic Unit of Garanhuns, Federal Rural University of Pernambuco, Garanhuns, Brazil;Informatics Center, Federal University of Pernambuco, Recife, Brazil;Informatics Center, Federal University of Pernambuco, Recife, Brazil;Informatics Center, Federal University of Pernambuco, Recife, Brazil;Informatics Center, Federal University of Pernambuco, Recife, Brazil;Informatics Center, Federal University of Pernambuco, Recife, Brazil;Informatics Center, Federal University of Pernambuco, Recife, Brazil
Venue:
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
Year:
2011

Citing 12
Cited 0

Power analysis of embedded software: a first step towards software power minimization

IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on low-power design
The design and use of simplepower: a cycle-accurate energy estimation tool

Proceedings of the 37th Annual Design Automation Conference
Wattch: a framework for architectural-level power analysis and optimizations

Proceedings of the 27th annual international symposium on Computer architecture
Reliability and Performability Modeling Using SHARPE 2000

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Queueing Networks and Markov Chains

Queueing Networks and Markov Chains
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications

Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems

Proceedings of the 21st annual symposium on Integrated circuits and system design
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling

Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling
CPN tools for editing, simulating, and analysing coloured Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: an approach based on coloured petri nets

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

Embedded systems designers need to verify their design choices to find the proper platform and software that satisfy a given set of requirements. In this context, it is essential to adopt formal-based techniques to evaluate the impact of design choices on system requirements. To be useful, such techniques must produce accurate results with minimal computation time. This paper proposes an approach based on Coloured Petri Nets for evaluating embedded systems performance and energy consumption. In particular, this work presents a method for specifying and evaluating the workload and the platform components, such as processors and shared or private memories. The method is applied to model single processor and multiprocessor platforms. Experimental results demonstrate an average accuracy of 96% in comparison with the respective measures assessed from the real hardware platform.