메뉴 건너뛰기




Volumn 40, Issue 6, 2010, Pages 507-542

Worst-case execution time analysis for a Java processor

Author keywords

Java processor; Real time system; Worst case execution time

Indexed keywords

ANALYSIS TOOLS; BYTECODES; CACHE ANALYSIS; DYNAMIC METHOD; EXECUTION TIME; INTEGER LINEAR PROGRAMMING; INTEGRATED DATA; INTEGRATED METHOD; JAVA BYTE CODES; JAVA METHODS; JAVA PROCESSORS; JAVA SYSTEM; JAVA VIRTUAL MACHINES; LOW-LEVEL ANALYSIS; REAL-TIME APPLICATION; REAL-TIME TASKS; STATIC APPROACH; STATIC APPROXIMATIONS; TYPE ANALYSIS; WORST-CASE EXECUTION TIME; WORST-CASE EXECUTION TIME ANALYSIS;

EID: 77952983944     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.968     Document Type: Article
Times cited : (72)

References (79)
  • 3
    • 42949092270 scopus 로고    scopus 로고
    • A Java processor architecture for embedded real-time systems
    • Schoeberl M. A Java processor architecture for embedded real-time systems. Journal of Systems Architecture 2008; 54/1-2:265-286.
    • (2008) Journal of Systems Architecture , vol.54 , Issue.1-2 , pp. 265-286
    • Schoeberl, M.1
  • 5
    • 38949088266 scopus 로고    scopus 로고
    • Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
    • Wellings A. Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?. Ada Letters 2003; XXIII(4):16-21.
    • (2003) Ada Letters , vol.23 , Issue.4 , pp. 16-21
    • Wellings, A.1
  • 9
    • 77952965823 scopus 로고    scopus 로고
    • Mälardalen Real-Time Research Center. WCET benchmarks. Available at, 11 February
    • Mälardalen Real-Time Research Center. WCET benchmarks. Available at: http://www.mrtc.mdh.se/projects/wcet/benchmarks.html [11 February 2009].
    • (2009)
  • 11
    • 0031101153 scopus 로고    scopus 로고
    • Picojava-i: The java virtual machine in hardware
    • O'Connor JM, Tremblay M. picojava-i: The java virtual machine in hardware. IEEE Micro 1997; 17(2):45-53.
    • (1997) IEEE Micro , vol.17 , Issue.2 , pp. 45-53
    • O'Connor, J.M.1    Tremblay, M.2
  • 12
    • 51549115795 scopus 로고    scopus 로고
    • Master's Thesis, Vienna University of Technology
    • Puffitsch W. picoJava-II in an FPGA. Master's Thesis, Vienna University of Technology, 2007; 113.
    • (2007) PicoJava-II in an FPGA , vol.113
    • Puffitsch, W.1
  • 14
  • 15
    • 77953015950 scopus 로고    scopus 로고
    • Imsys. Im1101c (the Cjip) technical reference manual/v0.25
    • Imsys. Im1101c (the Cjip) technical reference manual/v0.25, 2004.
    • (2004)
  • 20
    • 34047134719 scopus 로고    scopus 로고
    • Evaluation of a Java processor
    • Vienna, Austria, October
    • Schoeberl M. Evaluation of a Java processor. Tagungsband Austrochip 2005, Vienna, Austria, October 2005; 127-134.
    • (2005) Tagungsband Austrochip 2005 , pp. 127-134
    • Schoeberl, M.1
  • 21
    • 0024683086 scopus 로고
    • Reasoning about time in higher-level language software
    • Shaw AC. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering 1989; 15(7):875-889.
    • (1989) IEEE Transactions on Software Engineering , vol.15 , Issue.7 , pp. 875-889
    • Shaw, A.C.1
  • 22
    • 0031186994 scopus 로고    scopus 로고
    • Computing maximum task execution times-a graph-based approach
    • Puschner P, Schedl A. Computing maximum task execution times-a graph-based approach. Journal of Real-time Systems 1997; 13(1):67-91.
    • (1997) Journal of Real-time Systems , vol.13 , Issue.1 , pp. 67-91
    • Puschner, P.1    Schedl, A.2
  • 28
    • 0029517739 scopus 로고
    • Integrating the timing analysis of pipelining and instruction caching
    • Pisa, Italy
    • Healy CA, Whalley DB, Harmon MG. Integrating the timing analysis of pipelining and instruction caching. IEEE Real-time Systems Symposium, Pisa, Italy, 1995; 288-297.
    • (1995) IEEE Real-time Systems Symposium , pp. 288-297
    • Healy, C.A.1    Whalley, D.B.2    Harmon, M.G.3
  • 29
    • 0033334995 scopus 로고    scopus 로고
    • Efficient and precise cache behavior prediction for real-time systems
    • Ferdinand C, Wilhelm R. Efficient and precise cache behavior prediction for real-time systems. Real-time Systems 1999; 17(2-3):131-181.
    • (1999) Real-time Systems , vol.17 , Issue.2-3 , pp. 131-181
    • Ferdinand, C.1    Wilhelm, R.2
  • 33
    • 6944231166 scopus 로고    scopus 로고
    • The influence of processor architecture on the design and results of WCET tools
    • Heckmann R, Langenbach M, Thesing S, Wilhelm R. The influence of processor architecture on the design and results of WCET tools. Proceedings of the IEEE 2003; 91(7):1038-1054.
    • (2003) Proceedings of the IEEE , vol.91 , Issue.7 , pp. 1038-1054
    • Heckmann, R.1    Langenbach, M.2    Thesing, S.3    Wilhelm, R.4
  • 35
    • 0013225410 scopus 로고    scopus 로고
    • A review of worst-case execution-time analysis (editorial)
    • Puschner P, Burns A. A review of worst-case execution-time analysis (editorial). Real-time Systems 2000; 18(2/3):115-128.
    • (2000) Real-time Systems , vol.18 , Issue.2-3 , pp. 115-128
    • Puschner, P.1    Burns, A.2
  • 61
    • 0000039023 scopus 로고
    • Calculating the maximum execution time of real-time programs
    • Puschner P, Koza C. Calculating the maximum execution time of real-time programs. Real-time Systems 1989; 1(2):159-176.
    • (1989) Real-time Systems , vol.1 , Issue.2 , pp. 159-176
    • Puschner, P.1    Koza, C.2
  • 63
    • 28144431810 scopus 로고    scopus 로고
    • Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis
    • Artho C, Biere A. Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis. Electronic Notes in Theoretical Computer Science 2005; 141(1):109-128.
    • (2005) Electronic Notes in Theoretical Computer Science , vol.141 , Issue.1 , pp. 109-128
    • Artho, C.1    Biere, A.2
  • 65
    • 77953014982 scopus 로고    scopus 로고
    • Verifying execution time using the TASM toolset and UPPAAL
    • Embedded Systems Laboratory, Massachusetts Institute of Technology
    • Ouimet M, Lundqvist K. Verifying execution time using the TASM toolset and UPPAAL. Technical Report ESL-TIK-00212, Embedded Systems Laboratory, Massachusetts Institute of Technology, 2007.
    • (2007) Technical Report ESL-TIK-00212
    • Ouimet, M.1    Lundqvist, K.2
  • 68
    • 0012526366 scopus 로고    scopus 로고
    • Byte code engineering with the BCEL API
    • Freie Universitat, Berlin, April
    • Dahm M. Byte code engineering with the BCEL API. Technical Report, Freie Universitat, Berlin, April 2001; 11.
    • (2001) Technical Report , vol.11
    • Dahm, M.1
  • 72
    • 0001956132 scopus 로고    scopus 로고
    • Soot-A Java optimization framework
    • Raja Vallée-Rai VSPLEG, Hendren L, Co P., Mississauga, Ontario, Canada
    • Raja Vallée-Rai VSPLEG, Hendren L, Co P. Soot-A Java optimization framework. Proceedings of CASCON 1999, Mississauga, Ontario, Canada, 1999; 125-135.
    • Proceedings of CASCON 1999 , vol.1999 , pp. 125-135
  • 79
    • 62749108463 scopus 로고    scopus 로고
    • Time-predictable computer architecture
    • Schoeberl M. Time-predictable computer architecture. EURASIP Journal on Embedded Systems 2009; 2009:17, 758480.
    • (2009) EURASIP Journal on Embedded Systems , vol.2009 , Issue.17 , pp. 758480
    • Schoeberl, M.1


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