Timing analysis: from predictions to certificates
Autor(a) principal: | |
---|---|
Data de Publicação: | 2010 |
Tipo de documento: | Dissertação |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10400.6/3764 |
Resumo: | In real-time systems timing properties must be satisfied in order to guarantee that deadlines will be met. In this context, the calculation of theworst-case execution time(WCET) is of paramount importance for schedulability analysis. However, this problem can be difficult if the underlying architecture possesses features like caches and pipelines. This thesis presents all the necessary steps for the safe and preciseWCET calculation. We focus ourselves in the use of static analysis-based methods, and in the ARMarchitecture as target platform. Moreover, in order to ensure the correctness of our calculation to a program consumer, we produce a certificate (or proof ) whose validity entails compliance with the calculated WCET. This evidence permits to locally validate the calculated WCET, avoiding the need of a blind confidence on the producer. |
id |
RCAP_0267b5f8065226c6d6424fcb09bb54fc |
---|---|
oai_identifier_str |
oai:ubibliorum.ubi.pt:10400.6/3764 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Timing analysis: from predictions to certificatesTiming analysisWorst-case execution timeStatic analysisFixpoint computationAbstract interpretationAbstraction-carrying codeIn real-time systems timing properties must be satisfied in order to guarantee that deadlines will be met. In this context, the calculation of theworst-case execution time(WCET) is of paramount importance for schedulability analysis. However, this problem can be difficult if the underlying architecture possesses features like caches and pipelines. This thesis presents all the necessary steps for the safe and preciseWCET calculation. We focus ourselves in the use of static analysis-based methods, and in the ARMarchitecture as target platform. Moreover, in order to ensure the correctness of our calculation to a program consumer, we produce a certificate (or proof ) whose validity entails compliance with the calculated WCET. This evidence permits to locally validate the calculated WCET, avoiding the need of a blind confidence on the producer.Sousa, Simão Patrício Melo deReis, RogériouBibliorumGaspar, Nuno Miguel Pires2015-07-23T10:58:09Z201020102010-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10400.6/3764enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-12-15T09:40:17Zoai:ubibliorum.ubi.pt:10400.6/3764Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:45:07.461935Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Timing analysis: from predictions to certificates |
title |
Timing analysis: from predictions to certificates |
spellingShingle |
Timing analysis: from predictions to certificates Gaspar, Nuno Miguel Pires Timing analysis Worst-case execution time Static analysis Fixpoint computation Abstract interpretation Abstraction-carrying code |
title_short |
Timing analysis: from predictions to certificates |
title_full |
Timing analysis: from predictions to certificates |
title_fullStr |
Timing analysis: from predictions to certificates |
title_full_unstemmed |
Timing analysis: from predictions to certificates |
title_sort |
Timing analysis: from predictions to certificates |
author |
Gaspar, Nuno Miguel Pires |
author_facet |
Gaspar, Nuno Miguel Pires |
author_role |
author |
dc.contributor.none.fl_str_mv |
Sousa, Simão Patrício Melo de Reis, Rogério uBibliorum |
dc.contributor.author.fl_str_mv |
Gaspar, Nuno Miguel Pires |
dc.subject.por.fl_str_mv |
Timing analysis Worst-case execution time Static analysis Fixpoint computation Abstract interpretation Abstraction-carrying code |
topic |
Timing analysis Worst-case execution time Static analysis Fixpoint computation Abstract interpretation Abstraction-carrying code |
description |
In real-time systems timing properties must be satisfied in order to guarantee that deadlines will be met. In this context, the calculation of theworst-case execution time(WCET) is of paramount importance for schedulability analysis. However, this problem can be difficult if the underlying architecture possesses features like caches and pipelines. This thesis presents all the necessary steps for the safe and preciseWCET calculation. We focus ourselves in the use of static analysis-based methods, and in the ARMarchitecture as target platform. Moreover, in order to ensure the correctness of our calculation to a program consumer, we produce a certificate (or proof ) whose validity entails compliance with the calculated WCET. This evidence permits to locally validate the calculated WCET, avoiding the need of a blind confidence on the producer. |
publishDate |
2010 |
dc.date.none.fl_str_mv |
2010 2010 2010-01-01T00:00:00Z 2015-07-23T10:58:09Z |
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://hdl.handle.net/10400.6/3764 |
url |
http://hdl.handle.net/10400.6/3764 |
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:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799136347554840576 |