Ravenscar-Java: A high integrity profile for real-time Java

Proceedings of the Joint ACM Java Grande - ISCOPE Conference

Volumn , Issue , 2002, Pages 131-140

  Kwon, Jagun ^a   Wellings, Andy ^a   King, Steve ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

High integrity systems; Profile; Real time Java

Indexed keywords

COMPUTER SIMULATION; PERFORMANCE; REAL TIME SYSTEMS; RELIABILITY; RESPONSE TIME (COMPUTER SYSTEMS); SEMANTICS; SOFTWARE ENGINEERING; STORAGE ALLOCATION (COMPUTER); USER INTERFACES;

HIGH INTEGRITY PROFILE; JAVA 2 PLATFORM MICRO EDITION; RAVENSCAR-JAVA; REAL-TIME JAVA;

JAVA PROGRAMMING LANGUAGE;

EID: 0242443902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. A. 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.
2. 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.
3. A. Azevedo, A. Nicolau, and J. Hummel, Java Annotation-Aware Just-In-Time (AJIT) Compilation System, ACM 1999 Java Grande Conference, 1999.
4. J. Barnes, High integrity Ada: the SPARK approach, Addison Wesley, 1997.
5. S. Bentley, The Utilisation of the Java Language in Safety Critical System Development, MSc dissertation, Department of Computer Science, University of York, 1999.
6. G. Bernat, A. Burns, A. Wellings, Portable Worst Case Execution Time Analysis using Java Bytecode, In Proceedings of the 12th EUROMICRO conference on Real-Time Systems, 2000.
7. G. Bollella, et al., The Real-Time Specification for Java, Addison-Wesley, 2000.
8. J. P. Bowen and M. G. Hinchey, High Intensity System Specification and Design, Springer-Verlag, 1998.
9. G. Brat, K. Havelund, S. Park, and W. Visser, Model Checking Programs, In IEEE International Conference on Automated Software Engineering (ASE), Sep. 2000.
10. B. M. Brosgol, S. Robbins, and R. J. Hassan II, Asynchronous Transfer of Control in the Real-Time Specification for Java, In Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2002.
11. 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.
12. A. Burns and A. Wellings, Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX, 3rd Ed., Addison Wesley, 2001.
13. B. Dobbing, The Ravenscar Profile for High Integrity Java Programs?, ACM Ada Letters, Vol. 21, Issue. 1, March 2001.
14. S. Drossopoulou and S. Eisenbach, Describing the Semantics of Java and Proving Type Soundness, in LNCS 1523 Formal Syntax and semantics of Java (ed. J. Alves-Foss), Springer-Verlag, Berlin, 1999.
15. Li Gong, Inside Java™ 2 Platform Security: Architecture, API Design, and Implementation, Addison-Wesley, 1999.
16. J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, 2nd Ed., Addison Wesley, 2000.
17. P. H. Hartel and L. Moreau, Formalizing the Safety of Java, the Java Virtual Machine, and Java Card, ACM Computing Surveys, Vol. 33, No. 4, December 2001.
18. E. Y-S Hu, G. Bernat, and A. Wellings, Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems, In Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2002.
19. 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.
20. J Consortium, International J Consortium Specification: Real-Time Core Extensions, Revision 1.0.14, www.j-consortium.org, September 2000.
21. Java PathFinder, http://ase.arc.nasa.gov/visser/jpf/, last accessed in April 2001.
22. J. Kwon, A. Wellings, and S. King, Assessment of the Java Programming Language for Use in High Integrity Systems, York 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. J. Kwon, A. Wellings, and S. King, Ravenscar-Java: A High Integrity Profile for Real-Time Java, York Technical Report (YCS 342), Department of Computer Science, University of York, 2002, available at http://www.cs.york.ac.uk/ftpdir/report/YCS-2002-342.pdf.
24. K.R.M. Leino, G. Nelson, and J.B. Saxe, ESC/Java User's Manual, SRC Technical Note 2000-002, Compaq Systems Research Center, Palo Alto, CA, 2000.
25. N. G. Leveson, Software Safety: Why, What, and How, Computing Surveys, Vol. 18, No. 2, ACM, June 1986.
26. N. G. Leveson, Software Safety in Embedded Computer Systems, Communications of the ACM, Vol. 34, No. 2, February 1991.
27. C. Liu and J. Layland, Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment, Journal of ACM, 20(1), 46-61, 1973.
28. The Motor Industry Software Reliability Association, Guidelines for the use of the C language in vehicle based software, The Motor Industry Research Association, 1998.
29. 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.
30. 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.
31. P. Puschner and A. J. Wellings, A Profile for High Integrity Real-Time Java Programs, In Proceedings of the 4th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2001.
32. I. Sommerville, Software Engineering, 6th Ed., Addison Wesley, 2000.
33. Sun Microsystems®, Java™ 2 Platform Micro Edition (J2ME™) Technology for Creating Mobile Devices, White paper, Sun Microsystems® 2000.