Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.6/3764
Título: Timing analysis: from predictions to certificates
Autor: Gaspar, Nuno Miguel Pires
Orientador: Sousa, Simão Melo de
Reis, Rogério
Palavras-chave: Timing analysis
Worst-case execution time
Static analysis
Fixpoint computation
Abstract interpretation
Abstraction-carrying code
Data de Defesa: 2010
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.
URI: http://hdl.handle.net/10400.6/3764
Designação: Dissertação apresentada à Universidade da Beira Interior para a obtenção do grau de mestre em Engenharia Informática
Aparece nas colecções:FE - DI | Dissertações de Mestrado e Teses de Doutoramento

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
dissertacao.pdf1,02 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.