Predictable memory utilization in the Ravenscar-Java profile

Proceedings - 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2003

Volumn , Issue , 2003, Pages 267-274

  Kwon, J ^a   Wellings, A ^a   King, S ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DISTRIBUTED COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MEMORY ARCHITECTURE; OBJECT ORIENTED PROGRAMMING; SEMANTICS; STATIC ANALYSIS;

ANALYSIS APPROACH; COMPUTATIONAL MODEL; LANGUAGE FEATURES; MEMORY UTILIZATION; PROGRAMMING MODELS; RAVENSCAR;

REAL TIME SYSTEMS;

EID: 84967316130     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2003.1199262     Document Type: Conference Paper

References (32)

1. W. Amme, N. Dalton, M. Franz, and J. Von Ronne, SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001.
2. Andrew W. Appel, Protection against untrusted code: The JIT compiler security hole, and what you can do about it, http://www-106.ibm.com/developerworks/library/untrusted-code/, as of January 2001.
3. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings, Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling, Software Engineering Journal, 8(5), 284-92, 1993.
4. A. Azevedo, A. Nicolau, and J. Hummel, Java Annotation-Aware Just-In-Time (AJIT) Compilation System, ACM SIGPLAN Java Grande Conference, 1999.
5. W. S. Beebee Jr., Region-based Memory Management for Real-Time Java, Master's thesis, Dept. of Electrical Engineering and Computer Science, MIT, 2001.
6. S. Bentley, The Utilisation of the Java Language in Safety Critical System Development, MSc dissertation, Department of Computer Science, University of York, 1999.
7. G. Bollella, et al, The Real-Time Specification for Java, Addison-Wesley, 2000.
8. J. P. Bowen and M. G. Hinchey, High Integrity System Specification and Design, Springer-Verlag London, 1998.
9. A. Burns, B. Dobbing, and G. Romanski, The Ravenscar Tasking Profile for High Integrity Real-Time Programs, In L. Asplund, editor, Proceedings of Ada-Europe 98, LNCS, Vol. 1411, pages 263-275, Berlin Heidelberg, Germany, Springer-Verlag 1998.
10. J. D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midkiff, Escape Analysis for Java, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 1999.
11. P. Dibble, Personal communications, October 2002.
12. B. Dobbing, The Ravenscar Profile for High Integrity Java Programs?, ACM Ada Letters, Vol. 21, Issue. 1, March 2001.
13. Li Gong, Inside Java™ 2 Platform Security: Architecture, API Design, and Implementation, Addison-Wesley, 1999.
14. nd Edition, Addison Wesley, 2000.
15. H. Hetcht, M. Hecht, S. Graff, et al, Review Guidelines for Software Languages for Use in Nuclear Power Plant Systems, NUREG/CR-6463, U.S. Nuclear Regulatory Commission, 1997, also available at http://fermi.sohar.com/J1030/index.htm, last accessed in January 2002.
16. R. Henriksson, Scheduling Garbage Collection in Embedded Systems, Ph.D thesis, Department of Computer Science, Lund University, 1998.
17. th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA), 2003.
18. A. Hutcheon, B. Jepson, D. Jordan, and I. Wand, A Study of High Integrity Ada: Language Review, Technical Report SLS31c/73-1-D, Version 2, York Software Engineering, University of York, July 1992.
19. J Consortium, International J Consortium Specification: Real-Time Core Extensions, Revision 1.0.14, www.j-consortium.org, September 2000.
20. JSR 133: Java™ Memory Model and Thread Specification Revision, http://jcp.org/en/jsr/detail?id=133
21. J. Kwon, A. Wellings, S. King, Ravenscar-Java: A High Integrity Profile for Real-Time Java, Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference, Seattle, Washington, 2002.
22. J. Kwon, A. Wellings, and S. King, Assessment of the Java Programming Language for Use in High Integrity Systems, Technical Report YCS 341, Department of Computer Science, University of York, 2002, available at http://www.cs.york.ac.uk/ftpdir/reports/YCS-2002-341.pdf.
23. N. G. Leveson, Software Safety: Why, What, and How, Computing Surveys, Vol. 18, No. 2, ACM, June 1986.
24. N. G. Leveson, Software Safety in Embedded Computer Systems, Communications of the ACM, Vol. 34, No. 2, February 1991.
25. C. Liu and J. Layland, Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment, Journal of ACM, 20(1), 46-61, 1973.
26. The Motor Industry Software Reliability Association, Guidelines for the use of the C language in vehicle based software, The Motor Industry Research Association (MIRA), 1998.
27. D. L. Parnas, A. J. van Schouwen, and S. P. Kwan, Evaluation of Safety-Critical Software, Communications of the ACM, Vol. 33, No. 6, June 1990.
28. W. Pugh, Fixing the Java Memory Model, Proceedings of Java Grande Conference, 1999.
29. th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2001.
30. A. Roychoudhury and T. Mitra, Specifying Multithreaded Java Semantics for Program Verification, Proceedings of the International Conference on Software Engineering - ICSE, 2002.
31. A. Salcianu and M. Rinard, Pointer and Escape Analysis for Multithreaded Programs, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2001.
32. F. Siebert, Hard Realtime Garbage Collection in Modern Object Oriented Programming Languages, aicas GmbH, available at http://www.aicas.com/books.html, 2002.