Paper Info
Title
A formal model for performance and energy evaluation of embedded systems
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.
Year
DOI
Venue
2011
10.1155/2011/316510
Eurasip Journal on Embedded Systems
Keywords
DocType
Volume
systems designer,energy evaluation,multiprocessor platform,coloured petri nets,proper platform,average accuracy,design choice,embedded systems performance,formal model,accurate result,real hardware platform,platform component
Journal
2011,
Issue
ISSN
Citations 
1
1687-3963
3
PageRank 
References 
Authors
0.40
12
7
Name
Order
Citations
PageRank
Bruno Nogueira1687.67
Paulo Maciel225830.35
Eduardo Tavares316125.22
Ermeson Andrade49712.29
Ricardo Massa Ferreira Lima58312.60
Gustavo Callou612416.54
Rodolfo Ferraz730.73