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
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2783 |
Date | January 1900 |
Creators | Ferreira de Carvalho, Fernando |
Contributors | Romero Martins Maciel, Paulo |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0024 seconds