Made available in DSpace on 2014-06-12T16:01:10Z (GMT). No. of bitstreams: 2 arquivo7172_1.pdf: 1565371 bytes, checksum: a4c9f8056570573663538f45f3b2ce86 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 1 / Universidade de Pernambuco / Em metodologias de projeto de sistemas embarcados, ambientes de suporte à tomada de decisões são de grande importância, principalmente quando o projeto de tais sistemas deve considerar restrições de desempenho, consumo de energia etc. Este trabalho trata sobre estimativa de potência no desenvolvimento de sistemas digitais embarcado. A metodologia proposta baseia-se em uma extensão de modelo das redes de Petri estocástica generalizadas (Generalized Stochastic Petri Net - GSPN), denominada Power-GSPN. Este trabalho apresenta um conjunto de métricas que permitem avaliar o consumo de energia, potência, autonomia e o desempenho dos sistemas. A utilização das redes de Petri é de grande importância dada sua fundamentação matemática, a possibilidade de representar sistemas paralelos, síncronos e concorrentes, além de suportar, em um único modelo, especificação, validação, análise de desempenho, estimativa e documentação