Towards a high integrity real-time Java virtual machine

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2889, Issue , 2003, Pages 319-334

  Cai, Hao ^a   Wellings, Andy J ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; BIOGRAPHIES; COMPUTER SOFTWARE; MEMORY ARCHITECTURE;

FIXED-PRIORITY SCHEDULERS; IMMEDIATE CEILING PRIORITY PROTOCOLS; JAVA APPLICATIONS; JAVA VIRTUAL MACHINES; MEMORY MANAGEMENT MODEL; REAL-TIME JAVA; RESOURCE USAGE; RUNTIME ARCHITECTURE;

JAVA PROGRAMMING LANGUAGE;

EID: 0242628289     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39962-9_41     Document Type: Article

References (17)

1. G. Bollela, B. Brosgol, P. Dibble, S. Furr, J. Gosling, D. Hardin, and M. Turnbull, "The Real-time Specification for Java", Addison Wesley,2000
2. G. Bollella, K. Reinholtz, "Scoped Memory", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2002
3. P. Puschner and A.J. Wellings, "A Profile for High-integrity Real-time Java Programs", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2001
4. J. Kwon, A.J. Wellings, and S. King, "Ravenscar-Java: A High Integrity Profile for Real-Time Java", Proceeding of the Joint ACM Java Grande - ISCOPE 2002 Conference, 2002
5. J. Kwon, A.J. Welling, and S. King, "Predictable Memory Utilization in the Ravenscar-Java Profile", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003
6. G. Bemat, A. Bums, and A.J. Wellings, "Portable Worst-Case Execution Time Analysis Using Java Byte Code", Proceedings of the 12th EuroMicro Conference on Real-Time Systems, Stockholm, June 2000
7. Sun Microsystem®, Java™ 2 Platform, ®Micro Edition (J2ME™) Technology for creating Mobile Devices®, white paper, http://java.sun.com/products/cldc/, accessed March 2003
8. Sun Microsystems, "Connected, Limited Device Configuration, Specification Version 1.0a", http://java.sun.com/products/cldc/, accessed March 2003
9. T. Lindholm and F.Yellin, "The Java Virtual Machine Specification(2e)", Addison Wesley, 1999
10. F. Yellin, "Inside the The K Virtual Machine (KVM)", Presentation slice, http://java.sun.com/javaone/javaone2001/pdfs/1113.pdf, accessed April, 2003
11. B. Venners, "Inside the Java Virtual Machine", McGraw-Hill, 1999.
12. R. Jones, R. Lins, "Garbage Collection-Algorithms for Automatic Dynamic Memory Management", John Wiley & Sons, 1996
13. A. Burns and A.J. Wellings, "Real-time Systems and Programming Languages: Ada 95, Real-Time Java and Real-time POSIX", Addison Wesley Longmain, 2001
14. L. Sha, el al, "Priority Inheritance Protocols: An Approach to Real-time Synchronization", IEEE Transactions on Computers, 39(9):1175-1185, September 1990
15. X. Leroy, "Java Bytecode Verification: An Overview", Proceedings of CAV'01, number 2102 in LNCS, pages 265-285. Springer
16. T.J. Wilkinson and Associates, "Kaffe: A Free Virtual Machine to Run Java Code", Technical report, http://www.kaffe.org
17. H. Boehm et al, "Tree Benchmark for Memory Management", http://www.hpl.hp.com/personal/hans_Boehm/gc/gc_bench.html, accessed April 2003