A methodology and tool support for generating scheduled native code for real-time Java applications

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

Volumn 2855, Issue , 2003, Pages 274-289

  Kloukinas, Christos ^a   Nakhli, Chaker ^a   Yovine, Sergio ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0142218954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_18     Document Type: Article

References (17)

1. AICAS. http://www.aicas.com/jamaica.html. JamaicaVM.
2. K. Altisen, G. Göessler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems, 23(1), 55-84, July 2002.
3. B. Delsart, V. Joloboff, and E. Paire. JCOD: A Leightweight Modular Compilation Technology for Embedded Java. In EMSOFT'02, Grenoble, France, October, 2002.
4. L. Gauthier and M. Richard-Foy. Expresso RNTL Project - High Integrity Profile, 2002. Available from urlhttp://www.irisa.fr/mtl-expresso/docs/hip-api.pdf
5. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, Reading, MA, USA, 1996.
6. IEEE. POSIX.1. IEEE Std 1003.1:2001. Standard for Information Technology - Portable Operating System Interface (POSIX). The Institute of Electrical and Electronic Engineers, 2001.
7. Ch. Kloukinas and S. Yovine. Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. In Proceedings of 5th Euromicro Conference on Real-Time Systems (ECRTS'03), Porto, Portugal, July 2003.
8. J. Kwon, A. J. Wellings, and S. King. Ravenscar-Java: A High-Integrity Profile for Real-Time Java. In Java Grande, pp. 131-140, 2002.
9. M. Lusini and E. Vicario. Static analysis and dynamic steering of time-dependent systems using Petri Nets. Technical Report # 28.98, University of Florence, 1998.
10. G. Muller, B. Moura, F. Bellard, and Ch. Consel. Harissa: A flexible and efficient Java environment mixing bytecode and compiled code. In Proc. of Usenix COOTS'97, Berkeley, 1997.
11. Real-Time for Java Expert Group. The Real-Time Specification for Java, 2001. Available from urlhttp.7/www.rtj.org
12. Real-Time Java Working Group. Real-Time Core Extensions, revision 1.0.14, 2001. Available from urlhttp://www.j-consortium.org/rtjwg.
13. J. Sifakis, S. Tripakis, and S. Yovine. Building models of real-time systems from application software. In Proceedings of the IEEE, Special issue on modeling and design of embedded sofrvare, 91(1):100-111, January 2003. IEEE.
14. Sun Microsystems. The Java HotSpot Performance Engine Architecture. urlhttp://java.sun.com/products/hotspot/whitepaper.html, April 1999.
15. TimeSys. urlhttp://www.timesys.com. JTime.
16. R. J. van Glabbeek and W. P. Weijland. Branching time and abstraction in bisimulation semantics. JACM, 43(3), 1996.
17. M. Weiss, F. de Ferrière, B. Delsart, Ch. Fabre, F. Hirsch, E. A. Johnson, V. Joloboff, F. Roy, F. Siebert, and X. Spengler. TurboJ, a Java bytecode-to-native compiler. In Proc. of LCTES'98, volume 1474 of LNCS, 1998.