Temporal isolation in Ravenscar-Java

Proceedings - Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005

Volumn 2005, Issue , 2005, Pages 364-371

  Cai, Hao ^a   Wellings, Andy ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SCHEDULING; SPECIFICATIONS;

JAVA PLATFORMS; POSIX FACILITIES; REAL-TIME SPECIFICATION; SCHEDULABILITY ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

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

References (22)

1. ARINC653. Avionics Application Software Standard Interface(Draft 15). Airline Electronic Engineering Committee (AEEC), June 1996.
2. ARINC653. Avionics Application Software Standard Interface(Draft 15). Airline Electronic Engineering Committee (AEEC), July 2003.
3. G. Back, W. C. Hsieh, and J. Lepreau. Processes in kaffeos: Isolation, resource management, and sharing in java. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, 2000.
4. D. Balfanz and L. Gong. Experience with secure multi-processing in java. In In Proc. Of the Eighteenth International Conf. on Distributed Computing Systems, 1998.
5. G. Bernat and A. Burns. New results on fixed priority aperiodic servers. In Proceedings of the IEEE Real-Time Systems Symposium. Phoenix, Arizona, 1999.
6. G. Bollela, B.Brosgol, P.Dibble, S.Furr, J.Gosling, D. Hardin, and M.Turnbull. The Real-time Specification for Java. Addison Wesley, 2000.
7. A. Burn and A. Wellings. Processing group parameters in the real-time specification for java. In OTM Workshops 2003: JRTES, LNCS 2889, pages 360-370. Springer-Verlag, 2003.
8. H. Cai and A. Wellings. A real-time isolate specification for ravenscar-java. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pages 325-328. IEEE, 2004.
9. H. Cai and A. Wellings. Supporting mixed criticality applications in a ravenscar-java environments. In OTM Workshops 2004: JRTES, LNCS 2889, pages p278-291. Springer-Verlag, 2004.
10. G. Czajkowski and L. Daynes. Multitasking without compromise: a virtual machine evolution. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2001.
11. R. Davis and A. Burns. Hierachical fixed priority preemptive scheduling. Technical report, Computer Science Department, the University of York, 2005.
12. D. Dillenberger, R. Bordawekar, C. W. Clark, D. Durand, D. Emmes, O. Gohda, S. Howard, M. F. Oliver, F. Samuel, and R. W. S. John. Building a java virtual machine for server applications: The jvm on os/390. IBM Systems Journal, 39(1), 2000.
13. P. Gai, L. Abeni, M. Giorgi, and G. Buttazzo. A new kernel approach for modular real-rime systems development. In Proceedings of the 13th IEEE Euromicro Conference on Real-Time Systems 2001. IEEE, 2004.
14. C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. Implementing multiple protection domains in java. In Proceedings of the USENIX 1998 Annual Technical. Conference, pages 259-270, 1998.
15. IEEE. Information Technology - standardized application environment Profile - POSIX Realtime Application Support (AEP). IEEE, 1998.
16. H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Technical report, Vienna University of Technology, 1997.
17. J. Kwon, A. Wellings, and S. King. Ravenscar-java: A high integrity profile for real-rime java. In Proceedings of the Joint ACM Java Grande-ISCOPE 2002 Conference, 2002.
18. J. Lehoczky, L. Sha, and J. Strosnider. Enhanced aperiodic responsiveness in hard real-time environment. In Proceedings of the IEEE Real-Time Systems Symposium, 1987.
19. M. A. Rivas and M. G. Harbour. Posix-compatible application-defined scheduling in marte os. In Proceeding of 14th Euromicro Conference on Real-Time Systems, pages 67-75. IEEE Computer Society Press, 2002.
20. S. Saewong, P.Rajkumar, J.P.Lehoczky, and M.H.Klei. Analysis of hierarchical fixed-priority scheduling. In Proceedings of the 14th IEEE Euromicro Conference on Real-Time Systems. IEEE, 2002.
21. P. Soper. Javatm application isolation api specification (jsr-121) public review draft. Technical report, Sun Microsystems, 2003.
22. A. Wellings. Concurrent and Real-Time Programming in Java. Wiley, 2004.