Uma metodologia para análise de fluxo de programas Java para tempo real

Detalhes bibliográficos
Ano de defesa: 2004
Autor(a) principal: Guedes, Paulo Abadie
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Pernambuco
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:
WCET
Tempo de execução no pior caso
Análise de fluxo
Interpretação abstrata
Tempo real hard
Java para tempo real
RTJ
Máquina virtual java
Link de acesso: https://repositorio.ufpe.br/handle/123456789/2553
Resumo: Esta dissertação apresenta um método de análise de fluxo para a estimativa do WCET (worst-case execution time), o tempo de execução no pior caso, criado através da adaptação de uma abordagem desenvolvida recentemente com o mesmo fim, sobre programas de tempo real orientados a objeto. O método é uma extensão projetada para trabalhar sobre bytecodes Java, assumindo que não há nenhuma forma de anotação de código presente e também que o código-fonte original não está disponível. Devido a estas suposições, foi necessário determinar a estrutura original do programa, através de algoritmos existentes para análise de fluxo de controle. Outras informações sobre o programa foram necessárias, especialmente relativas às expressões condicionais, que foram fundamentais para a determinação dos caminhos possíveis no grafo. Além do método criado, foi desenvolvida uma ferramenta para análise de fluxo que implementa, de forma parcial, uma das interpretações abstratas possíveis para este tipo de finalidade. A interpretação implementada forneceu os resultados que confirmam os conceitos subjacentes a este trabalho. A ferramenta criada foi testada em alguns programas obtidos na literatura. Esses programas foram selecionados com o objetivo de exercitar a análise do fluxo de controle, em situações com características relevantes e que ocorrem freqüentemente, incluindo vários tipos de laços e estruturas com condições complexas. Programas com expressivo número de caminhos e de estados também foram utilizados nos testes. O método desenvolvido constitui-se num passo importante para a estimativa do WCET em Java
id UFPE_5ea116cbf8e2db233be106b5c6e18588
oai_identifier_str oai:repositorio.ufpe.br:123456789/2553
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str
spelling Uma metodologia para análise de fluxo de programas Java para tempo realWCETTempo de execução no pior casoAnálise de fluxoInterpretação abstrataTempo real hardJava para tempo realRTJMáquina virtual javaEsta dissertação apresenta um método de análise de fluxo para a estimativa do WCET (worst-case execution time), o tempo de execução no pior caso, criado através da adaptação de uma abordagem desenvolvida recentemente com o mesmo fim, sobre programas de tempo real orientados a objeto. O método é uma extensão projetada para trabalhar sobre bytecodes Java, assumindo que não há nenhuma forma de anotação de código presente e também que o código-fonte original não está disponível. Devido a estas suposições, foi necessário determinar a estrutura original do programa, através de algoritmos existentes para análise de fluxo de controle. Outras informações sobre o programa foram necessárias, especialmente relativas às expressões condicionais, que foram fundamentais para a determinação dos caminhos possíveis no grafo. Além do método criado, foi desenvolvida uma ferramenta para análise de fluxo que implementa, de forma parcial, uma das interpretações abstratas possíveis para este tipo de finalidade. A interpretação implementada forneceu os resultados que confirmam os conceitos subjacentes a este trabalho. A ferramenta criada foi testada em alguns programas obtidos na literatura. Esses programas foram selecionados com o objetivo de exercitar a análise do fluxo de controle, em situações com características relevantes e que ocorrem freqüentemente, incluindo vários tipos de laços e estruturas com condições complexas. Programas com expressivo número de caminhos e de estados também foram utilizados nos testes. O método desenvolvido constitui-se num passo importante para a estimativa do WCET em JavaUniversidade Federal de PernambucoCavalcante, Sérgio Vanderlei Guedes, Paulo Abadie2014-06-12T15:59:12Z2014-06-12T15:59:12Z2004info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfAbadie Guedes, Paulo; Vanderlei Cavalcante, Sérgio. Uma metodologia para análise de fluxo de programas Java para tempo real. 2004. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2004.https://repositorio.ufpe.br/handle/123456789/2553porAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPE2019-10-25T08:49:52Zoai:repositorio.ufpe.br:123456789/2553Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T08:49:52Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.none.fl_str_mv Uma metodologia para análise de fluxo de programas Java para tempo real
title Uma metodologia para análise de fluxo de programas Java para tempo real
spellingShingle Uma metodologia para análise de fluxo de programas Java para tempo real
Guedes, Paulo Abadie
WCET
Tempo de execução no pior caso
Análise de fluxo
Interpretação abstrata
Tempo real hard
Java para tempo real
RTJ
Máquina virtual java
title_short Uma metodologia para análise de fluxo de programas Java para tempo real
title_full Uma metodologia para análise de fluxo de programas Java para tempo real
title_fullStr Uma metodologia para análise de fluxo de programas Java para tempo real
title_full_unstemmed Uma metodologia para análise de fluxo de programas Java para tempo real
title_sort Uma metodologia para análise de fluxo de programas Java para tempo real
author Guedes, Paulo Abadie
author_facet Guedes, Paulo Abadie
author_role author
dc.contributor.none.fl_str_mv Cavalcante, Sérgio Vanderlei
dc.contributor.author.fl_str_mv Guedes, Paulo Abadie
dc.subject.por.fl_str_mv WCET
Tempo de execução no pior caso
Análise de fluxo
Interpretação abstrata
Tempo real hard
Java para tempo real
RTJ
Máquina virtual java
topic WCET
Tempo de execução no pior caso
Análise de fluxo
Interpretação abstrata
Tempo real hard
Java para tempo real
RTJ
Máquina virtual java
description Esta dissertação apresenta um método de análise de fluxo para a estimativa do WCET (worst-case execution time), o tempo de execução no pior caso, criado através da adaptação de uma abordagem desenvolvida recentemente com o mesmo fim, sobre programas de tempo real orientados a objeto. O método é uma extensão projetada para trabalhar sobre bytecodes Java, assumindo que não há nenhuma forma de anotação de código presente e também que o código-fonte original não está disponível. Devido a estas suposições, foi necessário determinar a estrutura original do programa, através de algoritmos existentes para análise de fluxo de controle. Outras informações sobre o programa foram necessárias, especialmente relativas às expressões condicionais, que foram fundamentais para a determinação dos caminhos possíveis no grafo. Além do método criado, foi desenvolvida uma ferramenta para análise de fluxo que implementa, de forma parcial, uma das interpretações abstratas possíveis para este tipo de finalidade. A interpretação implementada forneceu os resultados que confirmam os conceitos subjacentes a este trabalho. A ferramenta criada foi testada em alguns programas obtidos na literatura. Esses programas foram selecionados com o objetivo de exercitar a análise do fluxo de controle, em situações com características relevantes e que ocorrem freqüentemente, incluindo vários tipos de laços e estruturas com condições complexas. Programas com expressivo número de caminhos e de estados também foram utilizados nos testes. O método desenvolvido constitui-se num passo importante para a estimativa do WCET em Java
publishDate 2004
dc.date.none.fl_str_mv 2004
2014-06-12T15:59:12Z
2014-06-12T15:59:12Z
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.uri.fl_str_mv Abadie Guedes, Paulo; Vanderlei Cavalcante, Sérgio. Uma metodologia para análise de fluxo de programas Java para tempo real. 2004. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2004.
https://repositorio.ufpe.br/handle/123456789/2553
identifier_str_mv Abadie Guedes, Paulo; Vanderlei Cavalcante, Sérgio. Uma metodologia para análise de fluxo de programas Java para tempo real. 2004. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2004.
url https://repositorio.ufpe.br/handle/123456789/2553
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.format.none.fl_str_mv application/pdf
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
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1856041916535144448

Registros relacionados