Modelling software energy consumption for energy efficiency analysis

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Ferreira, Oseias Ayres
Orientador(a): Duarte, Lucio Mauro
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Consumo de energia
Software
Eficiência energética
Palavras-chave em Inglês:
Behavior model
Model construction
Software energy consumption
Link de acesso: http://hdl.handle.net/10183/241735
Resumo: O consumo de energia de software está se tornando uma questão essencial durante o de senvolvimento e evolução de software, em particular, devido às várias restrições impostas pelas plataformas e requisitos de aplicativos. No entanto, ainda existe pouco suporte para ajudar os desenvolvedores a entender como alguns pequenos fatores podem afetar a eficiência energética do seu software. Isso acontece principalmente devido à ausência de abstrações apropriadas para modelar e analisar o comportamento relacionado ao consumo de energia de um software. Este trabalho propõe uma abordagem para a construção de modelos de comportamento energético a partir de código. Para isso, propomos um mo delo chamado ELTS (Energy Labeled Transition System), que é um Labeled Transition System (LTS) que contém informações de custos de energia. Para construir este modelo a partir de código Java, criamos o conceito de unidade básica de energia (BET), que permite associar partes do código a elementos do ELTS. Com isso, visamos a garantir a rastreabi lidade, que possibilita a identificação de pontos específicos de gasto de energia no código após uma análise do modelo.
id URGS_d034eb319ae4e48512c6f67eec628083
oai_identifier_str oai:www.lume.ufrgs.br:10183/241735
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Ferreira, Oseias AyresDuarte, Lucio Mauro2022-07-05T05:07:44Z2022http://hdl.handle.net/10183/241735001143679O consumo de energia de software está se tornando uma questão essencial durante o de senvolvimento e evolução de software, em particular, devido às várias restrições impostas pelas plataformas e requisitos de aplicativos. No entanto, ainda existe pouco suporte para ajudar os desenvolvedores a entender como alguns pequenos fatores podem afetar a eficiência energética do seu software. Isso acontece principalmente devido à ausência de abstrações apropriadas para modelar e analisar o comportamento relacionado ao consumo de energia de um software. Este trabalho propõe uma abordagem para a construção de modelos de comportamento energético a partir de código. Para isso, propomos um mo delo chamado ELTS (Energy Labeled Transition System), que é um Labeled Transition System (LTS) que contém informações de custos de energia. Para construir este modelo a partir de código Java, criamos o conceito de unidade básica de energia (BET), que permite associar partes do código a elementos do ELTS. Com isso, visamos a garantir a rastreabi lidade, que possibilita a identificação de pontos específicos de gasto de energia no código após uma análise do modelo.Software energy consumption is becoming an essential issue during software develop ment and evolution, in particular, due to several restrictions imposed by platforms and application requirements. However, still little support exists to aid developers to under stand how some small factors can affect software energy efficiency. This mainly happens because of the absence of appropriate abstractions to model and analyse software energy behavior. This work proposes an approach to support the construction of energy behav ior models from code. For this, we developed a model called ELTS (Energy Labelled Transitions System), which is a Labelled Transition System (LTS) augmented with en ergy information. To build this model from Java code, we created the concept of basic energy unit (BET) that enables to associate parts of the code to elements of the ELTS. With this, we aim to guarantee traceability, which enables the identification of possible hotspots of energy in the code after an analysis of the model. We represent the semantics of the code in the model through relations between BETs, namely sequence, conditional and iteration. These relations enable a better understanding of the behavior when ana lyzing the model and represent the connections of its composing BETs, also facilitating model construction. In addition, we propose how to locally change the abstraction level of the model. Thus, a part of the model is only expanded if necessary, keeping the rest of the model as it is. We describe three experiments to demonstrate how to model programs using our approach, including basic model composition. This modelling strategy makes it possible to improve the analysis of energy consumption, thus possibly leading to better decisions regarding software energy efficiency. Representamos a semântica do código no modelo por meio de relações entre BETs, definidas como sequência, condicional e iteração. Essas relações possibilitam um melhor entendimento do comportamento ao analisar o modelo e representam as conexões das BETs que o compõem, facilitando também a construção do modelo. Além disso, propomos como alterar localmente o nível de abstração do modelo. Assim, uma parte do modelo só é expandida se necessário, mantendo o restante do modelo como está. Descrevemos três experimentos para demonstrar como modelar programas usando nossa abordagem, incluindo uma composição básica de modelos. Essa estratégia de modelagem possibilita melhorar a análise do consumo de energia, possivelmente levando a melhores decisões em relação à eficiência energética do software.application/pdfengConsumo de energiaSoftwareEficiência energéticaBehavior modelModel constructionSoftware energy consumptionModelling software energy consumption for energy efficiency analysisModelando o Consumo Energético de Software para Análise de Eficiência Energética info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em MicroeletrônicaPorto Alegre, BR-RS2022doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001143679.pdf.txt001143679.pdf.txtExtracted Texttext/plain138314http://www.lume.ufrgs.br/bitstream/10183/241735/2/001143679.pdf.txt9a1eb31b7302c3ef2ac9c59b623a06faMD52ORIGINAL001143679.pdfTexto completo (inglês)application/pdf1173271http://www.lume.ufrgs.br/bitstream/10183/241735/1/001143679.pdffa37b1700e5101a9e7b434c62f5148a6MD5110183/2417352022-07-06 04:57:46.283193oai:www.lume.ufrgs.br:10183/241735Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532022-07-06T07:57:46Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Modelling software energy consumption for energy efficiency analysis
dc.title.alternative.pt.fl_str_mv Modelando o Consumo Energético de Software para Análise de Eficiência Energética
title Modelling software energy consumption for energy efficiency analysis
spellingShingle Modelling software energy consumption for energy efficiency analysis
Ferreira, Oseias Ayres
Consumo de energia
Software
Eficiência energética
Behavior model
Model construction
Software energy consumption
title_short Modelling software energy consumption for energy efficiency analysis
title_full Modelling software energy consumption for energy efficiency analysis
title_fullStr Modelling software energy consumption for energy efficiency analysis
title_full_unstemmed Modelling software energy consumption for energy efficiency analysis
title_sort Modelling software energy consumption for energy efficiency analysis
author Ferreira, Oseias Ayres
author_facet Ferreira, Oseias Ayres
author_role author
dc.contributor.author.fl_str_mv Ferreira, Oseias Ayres
dc.contributor.advisor1.fl_str_mv Duarte, Lucio Mauro
contributor_str_mv Duarte, Lucio Mauro
dc.subject.por.fl_str_mv Consumo de energia
Software
Eficiência energética
topic Consumo de energia
Software
Eficiência energética
Behavior model
Model construction
Software energy consumption
dc.subject.eng.fl_str_mv Behavior model
Model construction
Software energy consumption
description O consumo de energia de software está se tornando uma questão essencial durante o de senvolvimento e evolução de software, em particular, devido às várias restrições impostas pelas plataformas e requisitos de aplicativos. No entanto, ainda existe pouco suporte para ajudar os desenvolvedores a entender como alguns pequenos fatores podem afetar a eficiência energética do seu software. Isso acontece principalmente devido à ausência de abstrações apropriadas para modelar e analisar o comportamento relacionado ao consumo de energia de um software. Este trabalho propõe uma abordagem para a construção de modelos de comportamento energético a partir de código. Para isso, propomos um mo delo chamado ELTS (Energy Labeled Transition System), que é um Labeled Transition System (LTS) que contém informações de custos de energia. Para construir este modelo a partir de código Java, criamos o conceito de unidade básica de energia (BET), que permite associar partes do código a elementos do ELTS. Com isso, visamos a garantir a rastreabi lidade, que possibilita a identificação de pontos específicos de gasto de energia no código após uma análise do modelo.
publishDate 2022
dc.date.accessioned.fl_str_mv 2022-07-05T05:07:44Z
dc.date.issued.fl_str_mv 2022
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/241735
dc.identifier.nrb.pt_BR.fl_str_mv 001143679
url http://hdl.handle.net/10183/241735
identifier_str_mv 001143679
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/241735/2/001143679.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/241735/1/001143679.pdf
bitstream.checksum.fl_str_mv 9a1eb31b7302c3ef2ac9c59b623a06fa
fa37b1700e5101a9e7b434c62f5148a6
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1797065187410313216

Registros relacionados