Estudo Empírico sobre o uso da Ferramenta aiT no Cálculo do WCET

  • Renan Starke UFSC
  • Romulo de Oliveira

Resumo


A determinação do limite superior do tempo de execução (Worst-Case Execution Time -- WCET) de tarefas é uma etapa importante no desenvolvimento e validação de sistemas de tempo real críticos. Os métodos que utilizam medições não são considerados seguros e as análises estáticas são conhecidas como sendo um problema difícil se o arquitetura do processador utilizar memórias cache, pipelines e componentes especulativos. Este artigo apresenta um estudo empírico da ferramenta WCET aiT considerada uma das melhores do ramo. Há uma descrição da ferramenta e dos métodos que ela utiliza e são apresentados alguns códigos de teste analisados para o processador ARM7.

Referências

"aiT Worst-Case Execution Time Analyzers " http://www.absint. com/ait/ AbsInt 2010. [Online]. Available: http://www.absint.com/ait/

ARM "ARM7 CPUs " 2010. [Online]. Available: http://www.arm.com/products/processors/classic/arm7/index.php

"ARM CPUs " http://www.arm.com/products/CPUs/ ARM 2010. [Online]. Available: http://www.arm.com/products/CPUs/

R. Wilhelm T. Mitra F. Mueller I. Puaut P. Puschner J. Staschulat P. Stenström J. Engblom A. Ermedahl N. Holsti S. Thesing D. Whalley G. Bernat C. Ferdinand and R. Heckmann "The worst-case execution-time problem - overview of methods and survey of tools " ACM Transactions on Embedded Computing Systems vol. 7 no. 3 pp. 1-53 Apr. 2008. [Online]. Available: http://portal.acm.org/citation.cfm?doid=1347375.1347389

T. Martin The Insider's Guide To The NXP LPC2000 Based Microcontrollers 1st ed. M. Beach Ed. Hitex (UK) 2007. [Online]. Available: http://www.hitex.com/index.php?id=download-insiders-guides

"AbsInt Advanced Analyzerfor ARM7 - User Documentation a3 Version: 10.08 Build 145451 " AbsInt August 2010.

C. Ferdinand and R. Wilhelm "Fast and efficient cache behavior prediction " 1997.
Publicado
07/11/2011
STARKE, Renan; DE OLIVEIRA, Romulo. Estudo Empírico sobre o uso da Ferramenta aiT no Cálculo do WCET. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 1. , 2011, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 86-89. ISSN 2237-5430.