Analysis of the extreme value theory on the estimation of probabilistic wcet
Autor(a) principal: | |
---|---|
Data de Publicação: | 2021 |
Tipo de documento: | Dissertação |
Idioma: | eng |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da PUC_RS |
Texto Completo: | http://tede2.pucrs.br/tede2/handle/tede/10022 |
Resumo: | Quando sistemas de tempo real são desenvolvidos para aplicações críticas, o tempo de execução é um requisito tão importante quanto o resultado computado. Por este motivo, o tempo máximo de execução de um sistema de tempo real deve obrigatoriamente ser determinado durante a fase de projeto. Estimar o tempo de execução de sistemas complexos impacta diretamente no tempo e nos custos da análise durante o desenvolvimento do sistema. Neste contexto, esta dissertação tem por objectivo avaliar a possibilidade do método MBPTA (do inglês: Measured-Based Probabilistic Timing Analysis) se basear na Teoria de Valores Extremos (EVT - Extreme Value Theory) para estimar o tempo de execução do pior caso probabilístico (pWCET - Probabilistic Worst-Case Execution Time) de uma aplicação em uma plataforma de hardware simulado. Para tanto, utilizou-se o processador MIPS rodando dois algoritmos como estudo-de-caso: Bubble Sort e Filtro FIR. Estes algoritmos têm o WCET estimado através do método de análise de tempo determinístico estático (Static Deterministic Timing Analysis – SDTA). Neste trabalho, o MBPTA é estimado através de duas técnicas distintas: Block Maxima (BM) e Peak Over Threshold (POT), as quais são combinadas com EVT para a estimação final do WCET. Os valores de WCET obtidos por MBPTA/BM e MBPTA/POT com EVT são comparados contra os valores de referência, obtidos através do método SDTA. Os resultados obtidos sugerem que a técnica BM fornece resultados confiáveis mais facilmente do que POT. Embora POT seja mais complexa, as análises sugerem que esta técnica possui mais precisão que BM, especialmente quando não são repetidos os valores de entrada da aplicação analisada. |
id |
P_RS_5e1d475fda45098150cff53250bcc7e0 |
---|---|
oai_identifier_str |
oai:tede2.pucrs.br:tede/10022 |
network_acronym_str |
P_RS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da PUC_RS |
repository_id_str |
|
spelling |
Vargas, Fabian Luishttp://lattes.cnpq.br/9050311050537919http://lattes.cnpq.br/8519206382952169Machado, Guilherme Isaias Debom2021-12-20T17:17:34Z2021-07-27http://tede2.pucrs.br/tede2/handle/tede/10022Quando sistemas de tempo real são desenvolvidos para aplicações críticas, o tempo de execução é um requisito tão importante quanto o resultado computado. Por este motivo, o tempo máximo de execução de um sistema de tempo real deve obrigatoriamente ser determinado durante a fase de projeto. Estimar o tempo de execução de sistemas complexos impacta diretamente no tempo e nos custos da análise durante o desenvolvimento do sistema. Neste contexto, esta dissertação tem por objectivo avaliar a possibilidade do método MBPTA (do inglês: Measured-Based Probabilistic Timing Analysis) se basear na Teoria de Valores Extremos (EVT - Extreme Value Theory) para estimar o tempo de execução do pior caso probabilístico (pWCET - Probabilistic Worst-Case Execution Time) de uma aplicação em uma plataforma de hardware simulado. Para tanto, utilizou-se o processador MIPS rodando dois algoritmos como estudo-de-caso: Bubble Sort e Filtro FIR. Estes algoritmos têm o WCET estimado através do método de análise de tempo determinístico estático (Static Deterministic Timing Analysis – SDTA). Neste trabalho, o MBPTA é estimado através de duas técnicas distintas: Block Maxima (BM) e Peak Over Threshold (POT), as quais são combinadas com EVT para a estimação final do WCET. Os valores de WCET obtidos por MBPTA/BM e MBPTA/POT com EVT são comparados contra os valores de referência, obtidos através do método SDTA. Os resultados obtidos sugerem que a técnica BM fornece resultados confiáveis mais facilmente do que POT. Embora POT seja mais complexa, as análises sugerem que esta técnica possui mais precisão que BM, especialmente quando não são repetidos os valores de entrada da aplicação analisada.Real Time systems developed for critical applications require a proper execution time as important as the correct computed outcome. Owing to this, the maximum execution time of a Real Time System shall be determined by design. Estimate the execution time of complex systems affects time and analysis cost directly during the system development. In this sense, this dissertation aims to assess the possibility of applying MBPTA (Measured-Based Probabilistic Timing Analysis) based on EVT (Extreme Value Theory) to estimate the pWCET (Probabilistic Worst-Case Execution Time) of a given application in a given hardware platform. With this purpose, this dissertation makes use of the MIPS processor executing two algorithms as case studies: Bubble Sort and FIR Filter. These algorithms have WCET estimated by SDTA (Static Deterministic Timing Analysis). This work applies MBPTA with two different approaches: Block Maxima (BM) and Peak Over Threshold (POT), which are combined with EVT to estimate the final WCET. Then it compares the obtained WCET values by MBPTA/BM and MBPTA/POT with EVT to reference values, obtained by the SDTA method. The obtained results suggest that the BM approach presents a reduced complexity implementation as compared to the POT approach. Nevertheless, besides the POT higher complexity, this approach is more accurate than the BM, especially when input data values are not repeated.Submitted by PPG Engenharia Elétrica (engenharia.pg.eletrica@pucrs.br) on 2021-12-20T13:14:19Z No. of bitstreams: 1 GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf: 1849066 bytes, checksum: 9fc5c26c4df678b379307d5a10281557 (MD5)Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2021-12-20T17:11:30Z (GMT) No. of bitstreams: 1 GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf: 1849066 bytes, checksum: 9fc5c26c4df678b379307d5a10281557 (MD5)Made available in DSpace on 2021-12-20T17:17:34Z (GMT). No. of bitstreams: 1 GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf: 1849066 bytes, checksum: 9fc5c26c4df678b379307d5a10281557 (MD5) Previous issue date: 2021-07-27Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESapplication/pdfhttp://tede2.pucrs.br:80/tede2/retrieve/182931/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.jpgengPontifícia Universidade Católica do Rio Grande do SulPrograma de Pós-Graduação em Engenharia ElétricaPUCRSBrasilEscola PolitécnicaWorst-Case Execution Time (WCET)WCET EstimationMeasured-Based Probabilistic Timing Analysis (MBPTA)Extreme Value Theory (EVT)Block Maxima (BM)Peak Over Threshold (POT)Aplicação de Tempo RealReal-Time ApplicationENGENHARIASAnalysis of the extreme value theory on the estimation of probabilistic wcetinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisTrabalho não apresenta restrição para publicação-26605041092728202950050060045189710564848268253590462550136975366info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_RSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSTHUMBNAILGUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.jpgGUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.jpgimage/jpeg4938http://tede2.pucrs.br/tede2/bitstream/tede/10022/4/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.jpgc2fe49047198df2e5e8056d186a35237MD54TEXTGUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.txtGUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.txttext/plain162412http://tede2.pucrs.br/tede2/bitstream/tede/10022/3/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.txt71145faf657afd2fff37dca3a15f80eaMD53ORIGINALGUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdfGUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdfapplication/pdf1849066http://tede2.pucrs.br/tede2/bitstream/tede/10022/2/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf9fc5c26c4df678b379307d5a10281557MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-8590http://tede2.pucrs.br/tede2/bitstream/tede/10022/1/license.txt220e11f2d3ba5354f917c7035aadef24MD51tede/100222021-12-20 20:00:30.415oai:tede2.pucrs.br:tede/10022QXV0b3JpemE/P28gcGFyYSBQdWJsaWNhPz9vIEVsZXRyP25pY2E6IENvbSBiYXNlIG5vIGRpc3Bvc3RvIG5hIExlaSBGZWRlcmFsIG4/OS42MTAsIGRlIDE5IGRlIGZldmVyZWlybyBkZSAxOTk4LCBvIGF1dG9yIEFVVE9SSVpBIGEgcHVibGljYT8/byBlbGV0cj9uaWNhIGRhIHByZXNlbnRlIG9icmEgbm8gYWNlcnZvIGRhIEJpYmxpb3RlY2EgRGlnaXRhbCBkYSBQb250aWY/Y2lhIFVuaXZlcnNpZGFkZSBDYXQ/bGljYSBkbyBSaW8gR3JhbmRlIGRvIFN1bCwgc2VkaWFkYSBhIEF2LiBJcGlyYW5nYSA2NjgxLCBQb3J0byBBbGVncmUsIFJpbyBHcmFuZGUgZG8gU3VsLCBjb20gcmVnaXN0cm8gZGUgQ05QSiA4ODYzMDQxMzAwMDItODEgYmVtIGNvbW8gZW0gb3V0cmFzIGJpYmxpb3RlY2FzIGRpZ2l0YWlzLCBuYWNpb25haXMgZSBpbnRlcm5hY2lvbmFpcywgY29ucz9yY2lvcyBlIHJlZGVzID9zIHF1YWlzIGEgYmlibGlvdGVjYSBkYSBQVUNSUyBwb3NzYSBhIHZpciBwYXJ0aWNpcGFyLCBzZW0gP251cyBhbHVzaXZvIGFvcyBkaXJlaXRvcyBhdXRvcmFpcywgYSB0P3R1bG8gZGUgZGl2dWxnYT8/byBkYSBwcm9kdT8/byBjaWVudD9maWNhLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://tede2.pucrs.br/tede2/PRIhttps://tede2.pucrs.br/oai/requestbiblioteca.central@pucrs.br||opendoar:2021-12-20T22:00:30Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false |
dc.title.por.fl_str_mv |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
title |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
spellingShingle |
Analysis of the extreme value theory on the estimation of probabilistic wcet Machado, Guilherme Isaias Debom Worst-Case Execution Time (WCET) WCET Estimation Measured-Based Probabilistic Timing Analysis (MBPTA) Extreme Value Theory (EVT) Block Maxima (BM) Peak Over Threshold (POT) Aplicação de Tempo Real Real-Time Application ENGENHARIAS |
title_short |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
title_full |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
title_fullStr |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
title_full_unstemmed |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
title_sort |
Analysis of the extreme value theory on the estimation of probabilistic wcet |
author |
Machado, Guilherme Isaias Debom |
author_facet |
Machado, Guilherme Isaias Debom |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Vargas, Fabian Luis |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/9050311050537919 |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/8519206382952169 |
dc.contributor.author.fl_str_mv |
Machado, Guilherme Isaias Debom |
contributor_str_mv |
Vargas, Fabian Luis |
dc.subject.por.fl_str_mv |
Worst-Case Execution Time (WCET) WCET Estimation Measured-Based Probabilistic Timing Analysis (MBPTA) Extreme Value Theory (EVT) Block Maxima (BM) Peak Over Threshold (POT) Aplicação de Tempo Real |
topic |
Worst-Case Execution Time (WCET) WCET Estimation Measured-Based Probabilistic Timing Analysis (MBPTA) Extreme Value Theory (EVT) Block Maxima (BM) Peak Over Threshold (POT) Aplicação de Tempo Real Real-Time Application ENGENHARIAS |
dc.subject.eng.fl_str_mv |
Real-Time Application |
dc.subject.cnpq.fl_str_mv |
ENGENHARIAS |
description |
Quando sistemas de tempo real são desenvolvidos para aplicações críticas, o tempo de execução é um requisito tão importante quanto o resultado computado. Por este motivo, o tempo máximo de execução de um sistema de tempo real deve obrigatoriamente ser determinado durante a fase de projeto. Estimar o tempo de execução de sistemas complexos impacta diretamente no tempo e nos custos da análise durante o desenvolvimento do sistema. Neste contexto, esta dissertação tem por objectivo avaliar a possibilidade do método MBPTA (do inglês: Measured-Based Probabilistic Timing Analysis) se basear na Teoria de Valores Extremos (EVT - Extreme Value Theory) para estimar o tempo de execução do pior caso probabilístico (pWCET - Probabilistic Worst-Case Execution Time) de uma aplicação em uma plataforma de hardware simulado. Para tanto, utilizou-se o processador MIPS rodando dois algoritmos como estudo-de-caso: Bubble Sort e Filtro FIR. Estes algoritmos têm o WCET estimado através do método de análise de tempo determinístico estático (Static Deterministic Timing Analysis – SDTA). Neste trabalho, o MBPTA é estimado através de duas técnicas distintas: Block Maxima (BM) e Peak Over Threshold (POT), as quais são combinadas com EVT para a estimação final do WCET. Os valores de WCET obtidos por MBPTA/BM e MBPTA/POT com EVT são comparados contra os valores de referência, obtidos através do método SDTA. Os resultados obtidos sugerem que a técnica BM fornece resultados confiáveis mais facilmente do que POT. Embora POT seja mais complexa, as análises sugerem que esta técnica possui mais precisão que BM, especialmente quando não são repetidos os valores de entrada da aplicação analisada. |
publishDate |
2021 |
dc.date.accessioned.fl_str_mv |
2021-12-20T17:17:34Z |
dc.date.issued.fl_str_mv |
2021-07-27 |
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 |
http://tede2.pucrs.br/tede2/handle/tede/10022 |
url |
http://tede2.pucrs.br/tede2/handle/tede/10022 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.program.fl_str_mv |
-266050410927282029 |
dc.relation.confidence.fl_str_mv |
500 500 600 |
dc.relation.cnpq.fl_str_mv |
4518971056484826825 |
dc.relation.sponsorship.fl_str_mv |
3590462550136975366 |
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.publisher.none.fl_str_mv |
Pontifícia Universidade Católica do Rio Grande do Sul |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Engenharia Elétrica |
dc.publisher.initials.fl_str_mv |
PUCRS |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Escola Politécnica |
publisher.none.fl_str_mv |
Pontifícia Universidade Católica do Rio Grande do Sul |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) instacron:PUC_RS |
instname_str |
Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) |
instacron_str |
PUC_RS |
institution |
PUC_RS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da PUC_RS |
collection |
Biblioteca Digital de Teses e Dissertações da PUC_RS |
bitstream.url.fl_str_mv |
http://tede2.pucrs.br/tede2/bitstream/tede/10022/4/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.jpg http://tede2.pucrs.br/tede2/bitstream/tede/10022/3/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf.txt http://tede2.pucrs.br/tede2/bitstream/tede/10022/2/GUILHERME_ISAIAS_DEBOM_MACHADO_DIS.pdf http://tede2.pucrs.br/tede2/bitstream/tede/10022/1/license.txt |
bitstream.checksum.fl_str_mv |
c2fe49047198df2e5e8056d186a35237 71145faf657afd2fff37dca3a15f80ea 9fc5c26c4df678b379307d5a10281557 220e11f2d3ba5354f917c7035aadef24 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) |
repository.mail.fl_str_mv |
biblioteca.central@pucrs.br|| |
_version_ |
1799765353497100288 |