Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article A Formal Model for Performance and Energy Evaluation of Embedded Systems | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2011 Article ID316510 12 pages doi 2011 316510 Research Article A Formal Model for Performance and Energy Evaluation of Embedded Systems Bruno Nogueira 1 2 Paulo Maciel 1 Eduardo Tavares 1 Ermeson Andrade 1 Ricardo Massa 1 Gustavo Callou 1 and Rodolfo Ferraz1 1 Informatics Center Federal University of Pernambuco Recife Brazil 2 Academic Unit of Garanhuns Federal Rural University of Pernambuco Garanhuns Brazil Correspondence should be addressed to Bruno Nogueira bcsn@ Received 2 June 2010 Accepted 21 September 2010 Academic Editor Dietmar Bruckner Copyright 2011 Bruno Nogueira et al. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use distribution and reproduction in any medium provided the original work is properly cited. 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. 1. Introduction The design of embedded systems usually must take into account several nonfunctional constraints such as performance size weight cost reliability and durability. The rapid growth of .
