Portable worst-case execution time analysis using Java Byte Code

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2000, Pages 81-88

  Bernat, G ^a   Burns, A ^a   Wellings, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADA COMPILERS; CONTROL FLOWS; INDUSTRIAL CONTEXT; JAVA BYTE CODES; MECHANISM-BASED; SOURCE LANGUAGE; WCET ANALYSIS; WORST-CASE EXECUTION TIME ANALYSIS;

EMBEDDED SYSTEMS; REAL TIME SYSTEMS;

PROGRAM COMPILERS;

EID: 84884691173     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2000.853995     Document Type: Conference Paper

References (13)

1. B. Carré, T. Jennings, F. Maclennan, P. Farrow, and J. Garnsworthy. SPARK: the SPADE Ada kernel (edition 3.1). Program Validation Ltd., 1992.
2. R. Chapman, A. Burns, and A. Wellings. Combining static worst-case execution time analysis and program proof. Real-Time Systems, 11:145-171, 1996. (Pubitemid 126716100)
3. J. Engblom, A. Ermedahl, M. Sjodin, J. Gustafsson, and H. Hansson. Towards industry strength worst-case execution time analysis. Technical Report DoCS 109, DoCS Uppsala University, 1999.
4. C. A. Hsieh, M. T. Conte, T. L. Johnson, J. Gyllenhaal, and W. Hwu. Using NET to capture performance in Java-based software. In IEEE Computer, pages 67-75, 1997.
5. International J Consortium Specification. Real-Time Core Extensions for the Java Platform. Specification No. T1-00-01. http://www.j-consortium.org, 2000.
6. E. Kligerman and A. Stoyenko. Real-Time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering, SE-12(9):941-949, 1986.
7. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addisson Wesley, second edition, 1999.
8. S. S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann Publishers, 1997.
9. Newmonics Inc. Perc 2.01, 1999.
10. O'Connor, J. Michael, and M. Tremblay. PicoJava-I: The Java virtual machine in hardware. IEEE Micro, 17(2):45-53, 1997. (Pubitemid 127559766)
11. P. Puschner and A. Burns. A review of WCET analysis. guest editors introduction. Real-Time Systems (To appear), 2000.
12. P. Puschner and A. B. Schedl. Computing maximum task execution times - a graph based approach. Real-Time Systems, 1(27), 1991.
13. The Real Time for Java Experts Group. Real-Time Specification for Java v: 0.9.1. http://www.rtj.org, Feb, 2000.