A static timing analysis environment using Java architecture for safety critical real-time systems

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn 2002-January, Issue , 2002, Pages 77-84

  Hu, E Y S ^a   Bernat, G ^a   Wellings, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Computer architecture; Computer languages; Computer science; Java; Performance analysis; Real time systems; Safety; Timing; Virtual machining; Yarn

Indexed keywords

ACCIDENT PREVENTION; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; INTERACTIVE COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; YARN;

HARD REAL TIME APPLICATIONS; HARD REAL-TIME SYSTEMS; JAVA; PERFORMANCE ANALYSIS; STATIC TIMING ANALYSIS; TIMING; VIRTUAL MACHINING; WORST-CASE EXECUTION TIME ANALYSIS;

REAL TIME SYSTEMS;

EID: 34548804359     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2002.1000039     Document Type: Conference Paper

References (17)

1. I. Bate, G. Bernat, G. Murphy and P. Puschner. Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework, In 6th IEEE Real-Time Computing Systems and Applications (RTCSA2000), pp.39-48, South Korea, December 2000
2. G. Bernat and A. Burns. An approach to symbolic worst-case execution time analysis In 25th IFAC Workshop on Real-Time Programming, Palma (Spain), May 2000
3. 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, pp.81-88, June 2000
4. G. Bollella, J. Gosling and B. Brogdol. Real-Time Specification for Java, Addison Wesley, 2000 (http://www.rtj.org)
5. E. Briot. JGNAT: The GNAT Ada 95 environment for the JVM. In Ada France 1999
6. R. Chapman, A. Burns and A. Wellings. Integrated program proof and worst-case timing analysis of Spark Ada, In proc. ACM Workshop on language, compiler and tool support for real-time systems, ACM Press 1994
7. J. Engblom and A. Ermedahl. Pipeline timing analysis using a trace-driven simulator. In proc. 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), pp. 88-95, December 1999
8. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. Technical Note 2000-003, Compaq Systems Research Center, 2000.
9. 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
10. International J Consortium Specification. Real-Time Core Extensions for the Java Platform. Specification No. T1-00-01. (http://www.j-consortium.org) 2000
11. G. T. Leavens, A. L. Baker and C. Ruby. JML: A notation for detailed design. from H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
12. 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
13. ObjectAda, Anoix (http://www.anoix.com)
14. P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs, Real-Time Systems Journal, 1(2): pp.159-176, September 1989
15. P. Puschner and A. Schedl. Computing maximum task execution times - a graph based approach. Real-Time Systems. 13(1): 67-91, July 1997
16. P. Puschner and A. Wellings. A Profile for High-Integrity Real-Time Java Programs, Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 15-22, ISORC 2001
17. A. Shaw. Reasoning about time in high-level language software, IEEE Transactions on Software Engineering, 17(7): 875-889, 1989