Using model based analysis to improve software energy efficiency

Detalhes bibliográficos
Autor(a) principal: Alves, Danilo da Silva
Data de Publicação: 2022
Tipo de documento: Tese
Idioma: eng
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/243186
Resumo: Recentemente, o consumo de energia tornou-se uma preocupação no cenário de desenvolvimento de software. Isso se deve principalmente aos diferentes tipos de plataformas atuais em que o software é executado. Estudos mostram que os usuarios tendem a rejeitar aplicativos móveis que esgotam rapidamente a energia da bateria, apontando o consumo de energia como um aspecto relevante. Apesar desse interesse emergente na métrica de consumo de energia de software, os desenvolvedores ainda carecem de conhecimentos sólidos sobre como projetar, construir e evoluir software considerando a eiieiêneia energética. Com o objetivo de fornecer algum suporte necessário, este trabalho apresenta definições em alto nível de propriedades para a analise do consumo de energia de software durante todas as fases de desenvolvimento de software. Essas propriedades e suas análises dependem de uma abordagem baseada em modelos, que usa Labelled Transition Systems (LTS) com o acréscimo de custos de energia e informações probabilístieas para descrever o comportamento do software. Os resultados da análise das propriedades propostas em um modelo LTS fornecem informações úteis relacionadas à energia, como o custo médio de energia do sistema e a probabilidade de ocorrência da execução mais cara. Demonstramos como implementar, usar e interpretar os resultados das análises dessas propriedades para criar, avaliar e/ou evoluir softwares considerando eficiência energética. Para descrever onde nosso trabalho pode ser aplicado, discutimos experimentos envolvendo a análise das propriedades propostas em diferentes cenários. Alguns experimentos são realizados envolvendo uma análise de um software existente de um único componente, uma evolução de software e um software com composição de componentes, e a eficiência energética é analisada em todos os casos. Considerando os resultados analises das propriedades definidas, são propostas recomendações de possíveis ações para ajustar o consumo de energia em um formato de guia rapido, combinando custos de energia e comportamento probabilístico. Esse suporte de análise de propriedades e recomendações constitui um passo importante para ajudar os desenvolvedores a criarem software com eficiência energética.
id URGS_8accd86785b0ab62e53675436d4690bb
oai_identifier_str oai:www.lume.ufrgs.br:10183/243186
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Alves, Danilo da SilvaDuarte, Lucio Mauro2022-07-20T04:48:56Z2022http://hdl.handle.net/10183/243186001143754Recentemente, o consumo de energia tornou-se uma preocupação no cenário de desenvolvimento de software. Isso se deve principalmente aos diferentes tipos de plataformas atuais em que o software é executado. Estudos mostram que os usuarios tendem a rejeitar aplicativos móveis que esgotam rapidamente a energia da bateria, apontando o consumo de energia como um aspecto relevante. Apesar desse interesse emergente na métrica de consumo de energia de software, os desenvolvedores ainda carecem de conhecimentos sólidos sobre como projetar, construir e evoluir software considerando a eiieiêneia energética. Com o objetivo de fornecer algum suporte necessário, este trabalho apresenta definições em alto nível de propriedades para a analise do consumo de energia de software durante todas as fases de desenvolvimento de software. Essas propriedades e suas análises dependem de uma abordagem baseada em modelos, que usa Labelled Transition Systems (LTS) com o acréscimo de custos de energia e informações probabilístieas para descrever o comportamento do software. Os resultados da análise das propriedades propostas em um modelo LTS fornecem informações úteis relacionadas à energia, como o custo médio de energia do sistema e a probabilidade de ocorrência da execução mais cara. Demonstramos como implementar, usar e interpretar os resultados das análises dessas propriedades para criar, avaliar e/ou evoluir softwares considerando eficiência energética. Para descrever onde nosso trabalho pode ser aplicado, discutimos experimentos envolvendo a análise das propriedades propostas em diferentes cenários. Alguns experimentos são realizados envolvendo uma análise de um software existente de um único componente, uma evolução de software e um software com composição de componentes, e a eficiência energética é analisada em todos os casos. Considerando os resultados analises das propriedades definidas, são propostas recomendações de possíveis ações para ajustar o consumo de energia em um formato de guia rapido, combinando custos de energia e comportamento probabilístico. Esse suporte de análise de propriedades e recomendações constitui um passo importante para ajudar os desenvolvedores a criarem software com eficiência energética.Recently, energy consumption has become a concern in the software development scenario. This is mainly due to the current different types of platforms where software runs. Studies show that users tend to reject mobile applications that quickly drain battery energy, indicating energy consumption as a relevant aspect. Despite this emerging interest in the software energy consumption metric, developers still lack solid knowledge about how to design, construct and evolve software considering energy efficiency. With the goal of providing some of this necessary support, this work proposes high—level property definitions for the analysis of software energy consumption during all phases of software development. These properties and their analyses rely on a model based approach, which uses Labelled Transition Systems (LTS) augmented with energy costs and probabilistic information to describe software behaviour. Results of analysing the proposed properties on an LTS model provide useful energy related information, such as the average energy cost of the system and the probability of occurrence of the most costly execution. We demonstrate how to implement, use and interpret the results of analyses of these properties to create, evaluate and/or evolve software considering energy efficiency. To describe where our work can be applied, we discuss experiments involving the analysis of the proposed properties in different scenarios. Some experiments were performed, involving an analysis of an existent software with a single component, a software evolution and a software with composition of components, and energy efficiency was analysed in all cases. Recommendation of possible actions to adjust energy consumption considering results of property analysis are proposed in a quick guide format, combining energy costs and probabilistic behaviour. This support of property analysis and recommendations constitutes an important step towards helping developers create energy efficient software.application/pdfengConsumo de energiaSoftwareModel based AnalysisSoftware Energy ConsumptionSoftware behaviourUsing model based analysis to improve software energy efficiencyinfo: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:UFRGSTEXT001143754.pdf.txt001143754.pdf.txtExtracted Texttext/plain123240http://www.lume.ufrgs.br/bitstream/10183/243186/2/001143754.pdf.txt6c920b4a0e709a43c294982228fb3846MD52ORIGINAL001143754.pdfTexto completo (inglês)application/pdf12654472http://www.lume.ufrgs.br/bitstream/10183/243186/1/001143754.pdf17e6ecc99dc53b2b0528962caa42e002MD5110183/2431862022-07-21 04:54:44.662925oai:www.lume.ufrgs.br:10183/243186Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532022-07-21T07:54:44Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Using model based analysis to improve software energy efficiency
title Using model based analysis to improve software energy efficiency
spellingShingle Using model based analysis to improve software energy efficiency
Alves, Danilo da Silva
Consumo de energia
Software
Model based Analysis
Software Energy Consumption
Software behaviour
title_short Using model based analysis to improve software energy efficiency
title_full Using model based analysis to improve software energy efficiency
title_fullStr Using model based analysis to improve software energy efficiency
title_full_unstemmed Using model based analysis to improve software energy efficiency
title_sort Using model based analysis to improve software energy efficiency
author Alves, Danilo da Silva
author_facet Alves, Danilo da Silva
author_role author
dc.contributor.author.fl_str_mv Alves, Danilo da Silva
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
topic Consumo de energia
Software
Model based Analysis
Software Energy Consumption
Software behaviour
dc.subject.eng.fl_str_mv Model based Analysis
Software Energy Consumption
Software behaviour
description Recentemente, o consumo de energia tornou-se uma preocupação no cenário de desenvolvimento de software. Isso se deve principalmente aos diferentes tipos de plataformas atuais em que o software é executado. Estudos mostram que os usuarios tendem a rejeitar aplicativos móveis que esgotam rapidamente a energia da bateria, apontando o consumo de energia como um aspecto relevante. Apesar desse interesse emergente na métrica de consumo de energia de software, os desenvolvedores ainda carecem de conhecimentos sólidos sobre como projetar, construir e evoluir software considerando a eiieiêneia energética. Com o objetivo de fornecer algum suporte necessário, este trabalho apresenta definições em alto nível de propriedades para a analise do consumo de energia de software durante todas as fases de desenvolvimento de software. Essas propriedades e suas análises dependem de uma abordagem baseada em modelos, que usa Labelled Transition Systems (LTS) com o acréscimo de custos de energia e informações probabilístieas para descrever o comportamento do software. Os resultados da análise das propriedades propostas em um modelo LTS fornecem informações úteis relacionadas à energia, como o custo médio de energia do sistema e a probabilidade de ocorrência da execução mais cara. Demonstramos como implementar, usar e interpretar os resultados das análises dessas propriedades para criar, avaliar e/ou evoluir softwares considerando eficiência energética. Para descrever onde nosso trabalho pode ser aplicado, discutimos experimentos envolvendo a análise das propriedades propostas em diferentes cenários. Alguns experimentos são realizados envolvendo uma análise de um software existente de um único componente, uma evolução de software e um software com composição de componentes, e a eficiência energética é analisada em todos os casos. Considerando os resultados analises das propriedades definidas, são propostas recomendações de possíveis ações para ajustar o consumo de energia em um formato de guia rapido, combinando custos de energia e comportamento probabilístico. Esse suporte de análise de propriedades e recomendações constitui um passo importante para ajudar os desenvolvedores a criarem software com eficiência energética.
publishDate 2022
dc.date.accessioned.fl_str_mv 2022-07-20T04:48:56Z
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/243186
dc.identifier.nrb.pt_BR.fl_str_mv 001143754
url http://hdl.handle.net/10183/243186
identifier_str_mv 001143754
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/243186/2/001143754.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/243186/1/001143754.pdf
bitstream.checksum.fl_str_mv 6c920b4a0e709a43c294982228fb3846
17e6ecc99dc53b2b0528962caa42e002
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_ 1810085589939126272