Estimativa do consumo de energia devido ao software: uma abordagem baseada em redes de Petri coloridas

AUTOR(ES)

Meuse Nogueira de Oliveira Junior

DATA DE PUBLICAÇÃO

2006

RESUMO

Esta tese tem seu foco na anÃlise do consumo de energia de microprocessadores no contexto dos sistemas embutidos. Para tanto, sÃo propostos dois modelos para simulaÃÃo e anÃlise. Tais modelos operam com base na descriÃÃo do conjunto de instruÃÃes da arquitetura alvo em redes de Petri coloridas. O primeiro modelo aplica as redes de Petri coloridas para a avaliaÃÃo do comportamento do cÃdigo frente a uma descriÃÃo determinÃstica das instruÃÃes. O segundo estende o primeiro de forma a explorar o espaÃo de possibilidades de execuÃÃo do cÃdigo por meio da descriÃÃo probabilÃstica dos possÃveis fluxos de execuÃÃo. Uma taxonomia para a descriÃÃo dos elementos presentes nos perfis de execuÃÃo e consumo à proposta. Com base em tal taxonomia, formaliza-se um mecanismo para a anÃlise de consumo de energia devido ao software. A abordagem proposta oferece trÃs contribuiÃÃes bÃsicas: (i) criaÃÃo de modelos de descriÃÃo de arquiteturas sobre uma linguagem de modelagem formal, as redes de Petri coloridas; (ii) proposiÃÃo de um modelo de descriÃÃo estrutural do software, no qual os possÃveis fluxos de execuÃÃo estÃo explÃcitos na semÃntica de descriÃÃo; e (iii) proposiÃÃo de um modelo probabilÃstico para descriÃÃo, simulaÃÃo e avaliaÃÃo do consumo de energia devido ao software. O modelo probabilÃstico ataca o problema da dependÃncia de padrÃo pela eliminaÃÃo do vetor de teste em prol de um modelo probabilÃstico de comportamento do software. Dessa forma, esta tese estabelece uma abordagem nova para a anÃlise de consumo de energia, promovendo um formalismo baseado em redes de Petri coloridas para a criaÃÃo de ferramentas

ASSUNTO(S)

descriÃÃo de processadores consumo de energia do software redes de petri coloridas coloured petri nets software energy consumption architecture description language ciencia da computacao

Documentos Relacionados

• Uma abordagem híbrida para o controle de sistemas de manufatura baseada na teoria de controle supervisorio e nas redes de Petri coloridas
• Modelagem de polÃticas de estoques : uma abordagem baseada em Redes de Petri
• A timed Petri net methodology based on area estimator for hardware/software co-design systems environments
• Estimativa de consumo de energia de cÃdigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simulaÃÃo estocÃstica
• Estimativa de desempenho de software e consumo de energia em MPSoCs