PERF - Um Ambiente de Desenvolvimento Voltado para Testes Temporais de Software
Resumo
Ferramentas de apoio os teste de restrições temporais são muitos úteis no desenvolvimento de Sistemas em Tempo Real. Apesar de sua importância, são raras as ferramentas existentes voltadas para este segmento. Assim, foi desenvolvido o ambiente PERF, composto de várias ferramentas, para desenvolvimento e avaliação de Sistemas em Tempo Real. Este artigo apresenta o ambiente PERF, seu atual estágio de desenvolvimento e a ferramenta de estimação de tempo de execução integrada ao ambiente, que tem o objetivo de, através de análise estática, estimar os tempos de execução de um sistema computacional.
Referências
Página da ferramenta Cinderella. http://www.ww.princeton.edu/~yauli/cinderella-3.0.
Góes, J.; Linhares, R.; Renaux, D. Estimação de Tempo de Execução de Programas no Ambiente PERF. In Workshop de Tempo Real, do XIX Simpósio Brasileiro de Redes de Computadores. Florianópolis: 2001. http://lit.cpdtt.cefetpr.br.
Góes, J. PERF: Ambiente de Desenvolvimento e Estimação Temporal de Sistemas em Tempo Real. Dissertação de Mestrado no Curso de Pós-Graduação em Engenharia Elétrica e Informática Industrial. CEFET-PR. Curitiba: 2001. http://lit.cpdtt.cefetpr.br.
Engblom, J.; Ermedahl, A.; Sjödin, M.; Gustafsson, J; Hansson, H. Towards Industry-Strength Worst-Case Execution Time Analysis. ASTEC Technical Report 99/02 and DoCS Technical report 99/109.
Kawamura, A. Análise Estática de Programas para Medição de Tempos de Execução. Dissertação de Mestrado no Curso de Pós-Graduação em Engenharia Elétrica e Informática Industrial. CEFET-PR. Curitiba-PR.
Li, Y.; Malik, S. Performance Analysis of Embedded Software Using Implicit Path Numeration. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems. La Jolla, USA. p. 95-105.
Lim, S.; Bea, Y.; Jang, G.; Rhee, B.; Min, S.; Park, C.; Shin, H.; Kim, C. An Accurate Worst Case Timing Analysis for RISC Processors. In Proceedings of 15th Real-Time Systems Symposium. p. 97-108.
Park, C.; Shaw, A. Experiments with a Program Timing Tool Based on Source-Level Timing Schema. IEEE Computer, v. 24, n. 5, p. 48-57. Maio 1991.
Puschner, P.; Burns A. A Review of Worst-case Execution-Time Analysis (Editorial). Technische Universität Wien. Real-Time Systems, v. 18, n. 2/3, p. 115-128, Maio 2000.
Renaux, D. RTX-Parlog: A Concurrent Logic Programming Language for Real-Time Systems. Waterloo, Canada, 1993. Ph.D. Thesis. University of Waterloo.
RENAUX, Douglas P. B.; BRAGA, André Schinzel; KAWAMURA, Alexandre. PERF3: Um ambiente para avaliação temporal de Sistemas em Tempo Real in: II Workshop de Sistemas em Tempo Real. Salvador: 1999, p. 76-87.
Stoyenko, A.; Hamacher, V.; Holt, R. Analysing Hard-Real-Time Programs for Guaranteed Schedulability. IEEE Transactions on Software Engineering v. 17, n. 8, p. 737-750.
Góes, J.; Linhares, R.; Renaux, D. Estimação de Tempo de Execução de Programas no Ambiente PERF. In Workshop de Tempo Real, do XIX Simpósio Brasileiro de Redes de Computadores. Florianópolis: 2001. http://lit.cpdtt.cefetpr.br.
Góes, J. PERF: Ambiente de Desenvolvimento e Estimação Temporal de Sistemas em Tempo Real. Dissertação de Mestrado no Curso de Pós-Graduação em Engenharia Elétrica e Informática Industrial. CEFET-PR. Curitiba: 2001. http://lit.cpdtt.cefetpr.br.
Engblom, J.; Ermedahl, A.; Sjödin, M.; Gustafsson, J; Hansson, H. Towards Industry-Strength Worst-Case Execution Time Analysis. ASTEC Technical Report 99/02 and DoCS Technical report 99/109.
Kawamura, A. Análise Estática de Programas para Medição de Tempos de Execução. Dissertação de Mestrado no Curso de Pós-Graduação em Engenharia Elétrica e Informática Industrial. CEFET-PR. Curitiba-PR.
Li, Y.; Malik, S. Performance Analysis of Embedded Software Using Implicit Path Numeration. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems. La Jolla, USA. p. 95-105.
Lim, S.; Bea, Y.; Jang, G.; Rhee, B.; Min, S.; Park, C.; Shin, H.; Kim, C. An Accurate Worst Case Timing Analysis for RISC Processors. In Proceedings of 15th Real-Time Systems Symposium. p. 97-108.
Park, C.; Shaw, A. Experiments with a Program Timing Tool Based on Source-Level Timing Schema. IEEE Computer, v. 24, n. 5, p. 48-57. Maio 1991.
Puschner, P.; Burns A. A Review of Worst-case Execution-Time Analysis (Editorial). Technische Universität Wien. Real-Time Systems, v. 18, n. 2/3, p. 115-128, Maio 2000.
Renaux, D. RTX-Parlog: A Concurrent Logic Programming Language for Real-Time Systems. Waterloo, Canada, 1993. Ph.D. Thesis. University of Waterloo.
RENAUX, Douglas P. B.; BRAGA, André Schinzel; KAWAMURA, Alexandre. PERF3: Um ambiente para avaliação temporal de Sistemas em Tempo Real in: II Workshop de Sistemas em Tempo Real. Salvador: 1999, p. 76-87.
Stoyenko, A.; Hamacher, V.; Holt, R. Analysing Hard-Real-Time Programs for Guaranteed Schedulability. IEEE Transactions on Software Engineering v. 17, n. 8, p. 737-750.
Publicado
03/10/2001
Como Citar
GÓES, João Alexandre; RENAUX, Douglas P. B..
PERF - Um Ambiente de Desenvolvimento Voltado para Testes Temporais de Software. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 15. , 2001, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2001
.
p. 404-409.
DOI: https://doi.org/10.5753/sbes.2001.24010.
