A profile for high-integrity real-time Java programs

The paper defines a simple subset of tasking and object oriented features of the Real-Time Specification for Java that support high-integrity real time applications. The subset has been chosen to facilitate the development of efficient applications whose temporal behavior needs to be exactly predictable.

[1]  Hermann Kopetz,et al.  The non-blocking write protocol NBW: A solution to a real-time synchronization problem , 1993, 1993 Proceedings Real-Time Systems Symposium.

[2]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[3]  Alan Burns,et al.  The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.

[4]  Alan Burns,et al.  Portable worst-case execution time analysis using Java Byte Code , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[5]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998 .

[6]  Iain Bate,et al.  Low-level analysis of a portable Java byte code WCET analysis framework , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[7]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[8]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[9]  Bill Venners,et al.  Inside the Java Virtual Machine , 1997 .

[10]  Gerhard Fohler.  Flexibility in Statically Scheduled Real-Time Systems , 1994 .

[11]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .