Low-level analysis of a portable Java byte code WCET analysis framework

Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000

Volumn , Issue , 2000, Pages 39-46

  Bate, I ^a   Bernat, G ^a   Murphy, G ^a   Puschner, P ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Availability; Computer languages; Computer science; Contracts; Frequency; Hardware; Information analysis; Java; Pipelines; Timing

Indexed keywords

AVAILABILITY; CODES (SYMBOLS); COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; CONTRACTS; INFORMATION ANALYSIS; PIPELINE CODES; PIPELINES; REAL TIME SYSTEMS;

FREQUENCY; JAVA; LOW-LEVEL ANALYSIS; PLATFORM INDEPENDENT; TIMING; TIMING ANALYSIS; WORST-CASE EXECUTION; WORST-CASE EXECUTION TIME ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 34547336413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2000.896369     Document Type: Conference Paper

References (11)

1. G. Bernat, A. Burns, and A. Wellings. Portable worst case execution time analysis using java byte code. In proc. 6th EUROMICRO conference on Real-time Systems, June 2000.
2. G. Bollella, B. Brosgol, P. Dibble, S. Furr, J. Gosling, D. Hardin, and M. Turnbull. Real-time Specification for Java. Addisson Wesley, 2000.
3. J Consortium real-time Java working group. Real-time core extensions for the Java platform (draft), 2000. http:\\www.j-consortium.org.
4. J. Engblom and A. Ermedahl. Pipeline timing analysis using a trace-driven simulator. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), pages 88-95, December 1999.
5. C. A. Healy, R.D. Arnold, F. Mueller, D.B. Whalley, and M.G. Harmon. Bounding pipeline and instruction cache performance. IEEE Transactions on Computers, 48(1):53-70, 1999.
6. S. Lim, Y. Bae, G. Jang, B. Rhee, S. Min, C. Park, H. Shin, K. Park, and C. Kim. An accurate worst case timing analysis for RISC processors. IEEE Transactions on Software Engineering, 21(7):593-604, July 1995.
7. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addisson Wesley, second edition, 1999.
8. S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann Publishers, 1997.
9. P. Puschner and A. Schedl. Computing maximum task execution times - a graph based approach. Real-Time Systems, 13(1):67-91, July 1997.
10. P. Puschner and Ch. Koza. Calculating the maximum execution time of real-time programs. Real-Time Systems Journal, 1(2), 1989.
11. A. Shaw. Reasoning about time in high-level language software. IEEE Transactions on Software Engineering, 17(7):875-889, 1989.