Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica

Detalhes bibliográficos
Autor(a) principal: Roncalli Novaes Pires Ribeiro, Angelo
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPE
dARK ID: ark:/64986/001300000f1xd
Texto Completo: https://repositorio.ufpe.br/handle/123456789/2684
Resumo: Sistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada. Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de tarefas, e possui particularidades tanto de hardware quanto de software. Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras. Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem- penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia. A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho. Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de consumo de energia, o que originou a Power Petri Net. Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework. Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark, PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo de energia
id UFPE_50f91d75f29e9393652e81bc72d796d3
oai_identifier_str oai:repositorio.ufpe.br:123456789/2684
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling Roncalli Novaes Pires Ribeiro, AngeloRomero Martins Maciel, Paulo 2014-06-12T16:00:15Z2014-06-12T16:00:15Z2007Roncalli Novaes Pires Ribeiro, Angelo; Romero Martins Maciel, Paulo. Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica. 2007. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007.https://repositorio.ufpe.br/handle/123456789/2684ark:/64986/001300000f1xdSistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada. Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de tarefas, e possui particularidades tanto de hardware quanto de software. Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras. Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem- penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia. A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho. Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de consumo de energia, o que originou a Power Petri Net. Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework. Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark, PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo de energiaporUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessRedes de Petri, estimativa de consumo de energia, metodologia de modelagem, m¶etodos formais, simula»c~ao de Redes de Petri Temporizadas e PNML.Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶asticainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILarquivo6285_1.pdf.jpgarquivo6285_1.pdf.jpgGenerated Thumbnailimage/jpeg1318https://repositorio.ufpe.br/bitstream/123456789/2684/4/arquivo6285_1.pdf.jpg92a44d086beb8f68a1f5ac1847a1211dMD54ORIGINALarquivo6285_1.pdfapplication/pdf1527923https://repositorio.ufpe.br/bitstream/123456789/2684/1/arquivo6285_1.pdf78d4cb768e2160db1bd4ea015fdefa03MD51LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/2684/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTarquivo6285_1.pdf.txtarquivo6285_1.pdf.txtExtracted texttext/plain136515https://repositorio.ufpe.br/bitstream/123456789/2684/3/arquivo6285_1.pdf.txt15f87de9d7e41d155e85de4030ab148fMD53123456789/26842019-10-25 02:57:37.571oai:repositorio.ufpe.br:123456789/2684Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T05:57:37Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
title Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
spellingShingle Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
Roncalli Novaes Pires Ribeiro, Angelo
Redes de Petri, estimativa de consumo de energia, metodologia de modelagem, m¶etodos formais, simula»c~ao de Redes de Petri Temporizadas e PNML.
title_short Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
title_full Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
title_fullStr Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
title_full_unstemmed Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
title_sort Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica
author Roncalli Novaes Pires Ribeiro, Angelo
author_facet Roncalli Novaes Pires Ribeiro, Angelo
author_role author
dc.contributor.author.fl_str_mv Roncalli Novaes Pires Ribeiro, Angelo
dc.contributor.advisor1.fl_str_mv Romero Martins Maciel, Paulo
contributor_str_mv Romero Martins Maciel, Paulo
dc.subject.por.fl_str_mv Redes de Petri, estimativa de consumo de energia, metodologia de modelagem, m¶etodos formais, simula»c~ao de Redes de Petri Temporizadas e PNML.
topic Redes de Petri, estimativa de consumo de energia, metodologia de modelagem, m¶etodos formais, simula»c~ao de Redes de Petri Temporizadas e PNML.
description Sistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada. Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de tarefas, e possui particularidades tanto de hardware quanto de software. Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras. Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem- penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia. A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho. Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de consumo de energia, o que originou a Power Petri Net. Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework. Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark, PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo de energia
publishDate 2007
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2014-06-12T16:00:15Z
dc.date.available.fl_str_mv 2014-06-12T16:00:15Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv Roncalli Novaes Pires Ribeiro, Angelo; Romero Martins Maciel, Paulo. Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica. 2007. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/2684
dc.identifier.dark.fl_str_mv ark:/64986/001300000f1xd
identifier_str_mv Roncalli Novaes Pires Ribeiro, Angelo; Romero Martins Maciel, Paulo. Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica. 2007. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007.
ark:/64986/001300000f1xd
url https://repositorio.ufpe.br/handle/123456789/2684
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/2684/4/arquivo6285_1.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/2684/1/arquivo6285_1.pdf
https://repositorio.ufpe.br/bitstream/123456789/2684/2/license.txt
https://repositorio.ufpe.br/bitstream/123456789/2684/3/arquivo6285_1.pdf.txt
bitstream.checksum.fl_str_mv 92a44d086beb8f68a1f5ac1847a1211d
78d4cb768e2160db1bd4ea015fdefa03
8a4605be74aa9ea9d79846c1fba20a33
15f87de9d7e41d155e85de4030ab148f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1815172803970727936

Registros relacionados