메뉴 건너뛰기




Volumn 1, Issue , 2008, Pages 104-111

Performance comparison of techniques on static path analysis of WCET

Author keywords

ILP; Model checking; Real time; Static path analysis; WCET

Indexed keywords

COMPLEX STRUCTURES; EXECUTION PATHS; EXECUTION TIME; ILP; KEY PROCESS; PERFORMANCE COMPARISONS; PERFORMANCE DATUM; REAL-TIME; RESEARCH COMMUNITIES; SCALABILITY PROBLEMS; STATIC PATH ANALYSIS; WCET; WORST-CASE EXECUTION TIME;

EID: 63449125676     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EUC.2008.178     Document Type: Conference Paper
Times cited : (15)

References (19)
  • 1
    • 63449085857 scopus 로고    scopus 로고
    • http://www.mrtc.mdh.se/projects/wcet/benchmarks.html.
  • 5
    • 34547263527 scopus 로고    scopus 로고
    • Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking
    • New York, NY, USA
    • Z. Gu, X. He, and M. Yuan. Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking. In DAC'07: Proceedings of the 44th annual conference on Design automation, pages 294-299, New York, NY, USA, 2007.
    • (2007) DAC'07: Proceedings of the 44th annual conference on Design automation , pp. 294-299
    • Gu, Z.1    He, X.2    Yuan, M.3
  • 7
    • 18944390941 scopus 로고    scopus 로고
    • The model checker spin
    • G. J. Holzmann. The model checker spin. IEEE Trans. Softw. Eng., 23(5):279-295, 1997.
    • (1997) IEEE Trans. Softw. Eng , vol.23 , Issue.5 , pp. 279-295
    • Holzmann, G.J.1
  • 8
    • 57849111612 scopus 로고    scopus 로고
    • Chronos: A timing analyzer for embedded software
    • Technical report, National University of Singapore
    • X. Li, Y. Liang, T. Mitra, and A. Roychoudhury. Chronos: A timing analyzer for embedded software. Technical report, National University of Singapore, 2005.
    • (2005)
    • Li, X.1    Liang, Y.2    Mitra, T.3    Roychoudhury, A.4
  • 9
    • 33747319225 scopus 로고    scopus 로고
    • Modeling out-of-order processors for wcet analysis
    • X. Li, A. Roychoudhury, and T. Mitra. Modeling out-of-order processors for wcet analysis. Real-Time Syst., 34(3):195-227, 2006.
    • (2006) Real-Time Syst , vol.34 , Issue.3 , pp. 195-227
    • Li, X.1    Roychoudhury, A.2    Mitra, T.3
  • 10
    • 0003581143 scopus 로고
    • Kluwer Academic Publishers, Norwell, MA, USA
    • K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
    • (1993) Symbolic Model Checking
    • McMillan, K.L.1
  • 11
    • 33745469024 scopus 로고    scopus 로고
    • Why model checking can improve wcet analysis
    • A. Metzner. Why model checking can improve wcet analysis. In CAV, pages 334-347, 2004.
    • (2004) CAV , pp. 334-347
    • Metzner, A.1
  • 12
    • 0000039023 scopus 로고
    • Calculating the maximum execution time of real-time programs
    • P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs. Real-Time Systems, pages 159-176, 1989.
    • (1989) Real-Time Systems , pp. 159-176
    • Puschner, P.1    Koza, C.2
  • 13
    • 0343368330 scopus 로고
    • Computing maximum task execution times with linear programming techniques
    • Technical report, Technische Universität Wien, Institut fur Technische Informatik
    • P. Puschner and A. Schedl. Computing maximum task execution times with linear programming techniques. Technical report, Technische Universität Wien, Institut fur Technische Informatik, 1995.
    • (1995)
    • Puschner, P.1    Schedl, A.2
  • 14
    • 33847692450 scopus 로고    scopus 로고
    • Nusmv 2.4 user manual
    • Technical report, ITC-irst, Italy
    • C. A. J. G. K. E. O. M. P. M. R. Roberto Cavada, Alessandro Cimatti and A. Tchaltsev. Nusmv 2.4 user manual. Technical report, ITC-irst, Italy, 2005.
    • (2005)
    • Roberto Cavada, C.A.J.G.1    Cimatti, A.2    Tchaltsev, A.3
  • 15
    • 0032292381 scopus 로고    scopus 로고
    • Combining abstract interpretation and ilp for microarchitecture modelling and program path analysis
    • Dec
    • H. Theiling and C. Ferdinand. Combining abstract interpretation and ilp for microarchitecture modelling and program path analysis. Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE, pages 144-153, Dec 1998.
    • (1998) Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE , pp. 144-153
    • Theiling, H.1    Ferdinand, C.2
  • 16
    • 0033750056 scopus 로고    scopus 로고
    • Fast and precise wcet prediction by separated cache andpath analyses
    • H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise wcet prediction by separated cache andpath analyses. RealTime Systems, 18(2-3):157-179, 2000.
    • (2000) RealTime Systems , vol.18 , Issue.2-3 , pp. 157-179
    • Theiling, H.1    Ferdinand, C.2    Wilhelm, R.3
  • 17
    • 84944210284 scopus 로고    scopus 로고
    • Why ai + ilp is good for wcet, but mc is not, nor ilp alone
    • R. Wilhelm. Why ai + ilp is good for wcet, but mc is not, nor ilp alone. In VMCAI, pages 309-322, 2004.
    • (2004) VMCAI , pp. 309-322
    • Wilhelm, R.1
  • 18
    • 43949126892 scopus 로고    scopus 로고
    • R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem - overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1-53, 2008.
    • R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem - overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1-53, 2008.
  • 19
    • 0029233511 scopus 로고
    • Performance analysis of embedded software using implicit path enumeration
    • S. M. Yau-Tsun Steven Li. Performance analysis of embedded software using implicit path enumeration. 32nd Conference on Design Automation, 1995., pages 456-461, 1995.
    • (1995) 32nd Conference on Design Automation , pp. 456-461
    • Yau-Tsun, S.M.1    Steven, L.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.